Introduction à la Logique

UE d’introduction à la logique formelle. L2 MIN-INT

You can find all useful informations on the webpage of the class.

Other links:

• Cheatsheet:pdf, latex
• Minimal project example (sudoku).
• Corrections of exercices 13, 16, 23, 27
• Examples of chapter 1 quicks: Quick 1 MIN-INT 2020, Quick 1 (in french), 2019
• Correction of quick 1
• Correction of quick 2
• Subject and correction of exam 2019
• Correction of a bunch of chapter 6 exercises