Home  >  Study > University master's degree courses > P > Pure and Applied Logic - Skills profile

Pure and Applied Logic

Skills and competences

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.

  • Follow us:
  • Button to access University of Barcelona's Facebook profile
  • Button to access University of Barcelona's Twitter profile
  • Button to access University of Barcelona's Instagram profile
  • Button to access University of Barcelona's Linkedin profile
  • Button to access University of Barcelona's Youtube profile
  • Button to access University of Barcelona's Google+ profile
  • ??? peu.flickr.alt ???
Member of International recognition of excellence HR Excellence in Research logo del leru - League of European Research Universities logo del bkc - campus excel·lència logo del health universitat de barcelona campus

© Universitat de Barcelona