PředmětyPředměty(verze: 901)
Předmět, akademický rok 2021/2022
  
V období od 27.5. 20:00 do 28.5. 23:59 proběhne odstávka CUL. Některé služby v této době nebudou dostupné.
Neúplnost a Gödelovy věty - ALG119007
Anglický název: Gödel's Theorems and Incompletness
Zajišťuje: Katedra logiky (21-KLOG)
Fakulta: Filozofická fakulta
Platnost: od 2020
Semestr: letní
Body: 0
E-Kredity: 6
Způsob provedení zkoušky: letní s.:
Rozsah, examinace: letní s.:2/2 Zk [hodiny/týden]
Počet míst: neomezen / neomezen (neurčen)
Minimální obsazenost: neomezen
Virtuální mobilita / počet míst: ne
Stav předmětu: vyučován
Jazyk výuky: čeština
Způsob výuky: prezenční
Úroveň:  
Vysvětlení: Zoom: 963 3667 4794
Další informace: http://www1.cuni.cz/~svejdar/?s=incompl
Poznámka: předmět je možno zapsat mimo plán
povolen pro zápis po webu
Garant: doc. RNDr. Vítězslav Švejdar, CSc.
Vyučující: doc. RNDr. Vítězslav Švejdar, CSc.
Anotace
Poslední úprava: doc. RNDr. Vítězslav Švejdar, CSc. (19.02.2022)
Vlastnosti Robinsonovy a Peanovy aritmetiky. Formalizace logické syntaxe v Peanově aritmetice. Autoreference. Gödelovy věty o neúplnosti, Rosserova věta.
 
Univerzita Karlova | Informační systém UK