SubjectsSubjects(version: 945)
Course, academic year 2023/2024
   Login via CAS
Chapters from Classical Logic - ALG500003
Title: Kapitoly z klasické logiky
Guaranteed by: Department of Logic (21-KLOG)
Faculty: Faculty of Arts
Actual: from 2020
Semester: winter
Points: 0
E-Credits: 12
Examination process: winter s.:
summer s.:
Hours per week, examination: winter s.:2/1, --- [HT]
summer s.:2/1, Ex [HT]
Capacity: winter:unknown / unknown (unknown)
summer:unknown / unknown (unknown)
Min. number of students: unlimited
4EU+: no
Virtual mobility / capacity: no
Key competences:  
State of the course: not taught
Language: Czech
Teaching methods: full-time
Teaching methods: full-time
Additional information:
Note: course can be enrolled in outside the study plan
enabled for web enrollment
Guarantor: doc. RNDr. Vítězslav Švejdar, CSc.
Schedule   Noticeboard   
Annotation -
Last update: SVEJDAR (20.09.2014)
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.
Charles University | Information system of Charles University |