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


Planning


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


Description


Dernière modification : 7 avril 2021 17:27

Type d'UE
Enseignements fondamentaux de master
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
-
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 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


  • Méthodologie – 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. 

Dernière modification : 7 avril 2021 17:27

Type d'UE
Enseignements fondamentaux de master
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
-
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 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

  • Méthodologie – Sciences cognitives – M1/S1
    Suivi et validation – semestriel hebdomadaire = 3 ECTS
    MCC – examen, contrôle continu
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
    Université de Paris, 45 rue des Saints-Pères 75006 Paris
    1er semestre / hebdomadaire, mardi 09:00-12:00
    du 22 septembre 2020 au 12 janvier 2021