Formalismes et Représentations de Raisonnements
When in need of discussing mathematical arguments, it is crucial for people to understand
and agree upon what they are talking about. The aim of this course is to walk the students
through major mathematical logic formalisms. The course is organised in two parts: a first
part (re)introducing propositional logic and logical resolution through algorithms
(Shortest-Clause search, forward chaining, backward chaining), and a second part
presenting predicate logic along with proofs in natural deduction. The course contains
many exercise discussions during class time, so students get to master logical formula
transformations such as conversion in conjunctive normal form (CNF), substitution of
variables and unification of terms.
Liens et lectures utiles
- Logicomix, Apóstolos Doxiádis et Christos Papadimitriou : pour ceux que l’histoire de la logique intéresse.