When the course guarantor is selected, comments will be displayed regarding his/her teaching performance as well as that of all the other teachers teaching the course. If a teacher who is not the course guarantor is selected, only comments related to his/her teaching will be displayed.
Mgr. et Mgr. Emil Jeřábek, Dr., Ph.D. [32-KA], Mathematical Logic [NMAG331, přednáška]
Student has disallowed display of personal data, 08.02.2024, 1. ročník, Matematické struktury, Master's (post-Bachelor)
Přednáška byla vedená dobře. Zkouška klasická ústní, člověk si vytáhl jeden ze tří okruhů a sespal co o něm ví.
Student has disallowed display of personal data, 08.02.2024, 1. ročník, Matematické struktury, Master's (post-Bachelor)
Přednášející vše dobře vysvětlil a byl vstřícný.
Comment on course, Mathematical Logic [NMAG331, přednáška]
Student has disallowed display of personal data, 08.02.2024, 1. ročník, Matematické struktury, Master's (post-Bachelor)
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.
Student has disallowed display of personal data, 08.02.2024, 1. ročník, Matematické struktury, Master's (post-Bachelor)
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.