Mathematical Logic

Information for students:

On this web page you may find a lot of useful information: particular lessons, learning materials, exercises.
The page is updated regularly, which does not mean that an old info is useless.
Just opposite, I will add more and more useful info!

Logic is a joy, enjoy Logic!

Marie Duží

Lessons in English:

Lesson 1 (September 23) Introduction "What is the subject of logic?"
Lesson 2 (September 23) Propositional logic (language, semantics)
Lesson 3 (September 30) Propositional logic (normal forms, equivalent transformations, resolution method)
Lesson 4 (October 7) First-order Predicate Logic (FOL language, its syntax and intuitive semantics)
Lesson 5a Cantor's naive theory of sets; Lesson 5 (October 14) Relations, functions (mappings); countable and uncountable sets
Lesson 6 (October 21) Semantics of FOPL; models, interpretation; semantic proofs; semantic tableaus
Lesson 7 (November 4) Aristotelian Logic, Venn's diagrams
Lesson 8 (November 11) Resolution method in the First-Order Predicate Logic
Lesson 9 (November 18) Resolution method continuing
Lesson 10 (November 25) Foundations of Prolog programming
Lesson 12 (December 2) Natural Deduction
Lesson 11 (December 9) Proof calculi; completeness vs. decidability
Lesson 14 (December 16) Gödel's incompleteness theorems

Additional material:

Exercises from previous years:

Exercises 2014: