MAT 3060

Logique

Table des matières

  1. Plan de cours
  2. Brèves notes de cours
  3. L'article d'Accromath sur les suites de Goodstein.
  4. Période de disponibilité hebdomadaire de Christiane Rousseau le lundi de 13h30 à 15h30 au bureau 5231 du PAA.
  5. Première série d'exercices
  6. Deuxième série d'exercices
  7. Exemple d'une preuve d'un théorème de L
  8. Troisième série d'exercices
  9. Quatrième série d'exercices
  10. Cinquième série d'exercices
  11. Sixième série d'exercices (première partie)
  12. Les feuilles de notes qui seront incluses dans le questionnaire de l'intra
  13. La matière de l’examen s’arrêtera à la fin du chapitre 4, "calcul des prédicats informel" (c’est le chapitre 3 du livre).
  14. Disponibilité avant l’examen: vendredi 12 octobre de 10h à 12h et de 13h à 14h à mon bureau, 5231 du PAA.
  15. Bref corrigé de la troisième série d'exercices
  16. Bref corrigé de la quatrième série d'exercices
  17. Bref corrigé de la sixième série d'exercices, première partie (ne regarder que les numéros 1 et 2)
  18. Devoir à remettre le lundi 12 novembre.
  19. Sixième série d'exercices (deuxième partie)
  20. Septième série d'exercices
  21. Huitième série d'exercices
  22. Neuvième série d'exercices
  23. Corrigé du devoir
  24. Dixième série d'exercices
  25. Bref corrigé des septième et huitième séries d'exercices
  26. Bref corrigé de la neuvième série d'exercices
  27. Bref corrigé de la dixième série d'exercices
  28. Les feuilles de notes qui seront incluses dans le questionnaire de l'examen final
  29. La matière de l'examen commence au calcul des prédicats jusqu’à la fin de la session. L’aperçu de la preuve du théorème de Gödel (section 8.2) et le théorème de Goodstein ne sont pas matière à examen.
  30. Disponibilité avant l’examen: vendredi 14 décembre de 10h à 12h et de 14h à 15h30 à mon bureau, 5231 du PAA.
  31. L’examen final aura lieu le lundi 17 décembre de 9h à 12h dans la salle 1175 du PAA.

[Revenir à la page principale]