Master TAL - MSc. NLP

Course Unit

Formal logic

UE

802

EC

EC1

Hours

20h

Course Description

This course aims to familiarise students with fundamental methods used in formal logic, while taking an approach of the study of classical logics. We first focus on fundamentals of first order logic, focusing on one hand on conception and formulation of formal proofs of logical theorems, and on the other hand on solving logical problems using these logical theorems. We introduce syntax and semantics of propositional logic and of the calculation of predicates.

 

Learning Outcome

  • Knowledge of the syntax and semantics of classical logic
  • Knowledge of lambda-calculus and of high order logic

Prerequisites

  • UE 701

Targeted Skills

  • Analyse a problem before computationally treating spoken or written data
  • Know how to put into place algorithmic techniques, linguistic analysis, statistics, and knowledge processing
  • Develop an argument with critical thinking skills

Professor

Philippe de Groote

Inria

More Informations

Bibliography

  • To be completed

Course URL – Arche

  • To be completed

Link with other courses

  • to be completed

Evaluation procedures

Number of Tests

  • 1

Nature of the tests

  • final exam

Group work

  • to be completed

Combine with other specialization

  • No

Back to MSc Sciences Cognitives

Back to Master TAL - MSc. NLP