PředmětyPředměty(verze: 811)
Předmět, akademický rok 2017/2018
   Přihlásit přes CAS
Klasická logika II A - ALG110014
Anglický název: Classical Logic II A
Zajišťuje: Katedra logiky (21-KLOG)
Fakulta: Filozofická fakulta
Platnost: od 2012
Semestr: letní
Body: 0
E-Kredity: 10
Způsob provedení zkoušky: letní s.:
Rozsah, examinace: letní s.:4/0 Zk [hodiny/týden]
Počet míst: neurčen / neurčen (neurčen)
Minimální obsazenost: neomezen
Stav předmětu: vyučován
Jazyk výuky: čeština
Způsob výuky: prezenční
Úroveň:  
Další informace: http://www1.cuni.cz/~svejdar/?s=logii
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.
Je záměnnost pro: ALG210006
Rozvrh   Nástěnka   
Anotace -
Poslední úprava: Mgr. Vít Bělič, CSc. (12.05.2009)

Pokračovací kurs z centrální logiky: vlastnosti axiomatických teorií, kompaktnost, Peanova (a Robinsonova) aritmetika, Gödelovy věty o neúplnosti, gentzenovské (sekventové) kalkuly.
Sylabus
Poslední úprava: SVEJDAR (08.01.2013)

http://www1.cuni.cz/~svejdar/?s=logii

 
Univerzita Karlova | Informační systém UK