Mathematical logic

COURSE DESCRIPTION

Within the study course, students learn the basic topics of mathematical logic: the logic of statements, the logic of predicates, as well as the formalization of these theories. Within the course, students apply the acquired knowledge in solving tasks.

CONTENT

1. The logic of statements
2. The calculus of statements
3. Predicate logic
4. A first-order language
5. Formal axiomatic theories