360-751-BB : Logique : philosophie et mathématiques
Programme Histoire et civilisation
Bienvenue à tous et à toutes!
Pour lire les documents en format pdf, il faut le logiciel Adobe Acrobat Reader.
15/11/2008
Solutions des exercices du chapitre 4 (preuves sur les nombres) (pdf)
03/10/2008
Formatif 2 (pdf) C'est le formatif de l'examen de vendredi prochain (7 novembre).
23/10/2008
Bonjour, voici pour vous un message de Hugues
Consignes pour l'étude des postulats et propositions d'Euclide
Tous les postulats et propositions sont à étudier, mais il faut particulièrement bien connaître les postulats et propositions les plus utilisés comme justifications dans les preuves (par exemple, les propositions sur les congruences de triangles). Il n'est pas nécessaire de connaître les numéros des propositions et postulats (sauf pour le postulat #5) ni d'apprendre par coeur comment démontrer les propositions. À l'examen, il vous sera demandé de compléter les énoncés et justifications qui manquent dans une preuve trouée.
14/10/2008
Exercices_3.1_corrigé (pdf) C'est le solutionnaire des exercices que vous avez commencé à faire au cours passé.
10/10/2008
Travail individuel de mi-session (doc) C'est le travail de mi-session avec hyperliens fonctionnels.
04/10/2008
Exercices 2.1 corrigé (pdf) C'est le corrigé des exercices du cours de vendredi dernier.
29/09/2008
Formatif_1 (pdf) C’est le formatif de l’examen 1, prévu pour vendredi le 3 octobre.
26/09/2008
Exercices 1.1_corrigé (pdf) C'est le corrigé des exercices du cours de cet après-midi.
22/09/2008
Logique des propositions : exercices supplémentaires 2 (pdf) Exercices supplémentaires en déduction naturelle. Les trois premiers sont pour vous faisables, avec de la patience. Les trois derniers sont très longs et difficiles, ils sont de catégorie supérieure; donc si vous n’y arrivez pas, c’est normal. Les solutions sont ici (pou a,b,c) et ici (pour d,e,f).
15/09/2008
Capsule 1 (pdf) Instructions pour votre première capsule, à remettre le vendredi 26 septembre au cours.
Logique des propositions : exercices supplémentaires 1 (pdf) Exercices supplémentaires sur la méthode des tables de vérité et les notions qui lui sont associées. Les solutions sont ici.
29/08/2008
Exercices_I.0_corrigé (pdf) Ce document est le corrigé des exercices que Hugues a donnés au premier cours.