Computational Logic - European

Technische Universität Dresden
In Dresden

Preis auf Anfrage
Möchten Sie den Bildungsanbieter lieber direkt anrufen?
(0) 3... Mehr ansehen
Vergleichen Sie diesen Kurs mit ähnlichen Kursen
Mehr ansehen

Wichtige informationen

  • Master
  • Dresden
  • 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. By means of visits abroad and English as the language of instruction, the students are...

Wichtige informationen
Veranstaltungsort(e)

Wo und wann

Beginn Lage
auf Anfrage
Dresden
Strasse, 01062, Sachsen, Deutschland
Plan ansehen

Häufig gestellte Fragen

· Voraussetzungen

*Bachelor's degree in Computer Science, Mathematics or a comparable university-equivalent qualification *TOEFL or IELTS-Certificate (for non-native English speakers only) *Foundations of Mathematical Logic *Foundations of Artificial Intelligence *Declarative Programming

Themenkreis

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.

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.

Commencement and Duration of Study

The program normally commences in fall.

The regular period of study including preparation and defense of the MSc thesis comprises four terms.

The course consists of basic units, selected advanced units, a project, and a MSc thesis. All participating universities will offer the foundation units. The advanced units will be different and depend on the participating university.

Students have to select two of the partner universities. They are required to study one year each at the selected universities. They are jointly monitored by two lecturers (tutors), one from each university. Mutual recognition of credits is on the basis of modules, the project and the MSc thesis. On the successful completion of their studies students will receive a double Master's degree from the selected universities.

anguage of instruction: English

Study abroad: one year

31th May deadline:

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

Vergleichen Sie diesen Kurs mit ähnlichen Kursen
Mehr ansehen