Ce cours est une introduction à la logique et aux mathématiques discrètes.

Supports de cours

• Introduction
• Logique propositionnelle
  • notebook Taxi
  • notebook Sudoku Solution du cours
• logique des prédicats
• Arithmétique
• Algorithmes arithmétiques en Python et page html

Exercices

• Introduction à la logique
• Exercices arithmétique 1
• Exercices arithmétique 2
• Memento calcul arithmétique

Correction

• Partie arithmétique
• Partie logique (NB: la partie “techniques de preuve” n’est plus au programnme du cours)