Special Topics in Computational Logic

Course outline

Introduction to the basic concepts and techniques of Propositional Logic, emphasizing precise mathematical descriptions of concepts and applications thereof. Examination of the uses of theory to design algorithms for problems of logical equivalence, and to verify their correctness.

Coverage: Syntax and semantics of propositional formulas. Notions of implication and logical equivalence, correlative notions of formal proof. Main proof systems for Propositional Logic, properties of correctness and completeness.

Computational methods for formal proof discovery, applications to problems of logical implication and logical equivalence.