Kapitoly z klasické logiky - ALG500003

• Anglický název: Chapters from Classical Logic
• Zajišťuje: Katedra logiky (21-KLOG)
• Fakulta: Filozofická fakulta
• Platnost: od 2020
• Semestr: zimní
• Body: 0
• E-Kredity: 12
• Způsob provedení zkoušky: zimní s.:
• Rozsah, examinace: zimní s.:2/1, --- [HT]; letní s.:2/1, Zk [HT]
• Počet míst: zimní:neurčen / neurčen (neurčen); letní: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í
• Další informace: http://www1.cuni.cz/~svejdar/?s=chapt
• 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.

Anotace

čeština

Věnováno různým ne nutně souvisejícím tématům z metamatematiky, neklasických logik a teorie důkazů. Například: autoreference a Logika dokazatelnosti, vztahy mezi variantami teorie množin, kombinatorické principy nezávislé na PA, eliminovatelnost řezů a její kvantitativní aspekty, Gentzenův důkaz bezespornosti PA. Některá témata přednášejí studenti.

Poslední úprava: SVEJDAR (20.09.2014)

angličtina

Devoted to various not necessarily connected topics in meta-mathematics, non-classical logics and proof theory, like: self-reference and Provability Logic, relations between variants of set theory, combinatorial principles independent of PA, cut elimination and its quantitative aspects, Gentzen's proof of consistency of PA. Some topics are presented by students.

Poslední úprava: SVEJDAR (20.09.2014)