Pure and Applied Logic

Basic and general competences

Upon completion of the course, successful students will be able to:

• display originality in research contexts and apply the knowledge and skills acquired to new multidisciplinary situations related to the areas of study;
  
• present the solutions to exercises and problems in a clear, concise and coherent manner;
  
• argue correctly and justify assertions with evidence, in line with the standards of current research;
  
• write and present a final project;
  
• prepare work properly and efficiently in order to respond to problems posed in the different subjects of the course;
  
• plan adequately, with regard to the time and facilities available, the public exhibition of a project related to research carried out;
  
• make efficient use of IT and audiovisual technologies ' such as the Beamer package from LaTeX ' to develop a research topic in the field of mathematics.

Specific competences

With regard to the specific applications of the curriculum, students will also be able to:

• develop typical demonstrations of logic and display them in an understandable and elegant manner;
  
• demonstrate mastery of the fundamental concepts of mathematical logic;
  
• solve problems that arise in the subject matter of the course;
  
• apply the concepts of contemporary logic to the study of the history of logic;
  
• understand the technical concepts needed to study the arguments used in the philosophy of mathematics and logic;
  
• design algorithms of the type dealt with in the course;
  
• understand relevant articles in the scientific literature;
  
• formulate original and pertinent research questions in various aspects of logic;
  
• plan and conduct a piece of original research in one of the topics covered by the course curriculum;
  
• display a mastery of the mathematical tools used in specialized branches of mathematical logic;
  
• demonstrate knowledge of a large number of non-classical logics;
  
• integrate different semantic, syntactic and algebraic strategies in order to study different kinds of logic;
  
• relate the logic topics studied, together with their corresponding philosophical implications;
  
• explain current trends of research into mathematical logic in a clear and comprehensible manner.