Sémantique formelle
Undergraduate course, Université de Poitiers, 2024
Ce cours est une introduction à la sémantique formelle. Il vise à donner aux étudiant.e.s les bases nécessaires à la compréhension et à l’utilisation de données formelles en linguistique (théorie des ensembles, logique propositionnelle, logique du premier ordre), ainsi qu’à présenter une version du langage formel le plus utilisé en linguistique, le lambda-calcul typé.
Page institutionnelle (UPDago)
Manuel du cours: Coppock, E. & Champollion, L. (2024), Invitation to formal semantics
Où et quand?
Tous les mardis à partir du 21 janvier de 17h30 à 18h30 dans l’amphithéâtre Agnès Varda
Modalités d’évaluation
Le cours sera évalué sur la base de deux examens écrits (exercices). Le premier devoir sera à effectuer à domicile et à rendre après les vacances de février. Le second se fera sur table, lors de la dernière séance du cours (séance double, 2h).
Examens
Examen 1 (à rendre pour le mardi 1er avril) / Corrigé
Examen 2 (à rendre pour le vendredi 9 mai sur UPDago)
TP
Des travaux pratiques (1h/semaine) sont prévus pour ce cours et seront donnés par moi-même le mercredi à partir du 5 mars (deux groupes).
Programme
| 21.01 | Cours 1: Introduction | ||
| 28.01 | Cours 2: Fondations logiques | Exercices | Corrigé |
| 04.02 | Cours 3: Logique propositionnelle | Exercices | Corrigé |
| 11.02 | Cours annulé (grève universitaire en protestation aux coupes budgétaires) | Exercices | Corrigé |
| 18.02 | Cours annulé (grève universitaire en protestation aux coupes budgétaires) | ||
| 25.02 | Vacances de février | ||
| 04.03 | Cours annulé (grève universitaire en protestation aux coupes budgétaires) | ||
| 11.03 | Cours 4: Logique des prédicats 1 | Exercices | Corrigé |
| 18.03 | Cours 5: Logique des prédicats 2: fonctions d’interprétation et d’assignation | Exercices | Corrigé |
| 25.03 | Cours 6: Lambda-calcul 1 | Exercices | Corrigé |
| 01.04 | Cours 7: Lambda-calcul 2, types | Exercices | Corrigé |
| 08.04 | Cours 8: Application de fonction 1 | Exercices | Corrigé |
| 15.04 | Cours 9: Application de fonction 2 | ||
| 22.04 | Cours 10: Autres règles de composition: prédicats, pronoms |