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], Úvod do matematické logiky [NMAG162, přednáška]
Autor příspěvku je pořadateli ankety známý, 11.08.2023, 2. ročník, Obecná matematika, bakalářské
Prvně za své studium jsem nucen hodnotit vyučujícího hodnocením menším než 3. Na logiku jsem se opravdu těšil, protože jsem chtěl alespoň z části pochopit, na čem ta matematika asi stojí, ale z tohoto předmětu jsem si neodnesl skoro nic. Je to dáno velmi neorganizovaným a chaotickým výkladem pana doktora Jeřábka. Už po druhé přednášce jsem měl sešit plný otazníků, ne snad proto, že bych nechápal koncepty, ale proto, že jsem nevěděl, jestli to co píšu je věta, lemma, důkaz, poznámka nebo něco úplně jiného. Pamatuji si, že minimálně jednou za přednášku jsem uslyšel větu "Aha, to bych možná mohl definovat, když to tady používám.", což úplně nepomáhá, když se snažíte zjistit, jestli něco jenom nechápete, nebo nemáte k chápaní ani potřebný aparát. Jediné, co zvládlo předmět alespoň trochu objasnit, byla skripta, kterých se ale přednáška držela jen dosti volně. Možná to zní, že jsem příliš hrubý, ale je to dáno tím, že jsem se na logiku opravdu těšil a odešel jsem více než zklamaný. Jsem si ale jistý, že když se zapracuje na strukturovanosti přednášky, méně chaotického výkladu, stanovení jasného sylabu a požadavků ke zkoušce, tak by Úvod do matematické logiky mohl být pro budoucí studenty lepší zážitek. Hodnocení 5 nedávám proto, že byl pan Jeřábek u zkoušky férový a neměl úmysl nikoho potopit.
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.
