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
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