|
Vyučující
|
-
Bělohlávek Radim, prof. RNDr. Ph.D., DSc.
|
|
Obsah předmětu
|
- Historické pozadí - Potřebné pojmy z logiky a teorie modelů - Formální teorie čísel - Gödelovy věty o neúplnosti a související výsledky - Vybrané aspekty neúplnosti
|
|
Studijní aktivity a metody výuky
|
|
Přednášení, Demonstrace
|
|
Výstupy z učení
|
Studenti se seznámí se základními pojmy z meze formálních metod.
2. Porozumění - Rozpoznej základní nerozhodutelné problémy v logice prvního řádu.
|
|
Předpoklady
|
nespecifikováno
|
|
Hodnoticí metody a kritéria
|
Ústní zkouška, Písemná zkouška
Plnění zadaných úkolů. Složení ústní (příp. písemné) zkoušky.
|
|
Doporučená literatura
|
-
Hájek, P., Pudlák, P. (2017). Metamathematics of First-Order Arithmetic. Assoc. Symb Logic.
-
Mendelsohn, E. (2009). Introduction to Mathematical Logic (fifth ed). Chapman and Hall/CRC.
-
Sochor A. (2001). Klasická matematická logika. Karolinum, Praha.
-
Švejdar V. (2002). Logika: neúplnost, složitost a nutnost. Academia, Praha.
|