Go to:

Map of Premises

Official Code: | 9812 |

Acronym: | MI:ERS |

- Network and Information Systems Engineering (300 ECTS credits)
- Computer Engineering Sciences (180 ECTS credits)

Edit | Concursos por Regime | Scheme | Vacancies | Deadlines |
---|---|---|---|---|

1 | Maiores de 23 | Candidates Over 23 Years Old | 4 | 2016-06-27 to 2016-07-27 |

1 | Mudança Par Instituição/Curso - restantes anos curriculares e Mudança Par Instituição/Curso - 1º ano curricular | Change of pair institution/cycle of studies - other curricular years | 3 | 2016-06-27 to 2016-07-27 |

Change of pair institution/cycle of studies - first curricular year | 3 | |||

1 | Outros cursos superiores | Other Higher Education Courses | 2 | 2016-06-27 to 2016-07-27 |

1 | Titulares de licenciatura em área adequada | Candidates with Bachelors Degrees in a Related Field | 4 | 2016-07-11 to 2016-08-02 |

M1002 - ECTS

Upon completing this course, the student should master the main concepts of Linear Algebra and Analytic Geometry. Namely, he must understand, be able to work with and use the main properties of the concepts of matrix, determinant, real vector space and linear function.

M1001 - ECTS

To become acquainted with the basic concepts and techniques of calculus, at the level of real-valued functions of a single real variable, as well as sequences and series.

CC1001 - ECTS

Study of the fundamental discrete structures that serve as a theoretical basis for the area of Computer Science/Informatics.

CC1002 - ECTS

The students should be able to undestand how a digital computer works, including concepts in architecture and operating systems, and have a broad perspective of Computer Science.

CC1003 - ECTS

To initiate students in imperative programming by presenting fundamental concepts of algorithmics and knowledge of the C programming language. To enable students with the ability of building algorithms from informal specifications. Introduce some fundamental algorithms.

M1003 - ECTS
Understanding and ability to make use of the concepts and results covered in the syllabus, namely through the resolution of exercises of practical nature.

DPI1001 - ECTS
Being able to communicate science and technology from a writing and oral perspective, and with multimedia support. In particular:

To structure and create technical texts. To evaluate technical texts from the perspective of the completion of their context, motivation and conclusions. Creation of multimedia presentations on technical topics. Oral presentation skills issues with multimedia support.

To structure and create technical texts. To evaluate technical texts from the perspective of the completion of their context, motivation and conclusions. Creation of multimedia presentations on technical topics. Oral presentation skills issues with multimedia support.

CC1007 - ECTS
Reinforce programming skills. Basic data structures, algorithms and programming techniques. Introduction to complexity.

CC1006 - ECTS

This unit aims at providing key basic technical concepts when using and programming computers, namely in an Unix/Linux environment . It strengthens the knowledge acquired inprevious units, such as Introduction to Computers and Introduction to Porgramming.

This unit aims at providing key basic technical concepts when using and programming computers, namely in an Unix/Linux environment . It strengthens the knowledge acquired inprevious units, such as Introduction to Computers and Introduction to Porgramming.

CC1004 - ECTS

Teach fundamental concepts and results about three computational models (finite automata, pushdown automata, Turing machines) and the related classes of formal languages, with emphasis on regular and context free languages.

CC1005 - ECTS

Introduction to functional programming using the Haskell language.

M1019 - ECTS

Vector Analysis in curve domains. Line and surface integrals. Integral theorems of Vector Analysis.

Inverse function theorem, implicit function theorem and its main applications.

Introduction to methods of solving ordinary differential equations with special emphasis on equations and systems of linear differential equations.

CC2002 - ECTS

Introduce the basic working concepts for the modern computer, namely, the internal representation of programs and data, the hardware components and their interactions and ways to evaluate its performance.

CC2001 - ECTS

To learn techniques for designing and analyzing algorithms.

CC3006 - ECTS

This module will introduce basic concepts of interactive systems design and development, including not only theoretical concepts (usability, user centred design) but also practical ones (low fidelity prototyping via graphical user interface implementation).

CC2003 - ECTS

**To know the main topics of propositional logic and first order logic, with a special focus on automated therem proving.**

F1006 - ECTS

This course aims to present the concepts and the basic principles of Classic Mechanics, and relativity, with emphasis on understanding and application in the analysis of real world situations . Students should have the ability to manipulate fundamental concepts and knowi how to apply them to solve problems. Students will be motivated to consider the principles of Mechanics in other areas of knowledge and in technology.

M2016 - ECTS
Introductory course in Probability and Statistics: acquisition of basic concepts and application to real situations.

Particular attention will be paid to the presentation and understanding of the concepts, keeping the mathematical treatment at a median level.

Particular attention will be paid to the presentation and understanding of the concepts, keeping the mathematical treatment at a median level.

CC3012 - ECTS
- Provide students with fundamental concepts of logic programming

- Allow students to understand programs written in any logical language

- Explain the relationship between logic programming and mathematical logic

- Foster in students the motivation for logic programming

- Introduce students to applications of logic programming practices

- Involve students in practical projects lin ogic programming

- To relate Logic Programming with other disciplines of the course

- Allow students to understand programs written in any logical language

- Explain the relationship between logic programming and mathematical logic

- Foster in students the motivation for logic programming

- Introduce students to applications of logic programming practices

- Involve students in practical projects lin ogic programming

- To relate Logic Programming with other disciplines of the course

M2025 - ECTS

To introduce the basic concepts and results of Group Theory, both throught

the classical examples of these structure and in an abstract level.

M2018 - ECTS

The main aim of this subject is given a mathematical problem, to study sufficient conditions for the existence and unicity of its solution, to establish a constructive method to solve it, to study and control the errors involved, to give an algoritmh for the solution and to implement it in a computer and to study and interpret the numerical results.

CC2005 - ECTS

Provide the students with the fundamentals and practice necessary for the design, implementation and analysis of relational databases.

M2020 - ECTS

*Upon completing this course, the student should:*

*- have a good insight of the fundamental concepts and principles of statistics, and in particular those from basic inference statistics.*

*- know the common inference statistical methods and how to apply them to concrete situations;*

*- know the basic properties of regression linear models and be able to apply the theory to the analysis of real data, including model fitting, interpretation and forecasting;*

*- be able to identify and formulate a problem, to choose adequate statistical methods and to analyze and interpret in a critical way the obtained results.*

*It is also expected that the student acquires familiarity with the programing language and software environment R, in the framework of problems solving.*

CC2006 - ECTS

Objectives: Study fundamental concepts and techniques of general use for Artificial Intelligence.

CC2013 - ECTS
Strengthening the knowledge of structured programming by developing medium dimension programming projects.

CC2004 - ECTS
Provide students with the fundamental concepts of the theory and practice of the organization, structure and operation of an operating system.

Be able to implement parts of an operating system and write programs using the API of an operating system.

Be able to implement parts of an operating system and write programs using the API of an operating system.

CC3007 - ECTS

Provide the student experience in the use, administration and programming of some of the systems / applications currently used in the Windows environment. The particular focus is on the programming environment of Visual Basic for Applications.

CC3013 - ECTS

*The proposed syllabus is taught in lectures where the main concepts are introduced and practical examples are explained. During lectures students are also required to do presentations related to the topics presented in the syllabus. In the labs students will learn specific skills related to multimedia systems through the exploration of a specific topic that they have to chose from the syllabus. Students will need to surpass problems by creating a prototype of a system. Students will deploy a project and create an application that must reflect the concepts presented during the lecture. All learning outcomes will help students understand the fundamental principals of multimedia systems and have a direct correspondence to the described syllabus. It covers the state of the art technology and the necessary background to design and develop sophisticated interactive applications. This course aims to teach students how multimedia systems are currently being used in different industries. *

* *

*The goal is to instill in students the same curiosity, passion to discover and desire to convey knowledge that drives researchers to explore new areas related to multimedia systems. *

*By the end of this course the student are expected to learn and understand state of the art technology related to the following specific concepts: *

** Understand which are the principals of 3D animation based on the traditional concepts of 2D animation *

** Explore the different types of motion capture systems, virtual reality and how they can work together *

** Understand the main concepts related to information theory and data visualization. *

** Understand the use of color, text and diagrams when representing information *

** Deployment of a multimedia project, create a demo and its correspondent documentation which must reflects its result.*

CC3015 - ECTS

Understanding the roles and procedures performed by network system administrators. Presentation of general principles that further illustrated and consubstantiated with extensive laboratory practice with the implementation and maintenance of some concrete examples of flexible services in critical contexts with simulated faults.

CC3001 - ECTS

Study and implementation of a compiler and interpreter of a programming language.

F3001 - ECTS

This course provides an introduction to electric circuit theory, basic analog electronics and digital systems.

CC3010 - ECTS
The internship aims to assess the students' ability to meet the real world challenges and to promote their professional integration in IT companies.

CC3011 - ECTS
Provide a first contact with research to students by engaging them in a non trivial task normaly associated with research topics within projects lead by our faculty.

CC3002 - ECTS

This is an introductory course on data communication networks aimed at familiarizing the students with their fundamental concepts, based on the Internet and the TCP/IP protocol stack.

CC3008 - ECTS

The goal of this curricular unit is the familiarization of the students with the concepts and technologies used in the development of applications centered on the web.

CC3018 - ECTS

Consolidating and enrich the knowledge on networks previously gained by the students, providing them with the necessary skills for the configuration, maintenance and monitoring and troubleshooting IP networks with static or dynamic routing and the respective basic services.

CC3034 - ECTS

The objective of this course is to introduce students to the conceptual models and software tools used in large software development projects.

CC3004 - ECTS

Study and comparison of different (Turing-complete) models of computation, their computational power and limitations. Study of the various complexity classes of problems.

After completing this course students are expected to

- know the classical models of computation;

- be able to prove the equivalence of several Turing-complete models;

- know the fundamental results and methods used in the study of computability and complexity;

- be able to classify concrete examples of problems and prove their (un)decidability within several classes of computability;

- be able to classify concrete problems about their time complessity, and understand the consequences of that classification.

CC3010 - ECTS
The internship aims to assess the students' ability to meet the real world challenges and to promote their professional integration in IT companies.

CC3011 - ECTS
Provide a first contact with research to students by engaging them in a non trivial task normaly associated with research topics within projects lead by our faculty.

CC3003 - ECTS

Students should:

- get familiar with techniques of operations research and constraint programming

and their application to modeling and solving deterministic and stochastic decision and optimization problems.

- develop skills for understanding computational complexity of concrete problems, and choosing algorithms, programming languages and libraries/APIs for solving them.

CC4010 - ECTS

This course is about designing algorithms for computational problems, and how to think clearly about analyzing correctness and running time. The main goal is to provide the intellectual tools needed for designing and analyzing your own algorithms for new problems you need to solve in the future.

CC4014 - ECTS

Introduce the students to advanced concepts on the theory and practice of computational models for parallel and distributed memory architectures. Hands-on experience on programming distributed memory architectures with MPI, and programming shared memory architectures using processes, threads and OpenMP.

CC4017 - ECTS

Cryptography has evolved, in the as decades, from an obscure branch of knowledge used only by military departments and spies to an essential component of digital communication and software writing. With the dematerialisation of a large number of human activities, it is crucial to use cryptography to ensure a large set of properties that are inherent to "real life" activities. This is why cryptography has such an essential role both in internet protocols as in other digital communication systems.

The objective is:

1- Understand the security problem with computer networks as well as security problems in general.

2 - To get acquainted to a sufficient large set of cryptographic protocols such that it is possible to port "real life" activities to the digital realm.

3- The study of cryptographic algorithms and their possible applications.

CC4018 - ECTS

This unit has as main objectives to provide an introduction to the main data mining methodologies and also to convey knowledge on programming and tools for data analysis using R language.

CC4013 - ECTS

Study of syntactic an semantic formal models of programming language, in order to provide a deep understanding of the mechanisms behind programming language definition, design, and implementation.

CC4005 - ECTS

CC4001 - ECTS

The main goal of this unit is to introduce the students to structured documents based on the XML (eXtended Markup Language) formalism and its processing.

The objectives of this unit include knowledge of concepts and basic norms, as well as languages related to the several facets of structured document processing, such as: typing, graphical formatting, transformation and semantics. Data manipulation in XML format from programs and web service implementation for communication among heterogeneous systems is also addressed.

CC4039 - ECTS

Knowledge of the fundamental principles of the operation of mobile communication networks, focusing on: the key technological aspects; the 2nd, 3rd, and 4th generation mobile networks; and the main services provided by mobile communication networks.

CC4003 - ECTS

We aim to provide students with an introduction to the fundamental problems in the design and implementation of distributed systems. On completing this course, students must be able to:

(a) Explain what is a distributed system, why should an application be built as a distributed system, and what are the desirable properties of such systems;

(b) Describe the principles guiding the construction of distributed systems, the main problems and associated challenges, and perceive the efficiency and limitations of proposed solutions;

(c) Build systems that use basic OS mechanisms such as UNIX sockets, as well as higher level middleware RMI and Web Services.

CC4019 - ECTS

The aim of of information theory is to expose fundamental concepts related to information and its applications in systems and communications networks and computer science.

CC4037 - ECTS

This course aims to dig deeper into select topics of data networks. It goes wireless, mobile, deals with some operators technologies and some research proposals. There is a balance of lectures and lab work that touches the subjects of the course, so that the student is able to apply the theoretical knowledge in practical examples.

CC4016 - ECTS
This module will present generic computer vision topics to the students, namely: image capturing technology, core image and video processing algorithms, basic pattern recognition algorithms, computer vision application fields.

CC4021 - ECTS
Our goal i ssto educate the student in the main concepts and techniques current;y used in the importnat area of compational biology. Ultimately, our goal is that the student wil be able to actually address new computationally significant tasks in the area.

CC4011 - ECTS

We will study some techniques that prove or suggest that there are no known eficient method to solve some important problems in computer science. We will study several complexity classes and their relationship, namely: P, NP, co-NP, PH, RP, BPP, IP. Special emphasis will be given to the role of randomness in the performance of several algorithms.

CC4009 - ECTS

*The proposed syllabus is taught in lecture classes where the main concepts are introduced and applied examples related to film, games and medical applications are presented. During the labs students will solve practical assignments related to the concepts presented during the lectures by implementing the solutions in C++ or Python using OpenGL. Students must demonstrate that they are capable of understanding advance topics by presenting an article related to one of the subjects presented during the lectures. All learning outcomes are then integrated into a project achieved during the labs. *

CC4024 - ECTS

Identification and application of data mining techniques to extract knowledge from different data sources (e.g. text, web).

CC4023 - ECTS

Introduction to the design principles and implementation techniques of declarative programming languages.

CC4006 - ECTS
Introduction to security issues in data networks and information systems. Obtain detailed knowledge on the main vulnerabilities of operating systems and communication networks. Presentation of methodologies to build systems capable of resisting attacks, operational errors and other intelligent adversarial induced occurrences. Study of tools, processes and methods to plan, implement and test secure systems and adapt current systems taking into accounting the evolving environment.

CC4040 - ECTS

Introduction to the fundamental issues in the design and implementation of hardware and software solutions for embedded systems.

Present to students the capabilities and limitations of these systems and the rationale behind their wide usage in different enviroments.

Introduce the students to development in these platforms, providing and enviroment for work organization within the teams.

CC4020 - ECTS
To improve background on techniques for designing algorithms and analysing their correctness and complexity.

To know and apply methods for finding exact and approximate solutions for hard problems.

To know and apply methods for finding exact and approximate solutions for hard problems.

CC4007 - ECTS

Learn advanced concepts of databases, namely through the inclusion of the use of relational databases in generic programming languages. Students learn will special emphasis the application programming interfaces (APIs) in C language of relational database management systems, such as MySQL. They develop the ability to augment such system through modules written in C language. Learning of concepts of spatial database, through the study of the PostGIS module. Spatial SQL. Data warehousing and advanced aggregation operators.

CC4022 - ECTS
This course is centered on the synergies in the association of machine learning / deep learning and search / optimization methods. Based on the latest developments on search, deep learning, and reinforcement learning; these methods are considered to provide computers with quasi-human-level performance. The aim is to allow useful available information to be efficiently extracted from massive data sets (machine learning) and turned into actionable decisions (operations). Applications range from computer vision and speech recognition to high-level decision support systems, including human health, transportation and logistics, commerce and information services, and energy networks.

The course will deepen competences acquired in "Algorithm Design and Analysis" and in "Artificial Intelligence".

The course will deepen competences acquired in "Algorithm Design and Analysis" and in "Artificial Intelligence".

CC4028 - ECTS

Stengthen functional programming slills with emphasis em advanced techniques for improving modularity e correctness in software construction.

Stengthen functional programming slills with emphasis em advanced techniques for improving modularity e correctness in software construction.

CC4008 - ECTS

**To understand current trends in Program Verification techniques and approaches, to the certification of program properties, namely model checking and deductive methods.**

GES4001 - ECTS

The purpose of this course is to provide students with:

- A global vision on organization’s management and an comprehensive knowledge on the major strategically issues that enterprises have to deal with;
- An understanding of financial and economical analysis needed to evaluate financial and accounting reporting information;
- The basic skills on entrepreneurship matters that may allow students to built their own business or financial project.

CC5001 - ECTS

DPI4001 - ECTS

CC5004 - ECTS

Copyright 1996-2022 © Faculdade de Ciências da Universidade do Porto
I Terms and Conditions
I Acessibility
I Index A-Z
I Guest Book

Page created on: 2022-09-25 at 18:22:02 | Reports Portal

Page created on: 2022-09-25 at 18:22:02 | Reports Portal