Course description - Content

Course description:
The course is an introduction to mathematical logic and the role it plays in Computer Science.
It examines basic concepts of Propositional and Predicate Calculus, formal proof systems and First-Order theories.
Part of the course will be devoted to Logic Programming and Automated Theorem-Proving Systems.

Course content:
Propositional and predicate calculus: Normal forms, implication, tautologies, formal proof, sufficiency, formal proofs systems, Resolution.
First-Order Theories.
Elements of model theory.
Introduction to Logic Programming.
Automated Theorem-Proving Systems.

Keywords: Propositional and Predicate Calculus, Natural Deduction, Resolution.