UGA

Introduction to Logic - INF432 - 2023

Course Materials

Slides

• Lecture 1 : Introduction - Propositional logic - Syntaxx - Meaning
• Lecture 2 : Equivalences - Substitutions - Normal Forms
• Lecture 3 : Deductive Sytem for Propositional logic - Propositional Resolution
• Lecture 4 : Corectness - Completeness - Davis Putnam algorithm
• Lecture 5 : Natural Deduction 1
• Lecture 6 : Natural Deduction 2
• Lecture 7 : First Order Logic - Part one: Language and Semantics of Formulae
• Lecture 8 : First Order Logic - Part two : Interpretation of a Formula
• Lecture 9 : First Order Logic - Part three : Herbrand Models and Skolemization
• Lecture 10 : First Order Logic - Part four : Resolution
• Lecture 11 : First Order Logic - Natural Deduction 1
• Lecture 12 : First Order Logic - Natural Deduction 2

Documents

• Exercises
• Course notes (in French)

Project

• Project INF432 2023