Pure and Applied Logic

Generaal competences

• Capacity to carry out original research in logic and to apply the knowledge and skills acquired to new multidisciplinary environments.
• Capacity to present the solutions to exercises and problems in a clear, concise, and coherent manner.
• Capacity to argue correctly and justify assertions with evidence, in line with the current standards of the research community.
• Capacity to write and present a master's degree thesis.
• Capacity to work properly and efficiently in order to resolve the problems posed in the different subjects from the master's degree.
• Capacity to plan adequately the public exhibition of a research project according to time and facilities available.
• Capacity to make efficient use of IT and audiovisual technologies to communicate the results of a research project.

   

Specific competences 

• Capacity to resolve problems in logic in an understandable and elegant manner.
• Command the fundamental concepts of mathematical logic.
• Capacity to resolve problems related to the master's degree courses.
• Capacity to apply the concepts of contemporary logic to the study of the history of logic.
• Capacity to understand the technical concepts to study the arguments used in the philosophy of mathematics and philosophy of logic.
• Capacity to design algorithms dealt with during the master's degree.
• Capacity to understand articles from the scientific literature.
• Capacity to formulate original and meaningful conjectures in various areas of logic.
• Capacity to plan and conduct a piece of original research in one of the topics covered by the master's degree.
• Command of the mathematical tools used in specialized branches of mathematical logic.
• Capacity to demonstrate a broad knowledge of non-classical logics.
• Capacity to integrate semantic, syntactic and algebraic tools to study different kinds of logic.
• Capacity to relate the topics in logic covered by the modules with their corresponding philosophical implications.
• Capacity to explain current trends of research in mathematical logic in a clear and comprehensible manner.