Objectives of Programme's Learning Outcomes

• Skills for organising and supporting learning in an evolving dynamic.
• Understand the subject content, its epistemological foundations, its scientific and technological development, its didactics and teaching methodology.
• Understand written and spoken French in order to teach and communicate adequately in the various contexts and disciplines related to the profession.

Learning Outcomes of UE

At the end of the instruction, the students will be able to work with sophisticated topics of logic, deepening the contents of the previous courses of mathematical logic. 

UE Content: description and pedagogical relevance

Sophisticated and fashionable topics in mathematical logic (variable contents, depending on students'state), first approach to research in mathematical logic.

Prior Experience

A course in mathematical logic on at least one of the following topics :  1) model theory    2) recursive functions, computabilty theory and decidability