MAT-22257
Mathématiques pour informaticiens

Session d'hiver 2009
Professeur: Danny Dubé



Plan de cours



Notes de cours

  1. Bref rappel du cours de Logique et techniques de preuve
  2. Notes de cours de Logique et techniques de preuve et supplément de notes de cours de Mathématiques pour informaticiens de Jules Desharnais
  3. Liste d'axiomes et de théorèmes, 1ère partie
  4. Liste d'axiomes et de théorèmes, 2ème partie
  5. Théorie des relations: notes complémentaires et exemples de démonstrations de type "classique"
  6. Notes de cours sur les ensembles infinis
  7. Notes de cours sur les résolutions de récurrences
  8. 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




Préparation aux examens (telle que donnée à l'été 2008)
Intra de cette session et corrigé.



Liens vers les cours précédents