Klasická logika II A - ALG110014

• Anglický název: Classical Logic II A
• Zajišťuje: Katedra logiky (21-KLOG)
• Fakulta: Filozofická fakulta
• Platnost: od 2019
• Semestr: letní
• Body: 0
• E-Kredity: 10
• Způsob provedení zkoušky: letní s.:
• Rozsah, examinace: letní s.:4/0, Zk [HT]
• Počet míst: neurčen / neurčen (neurčen)
• Minimální obsazenost: neomezen
• 4EU+: ne
• Virtuální mobilita / počet míst pro virtuální mobilitu: ne
• Stav předmětu: nevyučován
• Jazyk výuky: čeština
• Způsob výuky: prezenční
• Způsob výuky: prezenční
• 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

Anotace

čeština

Poslední úprava: LOGBELIC (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.

angličtina

Poslední úprava: SVEJDAR (08.01.2013)

Graduate course in logic devoted to properties of axiomatic theories, Peano (and Robinson) arithmetic, Gödel incompleteness theorems, Gentzen calculi.

Sylabus

Poslední úprava: SVEJDAR (08.01.2013)

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