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