Při výběru garanta předmětu se zobrazují připomínky jak k němu, tak ke všem vyučujícím daného předmětu. Při výběru vyučujícího, který garantem není, se zobrazují připomínky vztažené pouze k němu.
Mgr. et Mgr. Emil Jeřábek, Dr., Ph.D. [32-KA], Matematická logika [NMAG331, přednáška]
Na předmět se dá bez problému chodit i bez absolvování Úvodu do logiky, všechny základy jsou v prvních několika týdnech zopakovány, i když poněkud rychleji. Obsah byl zajímavý a jednotlivé probírané okruhy na sebe dobře navazovaly.
Předmět je rozdělený do tří částí, první je propositional logic and first order logic, kde se zavedly důležité definice, proof systémy a dokázal se soundness a completeness theorem, druhá část byla věnována turingovým strojům a třetí Gödelovým větám o neúplnosti.
