Téléchargement:

• Règles de traduction du Françcais en logique propositionnelle
• Page titre de l'examen de mi-session
• Page titre de l'Examen Final

Devoirs:

• Devoir 1 (À remettre au début de la classe du Lundi 18 Janvier)
• Devoir 2 (À remettre au début de la classe du Jeudi 28 Janvier)
• Devoir 3 (À remettre Le Mardi 9 Février au département des Mathématiques (585 King Edward, pièce 102 avant 15h00)
• Devoir 4 (À remettre Le Vendredi 5 Mars au département des Mathématiques (585 King Edward, pièce 102 avant 15h00)
• Devoir 5 (À remettre au plus tard Le Vendredi 12 Mars au département des Mathématiques (585 King Edward, pièce 102 avant 15h00)
• Devoir 6 (À remettre Le Mardi 23 Mars au département des Mathématiques (585 King Edward, pièce 102 avant 15h00)
• Devoir 7 (À remettre Le Mardi 6 Avril au département des Mathématiques (585 King Edward, pièce 103 avant 15h00)
• Devoir 8 (À remettre au début de la classe du Lundi 12 Avril)

Solutions des devoirs et de l'examen partiel: