Subjects

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

Properties of axiomatic theories - ALG119006

Title:	Vlastnosti axiomatických teorií
Guaranteed by:	Department of Logic (21-KLOG)
Faculty:	Faculty of Arts
Actual:	from 2023
Semester:	winter
Points:	0
E-Credits:	6
Examination process:	winter s.:
Hours per week, examination:	winter s.:2/2, Ex [HT]
Capacity:	unlimited / unlimited (unknown)
Min. number of students:	unlimited
4EU+:	no
Virtual mobility / capacity:	no
Key competences:
State of the course:	taught
Language:	Czech
Teaching methods:	full-time
Teaching methods:	full-time
Level:
Explanation:	Web přednášky
Additional information:	https://www.dropbox.com/scl/fi/3s923tsgtz4l9pdktkt6w/AxTPozvanka.pdf?dl=1
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.

WS schedule Noticeboard

Annotation -

Last update: doc. RNDr. Vítězslav Švejdar, CSc. (24.09.2020)

Advanced course in classical predicate logic; entry requirements are not formally defined.

Syllabus -

Last update: doc. RNDr. Vítězslav Švejdar, CSc. (24.09.2020)

Soundness and completeness of a calculus. Constructing formal proofs in the calculus HK. Informal proofs. Provability and unprovability. Contradictory and consistent theories. Methods for proving completeness, quantifier elimination. Decidability. Recursive and recursively enumerable sets. Prominent axiomatic theories. Proving undecidability of strong theories (that is, proving Gödel's first incompleteness theorem) using recursively enumerable sets.