MA6190       MATHEMATICAL LOGIC

First Order Logic: Syntax of FL, Semantics, Consequences, Calculations, Prenex Form, Skolemization, Herbrand Interpretation, Skolem-Lowenheim Theorem.

 

Proof Theory: Resolution in PL, Propositional Calculus (PC), Completeness and Compactness of PC, Analytic Tableaux for PL, Analytic Tableaux for FL, Completeness of Analytic Tableaux, Compactness of PL and FL,  Issue of Decidability.

Books:

A.Singh, Logics for Computer Science, PHI Learning, New Delhi, 2003.