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.

Supports de cours

Sujets d’examens (années passées)

Liens et lectures utiles

Research methodology

This course is designed to help students in their academic professional  integration. The first part  introduces the French research system (organisation in EPST; means of funding, where and how to find one, post-graduation prospects, etc.). The second part of the course goes through bibliographic research (where and how to research, citation rules, plagiarism risks) and the task of writing scientific reports, posters, presentations.

The slides are an adaptation of Laure Buhry‘s ones from the previous editions of this course.



  • Oral presentation and slides handout. 30 minutes presentations (20 min + 10 min of questions) about research systems in different countries. 6 to 8 groups of 1 to 3 people each.

Useful materials and links

Feel free to send me any suggestions for this list!