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)