Chapters from Classical Logic II - ALG519020

• Title: Chapters from Classical Logic II
• Guaranteed by: Department of Logic (21-KLOG)
• Faculty: Faculty of Arts
• Actual: from 2024
• Semester: summer
• Points: 0
• E-Credits: 6
• Examination process: summer s.:
• Hours per week, examination: summer s.:2/1, Ex [HT]
• Capacity: unlimited / unlimited (unknown)
• Min. number of students: unlimited
• 4EU+: no
• Virtual mobility / capacity: no
• State of the course: taught
• Language: Czech
• Teaching methods: full-time
• Additional information: http://www1.cuni.cz/~svejdar/?s=chapt
• Note: course can be enrolled in outside the study plan; enabled for web enrollment
• Guarantor: doc. RNDr. Vítězslav Švejdar, CSc.
• Teacher(s): doc. RNDr. Vítězslav Švejdar, CSc.

Annotation

English

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.

Last update: Verner Jonathan, Mgr., Ph.D. (10.04.2019)

Czech

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.

Last update: Verner Jonathan, Mgr., Ph.D. (10.04.2019)