SEMESTER EXCHANGE IN AVEIRO
study for one semester at portugal's leading university UNIVERSIDADE DE AVEIRO Created in 1973, the University of Aveiro has quickly become one of the most dynamic and innovative universities in Portugal. As public foundation operating under private law, it develops its mission to provide undergraduate and postgraduate education, to generate research and to promote cooperation with society. UA has achieved a significant position amongst higher education institutions in Portugal, being one of the top universities regarding the quality of its infrastructures, the strength of its research and the excellence of its staff. It is attended by some 15,000 students. Location Aveiro is located in the central coastal region of Portugal, about two hours driving distance north of Lisbon. Aveiro is surrounded by a distinctive delta called the Vouga Delta, better known as Ria de Aveiro. Aveiro is served by excellent rail and road connections to Lisbon and to the inland towns as well as to the close by cities of Oporto and Coimbra. Sá Carneiro international airport, which is less than 1 hour away, provides convenient connections throughout Europe. Accommodation Exchange students receive help from the International Office to find accommodation in one of the University Halls of Residence. For students who do not live at the Universi-
ty Halls there are other options. With the help of the Erasmus Student Network (ESN), many students look for flats close to the campus or in the nearby city centre. Typical prices for student accommodation range from €180 to €250 per month. Living costs As an estimate, a student in Aveiro will need somewhere between €550 and €600 per month for accommodation, eating, transport, study material and other basic expenses. Visas Non-EU students should check whether they need a visa and a residence permit. Students make their visa request in their home country, at the Portuguese consulate, before travelling to Portugal. Student Life Students at UA have a lot of support from the University and from each other. The Students Union and the University Social Services provide shops, advice centres, medical care, sports facilities and entertainment. The University departments and central services organise hundreds of events each year, providing students with opportunities to pursue their personal interests, whether it be in science, technology, business or the arts. Counselling and career services are also available to our students and alumni. Applications www.ua.pt/gri/applications
Mathematics of Computer Science
Semester exchange packages are English taught programmes at bachelor or masters level and correspond to a full semester of academic work that can be recognised at your University. We will partner with your University to ensure you gain all the benefits from your exchange at UA.
COURSE UNITS ·
MAIN BENEFITS ·
English taught course units
·
Non-overlapping course timetable
·
Support for accommodation and Visa
Programme workload: 30 ECTS credits Language requirement: English, B1 level Academic level: master/bachelor (final year)
Fees:
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.
Further information about fees is available at www.ua.pt/gri/students
Special attention will be given to theory and
Mathematical logic is a subject that
computer representation of objects (in 2d and
methods for Convex, Quadratic and Geomet-
provides structure and unity, indispensable
3d Spaces) as well as present and discuss
ric Programming. The program of the course
to a global and mature understanding of
strategies for algorithmic solutions for some of
consists from 3 parts: Network Optimization;
Mathematics. It accurately displays the
the classic problems of computational
Unconstrained Optimization and Nonlinear
laws underlying mathematical reasoning. It
geometry associated with computer graphics
Optimization with constraints.
examines and reveals explicitly aspects
and very common in robotics, computer vision,
that are common to the diverse mathemat-
geographic information systems, technologies
ical disciplines, and provides a unified
VSLI, databases, tele-medicine, etc.
47270 Theory of Numbers and Applications (6,0 ECTS) Basic concepts of number theory. Develop-
·
47277 Abstract Data Types (6,0 ECTS)
ment of a rigorous mathematical spirit.
The course provides knowledge about
Relationship between certain proprieties of
diverse mathematical systems, dealing
common data structures in the sense of
numbers and its applications. Knowledge of
rigorously with the formal development of
abstraction and modularity and develops the
relevant facts in the history of mathematics.
theories as symbolic systems. It develops
ability to specify abstract data types and their
The students should be able to classify
in the student a keen discipline of thought,
related algorithms. The course also provides
different classes of numbers and analyse their
a critical scientific attitude and a capability
experience in implementing classical data
proprieties. Additionally, he should be able to
of reasoning and analysis of great
types in a current programming language.
make rigorous proofs using different mathematical subjects. The main topics of the
·
45310 Network and Nonlinear Optimization
course are as follows: Euclid's Algorithm and
the concepts and techniques found in its
(6,0 ECTS)
unique factorization; Congruencies; Quadratic
contents. The formative objectives are to
This course is devoted to the study of theory
residues; Arithmetic functions; Continued
achieve a global view of Mathematics and
and methods of Network and Nonlinear
fractions and Diophantine equations.
to develop critical analysis and exact
Optimization with and without constraints.
reasoning.
Students should be able to develop, model and analyse solutions of problems involving
·
·
special attention to the formal aspects of
informative objectives of the course are
studies in Mathematics
Fee waivers may apply in the case of student
algorithms and data structures used in the
precision. As a consequence, the
Prerequisites: at least two years bachelor-level
·
appropriate methods for problem-solving.
47086 Elements of Logic (6,0 ECTS)
language, structure and set. It focuses
Semester: 2nd (February-July)
Visiting Students - EUR 1500,00
problem identification and in chosing
an explanation of the theoretical foundations,
understanding of the concepts of formal
PROGRAMME FACTS
·
combinatorics. In this course we want to give
47002 Graphic Computation
networks and graphs, as well as mathemati-
Algorithms (6,0 ECTS)
cal models of problems which conceptually
The study of computer graphics calls for
can be identified with Nonlinear Optimization,
the understanding of the technologies of
with and without constraints. The basic
computing and visualization, as well as
notions of the Optimization theory will be
solid foundations of geometry and
taught with the aim of applying them for