|
Lecturer(s)
|
-
Piskač Tomáš, prof. RNDr. DSc.
|
|
Course content
|
1. The language of propositional logic, truth values 2. Deduction in propositional logic, the Deduction Theorem 3. The completeness theorem for propositional logic 4. The language of predicate logic 5. Structures and models 6. Deduction in predicate logic 7. The completeness theorem for predicate logic 8. Gödel's incompleteness theorem for arithmetic
|
|
Learning activities and teaching methods
|
Lecture
- Preparation for an examination (30-60)
- 32 hours per semester
- Contact hours
- 52 hours per semester
|
| prerequisite |
|---|
| Knowledge |
|---|
| The only prerequisite is a moderate level of experience with mathematical thinking and proof techniques. |
| learning outcomes |
|---|
| Upon completion of this course, students will acquire basic orientation in the subject and become capable of independent study of the literature. |
| teaching methods |
|---|
| Lecture |
| assessment methods |
|---|
| Oral exam |
|
Recommended literature
|
-
Enderton, Herbert B. A mathematical introduction to logic. 2nd ed. San Diego : Harcourt Academic Press, 2001. ISBN 0-12-238452-0.
-
Mendelson, Elliott. Introduction to mathematical logic. 4th ed. Boca Raton : Chapman & Hall, 2001. ISBN 0-41-80830-7.
-
Sochor, Antonín. Klasická matematická logika. Vyd. 1. Praha : Karolinum, 2001. ISBN 80-246-0218-0.
|