Introduction à la logique
ActualitésLa liste des étudiants en philosophie ayant validé le cours grâce au contrôle continu est disponible ici. Bravo à eux! La fin des aventures de Jack, comme promis! Bonnes vacances! HorairesLes cours auront lieu le lundi de 10h15 à 12h00 dans l'auditoire 1129 de l'Anthropole. Les séances d'exercices pour les non-philosophes auront lieu le vendredi de 10h15 à 12h00 dans l'auditoire 122 de l'Internef. Les séances d'exercices pour les philosophes auront lieu le vendredi de 10h15 à 12h00 dans l'auditoire 4030 de l'Anthropole. Les séries d'exercices seront disponibles le lundi à 12h00, et devront être faites avant le mercredi soir 23h59. Le test intermédiaire aura lieu le lundi 12 novembre 2012, de 10h15 à 12h, dans l'auditoire 1129 de l'Anthropole. |
Syllabus-Résumé |
| Les modalités d'examen sont précisées ci-dessous. Pour les non-philosophes: L'obtention des notes M1 et M2 est facultative, cependant ces notes ne permettent pas de baisser la note finale N mais seulement de la remonter. Nous ne pouvons donc qu'encourager les étudiants à participer au processus d'évaluation continue rétribué par ces notes M1 et M2. Chaque semaine les étudiants répondent à une série d'exercices qui leur sont proposés. La moyenne semestrielle de ces notes est M1 (c'est une note sur 100 sans arrondi). Au milieu du semestre (le 12 novembre 2012), les étudiants passent un test écrit surveillé de 1h30 donnant lieu a une note M2 (sur 100 sans arrondi). A la fin du semestre, les étudiants passent un examen écrit final de deux heures donnant lieu a une note M3 (sur 100 sans arrondi). La note finale obtenue N (sur 6, avec arrondi usuel) est calculée de la manière suivante : (1) Si M3 < 50, alors N = 1+ (M3 : 20) (2) Si M3 = 50 ou M3 > 50, alors: (a) Dans le cas où [(M1 + M2) : 2] > M3, alors N = 1 + (M1 + M2 + 2 x M3) : 80 (b) Dans le cas où [(M1 + M2) : 2] < (ou =) M3, alors N = 1 + M3 :20. Un éventuel examen de rattrapage sera évalué de la même manière que l'examen initial. Pour les philosophes: Il y a deux façons de valider le cours. La première est un examen oral individuel à la fin du semestre portant sur l'ensemble de la matière étudiée. La deuxième est un contrôle continu: chaque semaine les étudiants répondent à une série d'exercices qui leur sont proposés. La moyenne semestrielle de ces notes est M1 (c'est une note sur 100 sans arrondi). Au milieu du semestre (le 12 novembre 2012), les étudiants passent un test écrit surveillé de 1h30 donnant lieu à une note M2 (sur 100 sans arrondi). Le cours est validé si la note finale N (sur 6, avec arrondi usuel) calculée de la manière suivante : N = 1 + (M1 + M2)/40 est supérieure ou égale à 4. |
Notes de coursIntro Calcul Propositionnel Logique Modale Calcul des Prédicats Séries |
Bibiliographie |
| Voici la bibliographie du cours en format pdf. |
Contact |
|
