Objectives of Programme's Learning Outcomes

• Have integrated and elaborate mathematical knowledge.
• Mobilise the Bachelor's course in mathematics to address complex issues and have profound mathematical expertise to complement the knowledge developed in the Bachelor's course.
• Use prior knowledge to independently learn high-level mathematics.
• Research mathematical literature in an efficient and relevant way.
• Read research articles in at least one discipline of mathematics.
• Carry out major projects.
• Give constructive criticism on the quality and progress of a project.
• Work in teams and, in particular, communicate effectively and with respect for others.
• Appropriately use bibliographic resources for the intended purpose.
• Present the objectives and results of a project orally and in writing.
• Apply innovative methods to solve an unprecedented problem in mathematics or within its applications.
• Mobilise knowledge, and research and analyse various information sources to propose innovative solutions targeted unprecedented issues.
• Communicate clearly.
• Communicate the results of mathematical or related fields, both orally and in writing, by adapting to the public.
• make a structured and reasoned presentation of the content and principles underlying a piece of work, mobilised skills and the conclusions it leads to.
• Have sufficient knowledge of English for basic scientific communication.
• Adapt to different contexts.
• Have developed a high degree of independence to acquire additional knowledge and new skills to evolve in different contexts.
• Critically reflect on the impact of mathematics and the implications of projects to which they contribute.
• Demonstrate thoroughness, independence, creativity, intellectual honesty, and ethical values.

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. 

Content of UE

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

Type of Assessment for UE in Q1

• Presentation and/or works

Q1 UE Assessment Comments

Work load consists in a written report for the end of second term.  The incoming and outcoming students are allowed to follow only the course during one term; in this case, the written report has to be finalized at the end of the quadrimester. The written report will be the basis for an oral presentation and a discussion.

Type of Assessment for UE in Q2

• Presentation and/or works

Q2 UE Assessment Comments

Work load consists in a written report for the end of second term.  The incoming and outcoming students are allowed to follow only the course during one term; in this case, the written report has to be finalized at the end of the quadrimester. The written report will be the basis for an oral presentation and a discussion.

Type of Assessment for UE in Q3

• Presentation and/or works

Q3 UE Assessment Comments

Same as for Q2

Type of Resit Assessment for UE in Q1 (BAB1)

• N/A

Q1 UE Resit Assessment Comments (BAB1)

Not applicable