Plan
de cours
Notes de cours
- Bref rappel du cours
de Logique et techniques de preuve
- Notes
de cours de Logique et techniques de preuve et supplément de
notes de cours de Mathématiques pour informaticiens de Jules
Desharnais
- Liste d'axiomes et
de théorèmes, 1ère partie
- Liste d'axiomes et
de théorèmes, 2ème partie
- Théorie
des relations: notes complémentaires et exemples de
démonstrations de type "classique"
- Notes de cours sur
les ensembles infinis
- Notes de cours sur les
résolutions de récurrences
- Supplément
sur la théorie des graphes
Acétates
utilisées à l'été 2008
Suites:
1,
2,
3,
4,
5,
6,
7,
8,
9,
10,
11,
12 et
13.
Exercices
Devoirs
- Travail pratique #1; corrigé du TP#1; numéros corrigés: 1. (a), (c), (d), 2. et 3.
- Travail pratique #2; corrigé du TP#2; numéros corrigés: 1., 2., 3., 5. (c) et 6. (a), (c).
- Travail pratique #3; corrigé du TP#3; numéros corrigés: 1. (a), (b), 3. (a), (c), 4. (a), (b), (d), (e).
Préparation aux examens (telle que
donnée à l'été 2008)
Intra de cette session et
corrigé.
Liens vers les cours
précédents