Minor Programme

Mathematics of Computer Science

master/bachelor (final year)

Faculty of Mathematics

Formal Sciences (Maths, Logic, Computer Science)


February 2019

At least two years bachelor knowledge in Mathematics


Engllish, B1 level

Visiting Students - EUR 1500,00; Fee waivers may apply in the case of student exchange schemes like Erasmus; Students wishing to do a single course unit from an Exchange Package can opt to apply for “isolated course units” where the fees range from €40,00 - €60.00 per ECTS credit, depending on subject area.

The Courses

Elements of Logic - 6 ECTS

Mathematical logic is subject that provides structure and unity, indispensable to a global and mature understanding of Mathematics. It accurately displays the laws subjacent in the basis of the mathematical reasoning. It examines and reveals explicitly aspects that are common to the diverse mathematical disciplines, and provides a unified understanding of the concepts of formal language, structure and set. It focuses special attention to the formal aspects of diverse mathematical systems, dealing rigorously with the formal development of theories as symbolic systems. It develops in the student a keen discipline of thought, a critic scientific attitude and a capability of reasoning and analysis of great precision. In consequence, the informative objectives of the course are the concepts and techniques found in its contents. The formative objectives are to achieve a global view of Mathematics and to develop critical analysis and exact reasoning.

Graphic Computation Algorithms - 6 ECTS

The study of computer graphics calls for the understanding of the technologies of computing and visualization, as well as solid foundations of geometry and combinatorics. In this course we want to give an explanation of the theoretical foundations, algorithms and data structures used in the computer representation of objects (in 2d and 3d Spaces) as well as present and discuss strategies for algorithmic solutions for some of the classic problems of computational geometry associated with computer graphics and very common in robotics, computer vision, geographic information systems, technologies VLSI, tele-medicine, etc.

Abstract Data Types - 6 ECTS

To be knowledgeable about common data structures in the sense of abstraction and modularity.

Network And Nonlinear Optimization - 6 ECTS

Study of theory and methods of Network  and Nonlinear Optimization with and without constraints. Students  should be able to develop, model and analyse solutions of problems  involving networks and graphs, as well as mathematical models of problems which conceptually can be  identified with Nonlinear Optimization, with and without constraints. The  basic notions of the Optimization theory will be taught with the aim to apply them for problem’s identification and in choose  of appropriate methods for solving.  Special attention will be given to theory and methods for  Convex, Quadratic and Geometric Programming.

Theory Of Numbers And Applications - 6 ECTS

Basic concepts of number theory. Development of a rigorous mathematical spirit. Relationship between certain proprieties of numbers and its aplications. Knowledge of relevant facts in the history of mathematics.

How to apply

Application procedure is similar to mobility applications, that is, candidates are either appointed by their institutions of origin or the candidate addresses directly the International Office that guides the candidate and contacts the candidate’s institution of origin. Application may be done on paper, by post and by email and is checked by the International Office.

What are the necessary documents?

- application form

- learning agreement signed by the candidate and the institutions of origin

- transcript of records

- photocopy of valid personal identification document (ID card or passport)

Apply now!

University of Aveiro


Created in 1973, the University of Aveiro quickly became one of the most dynamic and innovative universities in Portugal. Now a public foundation under private law, it continues to develop and implement its mission to provide undergraduate and postgraduate education, to generate research and promote cooperation with society.

More information