The project ESF OPVK No. CZ.1.07/2.2.00/07.0217 "ORGANON: LMS for Basic Logic Courses"
is supported by the European Social Fund and the Czech Republic.




Mathematical Logic

Information for students:

On this web page you may find useful information on: particular lessons, learning materials, texts, and so like. The page is updated regularly, which does not mean that an old info is useless. Just opposite, I will add here more and more useful info!
Enjoy Logic!
Marie Duží

Texts in English:

Proof calculi and formal theories (summary)
Gödel's results on completeness and incompleteness

Lessons in English:

Lesson 1: Introduction - "What is a subject of logic?"; Naive set theory
Lesson 2: Propositional logic (language, semantics)
Lesson 3: Propositional logic (semantic tableau, resolution method)
Lesson 4: First-order Predicate Logic (FOL language, semantics)
Lesson 5: Relations, functions (mappings); countable and uncountable sets
Lesson 6: Semantics of FOPL; models, interpretation; semantic proofs; semantic tableaus
Lesson 7: Aristotelian Logic, Venn diagrams
Lesson 8: Resolution method in the First-Order Predicate Logic
Lesson 9: Resolution method continuing; Foundations of Prolog programming
Lesson 11 Proof calculi; Natural deduction
Lesson 12 Proof calculi; Hilbert calculus
Lesson 13 Gödel's results on Incompleteness
Lesson 15 Relational and Algebraic Theories