UE292 - Formal Tools in the Study of Language [LING 102]


Lieu et planning


  • ENS-Ulm
    45 rue d'Ulm 75005 Paris
    1er semestre / hebdomadaire, mardi 09:30-12:30
    du 14 septembre 2021 au 11 janvier 2022


Description


Dernière modification : 18 juin 2021 14:42

Type d'UE
Enseignements fondamentaux de master
Domaine
-
Disciplines
Psychologie et sciences cognitives
Page web
https://docs.google.com/document/d/1Gybb5LzNRZdIDkrNwWPwK9pm-bhdy8ORImuKw5tK7d4/edit 
Langues
anglais
Mots-clés
-
Aires culturelles
-
Intervenant·e·s
  • Pascal Amsili [référent·e]   professeur des universités, Université Sorbonne Nouvelle - Paris 3

The purpose of this course is to present an introduction to several formal frameworks relevant for linguistics (mostly within discrete mathematics). The first part bears on formal language theory (finite state automata, formal grammar, complexity of formal and natural languages). The next topic is first order logic, viewed mostly as a means to represent natural language semantics. Finally, some elements of lambda-calculus will be presented, so that students can get a first idea of Montague’s research program: treat English as a formal language.

L’objet de ce cours est de proposer une introduction à plusieurs cadres formels pertinents pour la linguistique (mathématiques discrètes). On commence par la théorie des langages formels (automates, grammaires formelles, complexité des langages formels et des langues naturelles). On présente ensuite la logique des prédicats, surtout vue comme un moyen de représenter la sémantique des langues naturelles. Enfin, des notions de lambda-calcul sont présentées, afin de permettre aux étudiants d’accéder aux bases du programme de recherche de Montague, qui consiste à traiter l’anglais (ou le français) comme un langage formel.

Prerequisites:

Students should have been exposed to an introductory class in linguistics.

On successful completion of this course, students should be able to:

  • read and understand most formula used in current literature in formal syntax, semantics and pragmatics;
  • produce a formal version of a simple linguistic analysis in syntax, semantics or pragmatics;
  • make a choice among formal tools to describe a given linguistic phenomenon.

Master


  • Séminaires de tronc commun – Sciences cognitives – M1/S1
    Suivi et validation – semestriel hebdomadaire = 4 ECTS
    MCC – CC +Examen

Renseignements


Contacts additionnels
-
Informations pratiques

les inscriptions sont soumises à l'accord préalable du responsable de l'UE.

Direction de travaux des étudiants
-
Réception des candidats
-
Pré-requis
-

Dernière modification : 18 juin 2021 14:42

Type d'UE
Enseignements fondamentaux de master
Domaine
-
Disciplines
Psychologie et sciences cognitives
Page web
https://docs.google.com/document/d/1Gybb5LzNRZdIDkrNwWPwK9pm-bhdy8ORImuKw5tK7d4/edit 
Langues
anglais
Mots-clés
-
Aires culturelles
-
Intervenant·e·s
  • Pascal Amsili [référent·e]   professeur des universités, Université Sorbonne Nouvelle - Paris 3

The purpose of this course is to present an introduction to several formal frameworks relevant for linguistics (mostly within discrete mathematics). The first part bears on formal language theory (finite state automata, formal grammar, complexity of formal and natural languages). The next topic is first order logic, viewed mostly as a means to represent natural language semantics. Finally, some elements of lambda-calculus will be presented, so that students can get a first idea of Montague’s research program: treat English as a formal language.

L’objet de ce cours est de proposer une introduction à plusieurs cadres formels pertinents pour la linguistique (mathématiques discrètes). On commence par la théorie des langages formels (automates, grammaires formelles, complexité des langages formels et des langues naturelles). On présente ensuite la logique des prédicats, surtout vue comme un moyen de représenter la sémantique des langues naturelles. Enfin, des notions de lambda-calcul sont présentées, afin de permettre aux étudiants d’accéder aux bases du programme de recherche de Montague, qui consiste à traiter l’anglais (ou le français) comme un langage formel.

Prerequisites:

Students should have been exposed to an introductory class in linguistics.

On successful completion of this course, students should be able to:

  • read and understand most formula used in current literature in formal syntax, semantics and pragmatics;
  • produce a formal version of a simple linguistic analysis in syntax, semantics or pragmatics;
  • make a choice among formal tools to describe a given linguistic phenomenon.
  • Séminaires de tronc commun – Sciences cognitives – M1/S1
    Suivi et validation – semestriel hebdomadaire = 4 ECTS
    MCC – CC +Examen
Contacts additionnels
-
Informations pratiques

les inscriptions sont soumises à l'accord préalable du responsable de l'UE.

Direction de travaux des étudiants
-
Réception des candidats
-
Pré-requis
-
  • ENS-Ulm
    45 rue d'Ulm 75005 Paris
    1er semestre / hebdomadaire, mardi 09:30-12:30
    du 14 septembre 2021 au 11 janvier 2022