Lecture 1 - Sets and Strings
Lecture 2 - Syntax of Propositional Logic
Lecture 3 - Unique Parsing
Lecture 4 - Semantics of PL
Lecture 5 - Consequences and Equivalences
Lecture 6 - Five results about PL
Lecture 7 - Calculations and Informal Proofs
Lecture 8 - More Informal Proofs
Lecture 9 - Normal forms
Lecture 10 - SAT and 3SAT
Lecture 11 - Horn-SAT and Resolution
Lecture 12 - Resolution
Lecture 13 - Adequacy of Resolution
Lecture 14 - Adequacy and Resolution Strategies
Lecture 15 - Propositional Calculus (PC)
Lecture 16 - Some Results about PC
Lecture 17 - Arguing with Proofs
Lecture 18 - Adequacy of PC
Lecture 19 - Compactness & Analytic Tableau
Lecture 20 - Examples of Tableau Proofs
Lecture 21 - Adequacy of Tableaux
Lecture 22 - Syntax of First order Logic (FL)
Lecture 23 - Symbolization & Scope of Quantifiers
Lecture 24 - Hurdles in giving Meaning
Lecture 25 - Semantics of FL
Lecture 26 - Relevance Lemma
Lecture 27 - Validity, Satisfiability & Equivalence
Lecture 28 - Six Results about FL
Lecture 29 - Laws, Calculation & Informal Proof
Lecture 30 - Quantifier Laws and Consequences
Lecture 31 - More Proofs and Prenex Form
Lecture 32 - Prenex Form Conversion
Lecture 33 - Skolem Form
Lecture 34 - Syntatic Interpretation
Lecture 35 - Herbrand's Theorem
Lecture 36 - Most General Unifiers
Lecture 37 - Resolution Rules
Lecture 38 - Resolution Examples
Lecture 39 - Ariomatic System FC
Lecture 40 - FC and Semidecidability of FL
Lecture 41 - Analytic Tableau for FL
Lecture 42 - Godels Incompleteness Theorems
