FdV 2020 — Mathématiques S1
Attention, les documents de cours sont sujets à modification jusqu’au jours du cours.
Ce matériel de cours est issu, avec quelques modifications, du travail de Marc Chevalier.
Cours
Les points vus dans le cours sont :
- Calcul propositionnel et calcul des prédicats (Cours complet) (Cours minimal) (Diapos)
- Raisonnement (Cours complet) (Cours minimal) (Diapos)
- Théorie des ensembles (Cours complet) (Cours minimal) (Pas de diapos)
- Raisonnement par récurrence (Cours complet) (Cours minimal) (Pas de diapos)
- Fonctions et relations (Cours complet) (Cours minimal) (Pas de diapos)
Exercices
- TD 1 : logique propositionnelle et logique des prédicats (corrigé)
- Raisonnement : pas de TD, je préfère vous faire pratiquer le raisonnement sur les TD suivants.
- TD 2 : ensembles (corrigé)
- TD 3 : raisonnement par récurrence (corrigé)
- TD 4 : fonctions (corrigé)
- TD 5 : fonctions (bis) (corrigé)
- TD 6 : relations (corrigé)
- Test : logique, ensembles, récurrence (corrigé)
