Subjects

Your browser does not support JavaScript, or its support is disabled. Some features may not be available.

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
Level:
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.

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.