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, application à RSA
- algèbre linéaire: produit de matrices, pivot de Gauss, résolution d’équations linéaire
Supports de cours
- Introduction
- Techniques de preuve
- Introduction à la logique
- Récurrence et induction structurelle
- Arithmétique
- Algorithmes arithmétique en C
- Matrices
Exercices
- Techniques de preuve
- Introduction à la logique
- Récurrence et induction structurelle
- Exercices arithmétique 1
- Exercices arithmétique 2
- Memento calcul arithmétique