UE912 - LING 102 - Formal tools in the study of language

Type d'UE
Méthodologie
Disciplines
Linguistique, sémantique, Psychologie et sciences cognitives
Page web
https://cogmaster.ens.psl.eu/en/program/m1-program-13570 
Langues
anglais
Mots-clés
Linguistique Sciences cognitives
Aires culturelles
-

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 second part deals with propositional, predicate and modal logic, as appropriate tools to represent natural language meaning, and finally with lambda-calculus as a tool to approach semantic compositionality.

Formal Language Theory (Regular languages, CF languages)

Formal Complexity of Natural Languages

Propositional and Predicate logic (review)

Modal logic

Lambda-calculus

  • Sciences cognitives – M1/S1
    Suivi et validation – semestriel hebdomadaire = 3 ECTS
    MCC – examen, contrôle continu
  • Pascal Amsili [référent·e]   professeur des universités, Université Sorbonne Nouvelle - Paris 3 /
Contacts additionnels
cogmaster@psl.eu
Informations pratiques

The complete syllabus of the course is available on the Cogmaster's website. For any information, please contact the secretariat of the Cogmaster.

Registration procedure (external students) : https://cogmaster.ens.psl.eu/en/students/external-students-13501

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

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

  • Autre lieu Paris
    45 rue des Saints-Pères 75006 Paris (salle à préciser)
    1er semestre / hebdomadaire, mardi 09:00-12:00
    du 22 septembre 2020 au 12 janvier 2021


Intervenant·e·s


  • Pascal Amsili [référent·e]   professeur des universités, Université Sorbonne Nouvelle - Paris 3 /

Planning


  • Autre lieu Paris
    45 rue des Saints-Pères 75006 Paris (salle à préciser)
    1er semestre / hebdomadaire, mardi 09:00-12:00
    du 22 septembre 2020 au 12 janvier 2021


Description


Type d'UE
Méthodologie
Disciplines
Linguistique, sémantique, Psychologie et sciences cognitives
Page web
https://cogmaster.ens.psl.eu/en/program/m1-program-13570 
Langues
anglais
Mots-clés
Linguistique Sciences cognitives
Aires culturelles
-

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 second part deals with propositional, predicate and modal logic, as appropriate tools to represent natural language meaning, and finally with lambda-calculus as a tool to approach semantic compositionality.

Formal Language Theory (Regular languages, CF languages)

Formal Complexity of Natural Languages

Propositional and Predicate logic (review)

Modal logic

Lambda-calculus


Master


  • Sciences cognitives – M1/S1
    Suivi et validation – semestriel hebdomadaire = 3 ECTS
    MCC – examen, contrôle continu

Renseignements


Contacts additionnels
cogmaster@psl.eu
Informations pratiques

The complete syllabus of the course is available on the Cogmaster's website. For any information, please contact the secretariat of the Cogmaster.

Registration procedure (external students) : https://cogmaster.ens.psl.eu/en/students/external-students-13501

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

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