Logic for CS

By
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 .

Published by:

National Programme on Technology Enhanced Learning (NPTEL)

DOER Persistent Identifier: http://doer.col.org/handle//123456789/3460