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.
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.
To be knowledgeable about common data structures in the sense of abstraction and modularity.
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.
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.
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)
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