Dernières nouvelles

Addenda | 16 jan 2004

Une correction des exercices sur les arbres en calcul propositionnel (cf. semaine 4).

Package à télécharger | 16 jan 2004

Si vous voulez (à l'approche des exams par exemple) télécharger plusieurs fichiers à la fois, vous pouvez récupérer tous les fichiers du site d'un coup, en téléchargeant un fichier compressé .ZIP (cf. page cours).

Dernières corrections | 16 jan 2004

Les corrections des exercices 7 sur le calcul des prédicats, et les arbres en calcul des prédicats, sont en ligne et au secrétariat.

Elles sont suffisamment détaillées pour compenser l'absence d'un cours rédigé en ligne sur ces questions.

N'hésitez pas à m'écrire si vous avez des questions de dernière minute avant l'examen

Et bonne chance!

L'examen final | 16 jan 2004

L'examen final portera sur:

- la traduction en calcul propositionnel et en calcul des prédicats,

- les tables de vérité en calcul propositionnel,

- les arbres en calcul propositionnel et en calcul des prédicats

- la déduction naturelle en calcul propositionnel uniquement,

- la compréhension des notions de logique fondamentales.

Informations générales

Site web du cours PH203A (Logique DEUG 2e année, 1er semestre), UFR de Philosophie de l'Université Paris-IV Sorbonne. Le cours est assuré par le Prof. P. Engel, les TDs. par J. Dutant, G. Lelièvre, B. Sylvand.

Contacts

Prof. P. Engel : Pascal.Engel à paris4.sorbonne.fr

Julien Dutant : julien.dutant à free.fr

Gilbert Lelièvre : Gilbert.Lelievre à paris4.sorbonne.fr

Benjamin Sylvand: Benjamin.Sylvand à paris4.sorbonne.fr

Horaires

Cours du Prof. P. Engel: Lundi, 17h - 18h

TD n°1 (J. Dutant) : Mardi, 12h - 14h

TD n°2 (G. Lelievre) : Mardi, 14h - 16h

TD n°3 (B. Sylvand) : Jeudi, 11h - 13h

Programme et dates

1. 06 oct 2003 Calcul des propositions - syntaxe et sémantique

2. 13 oct 2003 Calcul des propositions - arbres

3. 20 oct 2003 Quantificateurs I

4. 27 oct 2003 Quantificateurs - II

5. 03 nov 2003 Quantificateurs - III

6. 10 nov 2003 Arbres pour les quantificateurs - I

7. 17 nov 2003 Arbres pour les quantificateurs - II

8. 24 nov 2003 Déduction naturelle pour les quantificateurs I

9. 01 dec 2003 Déduction naturelle pour les quantificateurs - II

10. 08 dec 2003 Identité - I

11. 15 dec 2003 Identité - II

12. 05 jan 2004 Quelques métathéorèmes pour la logique du 1er ordre

13. 12 jan 2004 Conclusions