Ce cours est une introduction à la logique et aux mathématiques discrètes. Il suit le plan suivant:
- techniques de preuve
- logique
- récurrence et induction structurelle
- arithmétique: pgcd, algorithme d’Euclide, inversion modulo n
- applications à la cryptographie
Supports de cours
- Introduction
- Techniques de preuve
- Introduction à la logique
- Récurrence et induction structurelle
- Arithmétique
- Algorithmes arithmétiques en Python et page html
Exercices
- Techniques de preuve
- Introduction à la logique
- Récurrence et induction structurelle
- Exercices arithmétique 1
- Exercices arithmétique 2
- Memento calcul arithmétique