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.
- Formal proof construction - Mechanized satisfiability testing - Automated proof techniques
Formally, there is no prerequisite course. The course, however, requires familiarity with mathematical notation, basic knowledge of algebra and analysis, familiarity with computer use and knowledge of at least one programming language.
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.
Level:
Type:
Undergraduate
(A+)
Visit Course Page
Nikos Fakotakis University of Patras Electrical and Computer Engineering
Costas Dimitracopoulos National and Kapodistrian University of Athens Department of Mathematics
George Koletsos National Technical University of Athens Mathematical Logic
Apostolos Dollas Technical University of Crete School of Electronic and Computer Engineering
Vassileios Kabourlasos Eastern Macedonia and Thrace Institute of Technologie
