Modifications

Exceptionnellement, la première séance (5 novembre) n'aura pas lieu de 13h à 15h, mais de 10h à 12h. Normalement, la salle devrait être la même, nous attendons confirmation sur ce point.

Horaires et salle

La salle est confirmée : nous nous réunirons en salle A3. 305 (dans la partie de l'UFR de Philosophie où se trouve le secrétariat).

J'en profite pour vous rappeler que nous nous réunirons de 13 heures à 15 heures.

Pour un planning des premières séances (dates, etc), voir ci-dessous.

Premières séances

Voici les sujets que nous aborderons pendant les premières séances :

5 novembre : introduction à la logique de Premier Ordre (syntaxe, sémantique) + introduction de la méthode des arbres (Nicolas Clerbout)

19 novembre : Interprétation par substitution/Interprétation par assignation en logique de Premier Ordre (Matthieu Fontaine)

3 décembre : Séance consacrée à la revue/correction d'exercices

17 décembre : Dialogique standard pour Logique de Premier Ordre (Marie-Hélène Gorisse)


Vous remarquerez au passage que j'ai ajouté le précieux "Mathematical Methods in Linguistics" dans la bibliographie. Vous trouverez dans ce manuel bon nombre de notions fondamentales (ne seraient-ce que les deux premières parties)