Mathematical Logic

The course cannot be taken simultaneously with:

Discrete Mathematics and Logic (BI-DML.21)
Mathematical Logic (BI-LOG.21)

Garant předmětu:

Kateřina Trlifajová

Lecturer:

Kateřina Trlifajová

Tutor:

Kateřina Trlifajová

Supervisor:

Department of Applied Mathematics

Synopsis:

The course seminary is taught in Czech.

Requirements:

Syllabus of lectures:

Syllabus of tutorials:

The course seminary is taught in Czech.

Study Objective:

Study materials:

Note:

Further information:

https://courses.fit.cvut.cz/BI-MLO/

Time-table for winter semester 2023/2024:

Time-table is not available yet

Time-table for summer semester 2023/2024:

Time-table is not available yet

The course is a part of the following study plans:

• Bachelor program Informatics, unspecified branch, in Czech, 2015-2020 (compulsory course in the program)
• Bachelor branch Security and Information Technology, in Czech, 2015-2020 (compulsory course in the program)
• Bachelor branch Computer Science, in Czech, 2015-2020 (compulsory course in the program)
• Bachelor branch Computer Engineering, in Czech, 2015-2020 (compulsory course in the program)
• Bachelor branch Information Systems and Management, in Czech, 2015-2020 (compulsory course in the program)
• Bachelor branch Knowledge Engineering, in Czech, 2015-2017 (compulsory course in the program)
• Bachelor branch Web and Software Engineering, spec. Software Engineering, in Czech, 2015-2020 (compulsory course in the program)
• Bachelor branch Web and Software Engineering, spec. Web Engineering, in Czech, 2015-2020 (compulsory course in the program)
• Bachelor branch Web and Software Engineering, spec. Computer Graphics, in Czech, 2015-2020 (compulsory course in the program)
• Bachelor branch Knowledge Engineering, in Czech, 2018-2020 (compulsory course in the program)
• Bachelor branch Web and Software Engineering, spec. Computer Graphics, in Czech, Dubin (compulsory course in the program)