Alain Lecomte

Enseignement / Teaching

Depuis septembre 2006, cours dans le cadre de la licence de Sciences du Langage (premier semestre) et du master de linguistique théorique (deuxième semestre).

voir ma page web personnelle : http://lecomte.al.free.fr/

Premier semestre :

UE de Sémantique 3 : sémantique formelle de la phrase et des groupes nominaux, théorie des quantificateurs généralisés, rappels de logique des prédicats du premier ordre, théorie des types simples, sémantique de Montague

UE de Logique : introduction à la logique, algèbre de Boole, calcul propositionnel, tables de vérité, théorie de la déduction naturelle

Deuxième semestre :

UE de Sémantique 2 : sémantique de la phrase basée sur les conditions de vérité, ambiguïtés et inférences, inférences sémantiques, inférences pragmatiques et présupposition, introduction à la logique des prédicats du premier ordre

Séminaire "Grammaires Formelles" : sémantique dans la grammaire générative (Heim & Kratzer) et dans les grammaires minimalistes (E. Stabler), extensions de la grammaire de Montague, rappels de logique, isomorphisme de Curry-Howard, calcul de Lambek, Grammaires Catégorielles Multimodales (M. Moortgat), Variable-free semantics (P. Jacobson), recherches actuelles sur l’extension de l’isomorphisme de Curry-Howard

À lire dans la même rubrique :

• Recherche