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

[Revenir à la page principale]