Langage, logique et informatique (L3)

Informations de base

Description

Le cours comporte deux parties distinctes. Une première partie introduit la distinction entre sémantique et pragmatique avant de se pencher sur la logique des classes et la logique booléenne, pour finir par montrer comment certains outils de la logique formelle (en particulier, la logique des propositions) peuvent être employés pour rendre compte de la sémantique du langage naturel. La seconde partie présente certains aspects de la théorie des langages formels utiles en TAL et en linguistique (expressions régulières, automates, grammaires formelles, hiérarchie de Chomsky).