Logic for CS
Kumar, S. A. (S. Arun) (2014-01)
Modules / Lectures: Propositional Logic Syntax; Semantics of Propositional Logic; Logic and algebraic concepts; Identities and normal forms; Tautology checking; Propositional Unsatisfiability; Analytic Tableaux; Consistency and completeness; The completeness Theorem; maximally consistent sets; Formal theorem; Proof theory: Hilbert-style; Derived rules; THe Hilbert system: soundness 7 completeness; Intro to predicate logic; Structures and substructures; First-order theories; Existential Quantification; Normal forms; Skalemization; Substitutions and instantiations ; Unification; resolution in FOL; Resolution and Tableaux; Logic programming; Completeness of Tableaux metjod; Completeness of Hilbert system; Verification of Imperative programs and WHILE programms .
National Programme on Technology Enhanced Learning (NPTEL)