Computational Logic

Technische Universität Wien
In Wien (Österreich)

Preis auf Anfrage
Möchten Sie den Bildungsanbieter lieber direkt anrufen?
00 43... Mehr ansehen

Wichtige informationen

  • Master
  • Wien (Österreich)
  • Dauer:
    2 Jahre
Beschreibung

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.

Wichtige informationen
Veranstaltungsort(e)

Wo und wann

Beginn Lage
auf Anfrage
Wien
Karlsplatz 13, 1040, Wien, Österreich
Plan ansehen

Häufig gestellte Fragen

· Voraussetzungen

* Proof of a minimum knowledge of English such as a TOEFL (> written: 550/computer based: 213/internet based: 79) or an IELTS (> 6.0) certificate or equivalent * Bachelor's degree in Computer Science, Mathematics or equivalent * Proof of extensive knowledge in the areas foundations of mathematical logic, foundations of artificial intelligence, and declarative programming is required with a grade equivalent of "good" or "very good". They need to be demonstrated by certificates, examination records or other written academic performance records.

Themenkreis

The European Masters Program in Computational Logic is an international distributed Master of Science study program implemented by the computer science departments of five cooperating universities: Technische Universität Dresden, Universidade Nova de Lisboa, Libera Universitá di Bolzano, Universidad Politécnica de Madrid, and Technische Universität Wien.

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.

Program 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.

Course Structure and Syllabus

The essence of the European Master's Program in Computational Logic is an integrated study program based on

* common and compulsory basic modules comprising 42 ECTS credit points, which are taught at each partner institution,
* selected advanced modules comprising 36 ECTS credit points, which are based on the specific strengths in research of the partner institutions and thus vary from partner to partner,
* a project of 12 ECTS credit points, and
* a research master thesis of 30 ECTS credit points.

Courses and the project are distributed over three terms. They amount to a total of 90 ECTS credit points. In addition 30 ECTS credit points are assigned to the master's thesis and its defense in the fourth term. This results in a 2-year program of 120 ECTS credit points.

The basic modules are offered in the first year by all partner institutions with the common aim of bringing the students to an equivalent level of skills and knowledge. Especially designed bridging courses integrated into the basic modules offered in the first term shall help 3rd country students in their adaptation to a Master's Course of European educational level.

The student's specialization (advanced modules, project and master's thesis) during the second year can also be pursued with all partner institutions, but varies from place to place according to local strengths in teaching and research.

The program normally commences in fall.

31st May noon (CET): first deadline for EU- and non-EU-students.

Students already enrolled at Free University of Bozen-Bolzano, Technische Universität Dresden, Technische Universität Wien, Universidade Nova de Lisboa or Universidad Politécnica de Madrid in a local Master Program on Computational Logic can request to be transferred to the European Master's Program in Computational Logic before 31 October in their first year.

Zusätzliche Informationen

Preisinformation: * Tuition fee for EU students*: 500 € per term * Applicants must be located in a country which is a member state of the European Union, an EEA-EFTA state (Iceland, Norway, Liechtenstein), Switzerland or a candidate country for accession to the EU (presently Croatia, Former Yugoslav Republic of Macedonia - FYROM and Turkey) and which is not eligible for the Erasmus Mundus Grant. * Tuition fee for students from countries which are not mentioned above: 1500 € per term