Introduction à la logique I
ActualitésLa liste définitive des étudiants en philosophie ayant validé le cours est disponible ici. Pour les étudiants n'ayant pas validé le cours, une examen de remédiation oral aura lieu le vendredi 27 janvier.L'examen des non-philosophes aura lieu le 27 janvier 2012 à 8h30. 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 237 de l'Internef. Les séries d'exercices seront disponibles le lundi à 12h00, et devront être faites avant le mercredi soir 23h59. |
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, 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, 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 coursIntroduction Syntaxe Sémantique Tables de Vérité Théorie de la Démonstration Logique Modale Premier Ordre Séries
Série 10 (phi) Corrigé 10 Série 10 (non-phi) Corrigé 10 Série 11 (phi) Corrigé 11 Série 11 (non-phi) Corrigé 11 Série 12 (non phi) Corrigé 12 |
Bibiliographie |
| Voici la bibliographie du cours en format pdf. |
Contact |
|
