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