Emploi du temps
| Horaires : |
jeudi, 10h30-12h00 |
| Salle : |
RC3 |
| Rythme : |
Semestriel (S1) |
| Premier cours |
jeudi 11 octobre |
Plan (sommaire et indicatif) du cours
- Introduction : schéma général
- Syllogistique
- Modèles d'inférence
- Logique propositionnelle
- Logique des prédicats
|
Contrôles
- Devoir sur table n° 1 : 08 novembre 01.
Sur table, sans documents, salle habituelle.
- Devoir non surveillé : distribué le 08 nov. 01, pour le 10 janvier 02.
- Examen final (pour tous les étudiants) :
Session de janvier 2002
Vendredi 25 Janvier 02, de 14:00 à 17:00, salle 105 îlot Jussieu.
- Examen de rattrapage (pour tous les étudiants) :
Session de septembre 2002
Jeudi 12 septembre 2002, de 14:00 à 17:00, salle 105.
Modalités (indicatives)
- Contrôle continu : un devoir sur table début novembre
(30%), un devoir à la maison pour le 10 janvier (20%) et une épreuve
écrite pendant la session d'examen de janvier-février (50%).
- Contrôle final : une épreuve
écrite pendant la session d'examen de janvier-février (100%).
- Session de rattrapage (sept.) : pour tous : une épreuve
écrite pendant la session d'examen de septembre (100%).
Annales
Vous pouvez jeter un oeil sur les pages décrivant cet enseignement les
années précédentes :
|
