Matériel pédagogique (P. Amsili)

Annales

Logique et langage (L1, P7)
Bases Formelles du TAL (L3 LI, P7)
Langages formels (M1 LI, P7)
Algorithmique (L3 LI, P7)
Pragmatique/sémantique (2) (L3 SdL, P7)
Sémantique computationnelle (M1 LI, P7)
Signification et théories linguistiques (L3 SdL, P4)

Autres ressources

Pages annuelles d'enseignement
Polycopiés
Enseignements ponctuels

Abbréviations : DST = Devoir sur table (= CC - contrôle continu) ; DNS = Devoir non surveillé ; EXM = Examen final et 2^e DST ; SEP = Examen de 2e session (autrefois en septembre, maintenant en juin).

Retour

Pages annuelles d'enseignement

Pages annuelles listant mes enseignements (ainsi que diverses informations pratiques). Beaucoup de liens sont « cassés » sur les pages les plus anciennes.
1996/97 | 1997/98 | 1998/99 | 1999/00 | 2000/01 | 2001/02 | 2002/03 | 2003/04 | 2004/05 | 2005/06 | 2006/07 | 2007/08 | 2008/09 | 2009/10 | 2010/11 | 2011/12 | 2012/13 | 2013/14 | 2014/15 | 2015/16 | 2016/17 | 2017/18 | 2018/19 | 2019/20 | 2020/21 | 2021/22 | 2022/23 | 2023/24

Retour

Logique et Langage

Le sujet de DNS est pratiquement le même chaque année, les différences dépendant du détail des contenus traités en cours. Voir par exemple la version de 2011-12. Exception : le DNS 00-01, portant sur les connecteurs propositionnels.

2016-17 : à compléter
2015-16
- Enoncé DNS
- Enoncé + Corrigé DST
- Enoncé examen
2014-15 : cours non donné cette année-là
2013-14
- DNS Sujet
- DST Sujet, Corrigé
- Exam Sujet
2012-13
- DNS Enoncé
- DST Enoncé, Corrigé
2011-12
- DNS Sujet
- DST Sujet, Corrigé
- Exam Sujet
2010-11
- DNS Sujet
- DST Sujet, Corrigé (ébauche)
2009-10
- DNS Sujet
- DST Sujet, Corrigé
- Exam Enoncé
2008-09
- DNS Sujet
- DST Sujet, Corrigé
2007-08
- DNS Sujet
- DST Sujet
- Exam Sujet, Corrigé
2006-07
- DST Énoncé, corrigé
- Exam énoncé
2005-06
- DST Sujet
- Exam Sujet
2004-05
- DST Sujet, Corrigé
- Exam Sujet
2003-04: à venir
2002-03 DST 02-03 + corrigé, EXM 02-03
2001-02 DST 00-01 + corrigé, DNS 00-01, EXM 00-01 + corrigé
2000-01 DST 01-02 + corrigé, DNS 01-02, SEP 01-02
1999-2000 DST 99-00 + corrigé

Retour

Bases Formelles du TAL

2016-17: à compléter
2015-16
- Énoncé mini-projet
- Énoncé + Corrigé DST 1
- Énoncé + Corrigé DST 2/examen
2014-15
- Énoncé mini-projet
- Enoncé + Corrigé DST 1
2013-14
- Énoncé mini-projet
- Énoncé + corrigé DST 1
- Énoncé + corrigé DST 2/examen
2012-13
- mini-projet: énoncé
- DST 1: énoncé (typo corrigée) + corrigé, + automates (format jflap)
- Examen/DST 2 : énoncé + corrigé
2011-12
- Mini-projet: Sujet
2010-11 (enseignant Grégoire Winterstein)
2009-10 (enseignant Grégoire Winterstein)
2008-09 (enseignant Grégoire Winterstein)
- Examen (1e session) énoncé
- Examen (2e session) énoncé
2007-08
- Mini-projet: énoncé
- Examen unique: enoncé
2006-07 (enseignante Lucie Barque)
2005-06
- Mini-projet : énoncé
- Examen/CC 2: énoncé, corrigé

Retour

Langages formels

2015-16 (chargé de TD: Timothée Bernard)
- DST n°1: énoncé, corrigé (attention, le corrigé de la question 2 de l'exercice 1 comporte une erreur)
- Examen/DST n°2: énoncé, corrigé
2014-15 (chargé de TD: Corentin Ribeyre)
- DST n°1: énoncé, corrigé
- Examen/DST n°2: énoncé
2013-14 (chargé de TD: Corentin Ribeyre)
- DST n°1: énoncé
- Examen/DST n°2: énoncé, corrigé
2012-13 (chargé de TD: Corentin Ribeyre)
- DST n°1: énoncé
- Examen/DST n°2: énoncé
2011-12
- DST n°1: énoncé, corrigé
- Examen/DST n°2: énoncé
2010-11
- DST n°1: énoncé, corrigé
- Examen/DST n°2: énoncé, corrigé
2009-10
- DST n°1: énoncé, corrigé (manuscrit)
- Examen/DST n°2: énoncé, corrigé (ms, sauf la qst. 4)
2008-09 (chargée de TD: Marie Candito)
2007-08
- Examen/CC n°2: énoncé

Retour

Algorithmique

2009-2010
- Enoncé + Corrigé (manuscrit) CC n°2
2008-2009
- Enoncé + qq notes manuscrites en guise de corrigé CC n°2 & examen final
2007-2008
- Sujet CC n°1
- Sujet CC n°2 & examen
2006-2007
- Enoncé devoir non surveillé, + un exemple de code java pour générer des tableaux d'entiers aléatoires
- Enoncé DST n°1
- Enoncé DST n°2 + ébauche de corrigé ; et une version en langage C (1^equestion).
2005-2006 : cours non donné cette année-là
2004-2005
- Enoncé DST n° 1 + Corrigé (rapide)
- Enoncé DNS + Quelques indications pour générer aléatoirement des tableaux, sous la forme de code C.
- Enoncé DST n°2/Examen + corrigé et Code C pour la question 2
2003-2004 : cours non donné cette année-là
2002-2003
- Sujet devoir non surveillé.
- Énoncé DST n°1 + Corrigé (programme C) au format PDF ou C.
2001-2002
- Sujet devoir non surveillé
- Énoncé DST n°1 + corrigé, et exemple en C pour l'exercice 3.
- Énoncé DST n°2 + corrigé.
2000-2001
- Sujet DNS au format PDF, ou HTML, et exemple (minimal) en C.
- Sujet DST n°1 et corrigé au format PDF ou HTML, ainsi qu'un exemple en C pour l'exercice 2
- Sujet DST n°2 au format PDF, ou HTML.
- Sujet DST n°3 corrigé, et exemple en C pour l'exercice 2 (version récursive).
- Sujet examen final + corrigé.
- Sujet examen 2e session + corrigé.
1999-2000
- Sujet DNS n°1 au format PDF, ou HTML.
- Sujet DST n°1 + corrigé au format PDF ou texte.
- Sujet DNS n°2.

Retour

Pragmatique/sémantique (2)

Ouvert en 2009, le cours de 3e année de licence sémantique (2) a toujours été consacré en grande partie à des questions de pragmatique, au point d'être renommé pragmatique en 2015.

2015-16
- Test n°1: énoncé
- Test n°2: énoncé, corrigé
- Examen: énoncé
2014-15
- Test n°1: énoncé, corrigé
- Test n°2: énoncé, corrigé
- Test n°3: énoncé, corrigé
- Examen: énoncé, corrigé
2013-14
- Test n°1: énoncé, corrigé
- Test n°2: énoncé, corrigé
- Examen: énoncé, corrigé
2012-13
- DST n°1: énoncé, corrigé
- Examen/DST n°2: énoncé, corrigé
2011-12
- Examen: énoncé
2010-11
- Examen: énoncé, corrigé
2009-10
- Examen: énoncé
2008-09
- Examen (étudiants en CC): énoncé
- Examen (étudiants en CT): énoncé

Retour

Sémantique computationnelle

2015-16
- DST n°1: énoncé, corrigé
- Examen/DST n°2: énoncé
2014-15
- DST n°1: énoncé
- Examen/DST n°2: énoncé
2013-14
- DST n°1: énoncé, corrigé
- Examen/DST n°2: énoncé
2012-13
- DST n°1: enoncé+corrigé
- Exam/DST n°2: enoncé, corrigé
2011-12
- DST n°1: enoncé
- Exam/DST n°2: enoncé, corrigé
2010-11
- Exam/DST n°2: énoncé, corrigé
2009-10
- Exam/DST n°2: énoncé, corrigé (ébauche, ms.)

Retour

Signification et Théories Linguistiques (Paris Sorbonne)

2013-2014
- Énoncé + Corrigé CC n°1, g1
- Énoncé + Corrigé CC n°1, g2
- Énoncé + Corrigé CC n°2, g1
- Énoncé + Corrigé CC n°2, g2
- Examen janvier 2014
2012-2013
- CC n°1, g1 : Énoncé, Corrigé
- CC n°1, g2 : Énoncé, Corrigé
- CC n°2, g1 : Énoncé + Corrigé
- CC n°2, g2 : Énoncé, Corrigé
- Examen janvier 2013
2011-2012
- CC n°1 : Enoncé, Corrigé
- CC n°2 : Enoncé, Corrigé
- Examen janvier 2012
2010-2011
- Enoncé CC n°1, g1.
- Enoncé CC n°2, g1.
- Examen janvier 2011
2009-2010
- Sujet CC n°1
- Sujet + corrigé CC n°2
sujets d'examen 2003-2009 : (session de janvier + session de septembre) de 2003 à 2009 ; quelques énoncés de devoirs (annales fournies par Claire Beyssade).
contrôles continus 2002-2008 : recueil des énoncés de contrôle de décembre (ou novembre) de 2002 à 2008 (9 sujets), dont 4 sont corrigés (corrigés en fin de document) (annales fournies par Claire Beyssade).

Retour

Polycopiés

Langages rationnels (2016, 31p)
Premiers chapitres du cours « Bases Formelles du TAL », correspondant à un pré-requis pour le cours de Langages formels de Master (1) Linguistique-informatique (Paris Diderot).
Traduction dirigée par la syntaxe (2004, 12p)
Recueil du matériel distribué pour le chapitre correspondant du cours de Master 1 Langages formels.
Domaine empirique de la sémantique formelle (2007, 16p).
Chapitre introductif des cours de Master Sémantique formelle & Sémantique computationnelle
Eléments de langage C (1993-1998, 13p)
Document de synthèse sur le langage C, distribué lors des cours de programmation en licence, pour servir de référence.
Logique du premier ordre : une introduction pour les linguistes (2006, 28p)
Introduction générale à la logique du premier ordre (logique des propositions, logique des prédicats).

Retour

Enseignements ponctuels

ESSLLI Summer School, 2023, Ljubljana

Natural Language Syntax: Complexity and Parsing (class shared with Timothée Bernard).

Intervention (dans le cadre d'échanges Erasmus) dans le Master de Linguistique de l'Université Libre de Bruxelles, mars 2019

Rappels sur la présupposition : exemplier
Présupposition obligatoire : exemplier principal chapitre 1 ; exemplier principal chapitre 2

Universidade Federal de São Carlos (professeur invité, automne 2014)

Talks: see this page.
Formal Languages applied to Linguistics
Compositional semantics
- hand-out #1 (table of contents)
- hand-out #2 (propositional logic)
- hand-out #3 (predicate logic)
- exercise sheet #1 (propositional logic) and solutions
- hand-out #4 (equivalences in predicate logic)
- exercise sheet #2 (predicate logic)
- slides (treatment of quantification)
Semantics vs. Pragmatics
- hand-out #0 (syllabus)
- hand-out #1 (implicatures - typos corrected)
- hand-out #2 (presupposition I)
- hand-out #3 (presupposition II)
- bibliography
Dynamic approaches to semantics
- hand-out #0 (problems)
- syllabus & bibliography

Intervention (dans le cadre d'échanges Erasmus) dans le séminaire de linguistique générale du Master de Linguistique de l'Université Libre de Bruxelles, février-mars 2013

Présupposition obligatoire : exemplier

Séminaires (mini-courses) associés à la Conference Weak Referentiality and Definitude, Florianopolis, août 2012

Obligatory Presuppositions and Discourse Management
- Lecture 1
- Lecture 2

Atelier Jeunes Chercheurs, Journées Sémantique et Modélisation, Toulouse, avril 2008

Sémantique dynamique : polycopié

Atelier logique et sémantique du langage naturel, Semaine bordelaise de sémantique formelle, mars 2006

Prérequis logiques : logique du premier ordre (27 mars 2006, 9h-12h30)
- Polycopié (PDF)
- Quelques (= pas tous !) corrigés des exercices

Retour