Povinný předmět teoretického základu Matematická logika
Tato skupina ve studijních plánech BI-xxx.2015 a BI-xxx.2018 nahrazuje předmět BI-MLO z důvodu přechodu na novou akreditaci. Předmět BI-MLO bude naposledy vyučován v semestru B211. Poté již studenti, kteří předmět nestihli odstudovat, musí absolvovat dvojici předmětů BI-DML.21 a BI-LOG.21.
| Kód | Název předmětu | Jazyk výuky | ZIMNÍ SEMESTR | LETNÍ SEMESTR | |||||
| Vyučující | zakončení | kredity | rozsah | zakončení | kredity | rozsah | |||
| BI-DML.21 | Diskrétní matematika a logika | česky | Z,ZK | 5 | 2P+1R+1C | Předmět je vypsán | |||
| BI-LOG.21 | Matematická logika |
česky | Z,ZK | 5 | 2P+2C | Předmět není vypsán | |||
| BI-MLO | Matematická logika | česky | Z,ZK | 5 | 2P+1C | Předmět je vypsán | |||