Mathematical logic
The course is not on the list Without time-table
| Code | Completion | Credits | Range | Language |
|---|---|---|---|---|
| Y01MLO | Z,ZK | 4 | 2+1s | Czech |
- The course cannot be taken simultaneously with:
- Logic (A7B01LOG)
- The course is a substitute for:
- Logic (A7B01LOG)
- Lecturer:
- Jaroslav Tišer, Vojtěch Bartík
- Tutor:
- Jaroslav Tišer, Vojtěch Bartík, Martin Bohata, Anna Kalousová, Pavel Pták
- Supervisor:
- Department of Mathematics
- Synopsis:
- Requirements:
- Syllabus of lectures:
- Syllabus of tutorials:
- Study Objective:
- Study materials:
- Note:
- Further information:
- No time-table has been prepared for this course
- The course is a part of the following study plans:
-
- Společný 1. ročník (compulsory course)
- Softwarové inženýrství (compulsory course)
- Web a multimedia (compulsory course)
- Manažerská informatika (compulsory course)
- Inteligentní systémy (compulsory course)
- Manažerská informatika (STM-A7B-přechodné) (compulsory course)
- Softwarové inženýrství (STM-A7B-přechodné) (compulsory course)
- Inteligentní systémy (STM-A7B-prechodné) (compulsory course)
- Web a multimedia (STM-A7B-přechodné) (compulsory course)