Computational Logic

Cycle

Segundo ciclo

Degree

Mestre

Coordinator

Pedro Manuel Corrêa Calvente Barahona

Vacancies

10 vagas

Fees

3.000 €

Education objectives

The objective of the program is to impart to the students the profound theoretical and practical knowledge required for professional practice in the field, to give them a survey of the individual disciplines of Computational Logic and to develop their ability to work according to scientific methods. In addition, the students are given the opportunity to plan their studies to fit a particular practical application. To acquire practice-oriented knowledge they may choose appropriate combinations of modules. By means of visits abroad and English as the language of instruction, the students are to be prepared for the increasing internationalism of science, commerce and industry.

The focus of instruction lies in the following areas: mathematical logic, logic programming, deduction systems, knowledge representation, artificial intelligence, methods of formal specification and verification, inference techniques, syntax-directed semantics, and the relationship between theoretical computer science and logic.

The further qualification for professional practice and research obtained by the European Master''''''''''''''''s Program in Computational Logic is determined by the Master''''''''''''''''s examination. The examination provides a means to determine whether the candidate has a scientific overview of his field, whether he has acquired the technical knowledge and skills required for professional practice and whether he is capable of applying knowledge and scientific methods independently. On successful completion of the examination, both the visiting universities award a master degree. The certificates indicate that the degree was obtained in the European Master''''''''''''''''s Program in Computational Logic.

Students will be prepared for a future PhD, they will come into contact with the international research community and will be integrated into ongoing research projects. They will develop competence in foreign languages and international relationships, thereby improving their social skills.

Degree pre-requisites

Duration: 2 years
Credits: 120 ECTS

Mandatory scientific areas:

Área científica	Sigla	ECTS
		Mandatory	Optional
Informatics	I	80	36
Social Sciences and Humanities	CHS	4	-
TOTAL		84	36

 

Access to other courses

Access to third cycles

Structure

1.º Semester
Code	Name	ECTS
11226	Foundations of Computational Logic	9.0
11227	Logic and Constraint Programming	9.0
Options
11234	Scientific and Technical Communication	4.0
11475	Scientific and Technical Communication A	2.0

1.º Semester - Módulo Avançado I
Code	Name	ECTS
Options
8283	Concepts and Technologies of XML	6.0
10799	Search and Optimization	6.0
11164	Constraint Programming	6.0
3336	Knowledge Representation and Reasoning	6.0
8292	Multi-Agent Systems	6.0
8293	Semantic Web	6.0

2.º Semester
Code	Name	ECTS
11228	Advanced Logics	8.0
11229	Integrated Logic Systems	8.0

2.º Semester - Módulo Avançado II
Code	Name	ECTS
Options
8283	Concepts and Technologies of XML	6.0
10799	Search and Optimization	6.0
11164	Constraint Programming	6.0
3336	Knowledge Representation and Reasoning	6.0
8292	Multi-Agent Systems	6.0
8293	Semantic Web	6.0

3.º Semester
Code	Name	ECTS
11231	Project	16.0

3.º Semester - Módulo Avançado III
Code	Name	ECTS
Options
8283	Concepts and Technologies of XML	6.0
10799	Search and Optimization	6.0
11164	Constraint Programming	6.0
3336	Knowledge Representation and Reasoning	6.0
8292	Multi-Agent Systems	6.0
8293	Semantic Web	6.0

3.º Semester - Presentation and Communication Skills
Code	Name	ECTS
Options
11234	Scientific and Technical Communication	4.0
11475	Scientific and Technical Communication A	2.0

4.º Semester
Code	Name	ECTS
11230	Computational Logic Master Thesis	30.0