Propositional Logic: Language, Unique readability, Logical connectives, Truth assignments, Semantic concepts, Completeness of connectives, Disjunctive and conjunctive normal form, Compactness theorem of propositional logic, Applications. First-Order Predicate Logic: Language, Variables, Concepts of free and bound variables, Substitution, Analogy with programming, The concept of structure, Interpretation of language, Tarski s definition of truth. Axiomatization of First-Order Logic: The concept of an axiomatic system, Analogies with algorithmic concepts, The concept of consistency, Gödel s completeness theorems, and Gödel-Church decidability. Proof Theory of Propositional and Predicate Logic: The Gentzen system, Propositional resolution, Elimination of cuts, Tableau systems, Completeness via tableau systems.
- Teacher: Γεώργιος Κολέτσος
- Teacher: Πετρος Ποτικας
ECTS : 5
Language : el