Mathematical Logic
Code | Completion | Credits | Range | Language |
---|---|---|---|---|
BI-MLO | Z,ZK | 5 | 2P+1C | Czech |
- 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)