Studiengang Computational Logic (Master)
akkreditiert

Informationen gültig bis Mai 2019, Änderungen vorbehalten.
Abschluss
Master of Science
Regelstudienzeit Vollzeitstudium
4 Semester
Unterrichtssprache
Englisch
Studiengebühren pro Semester
Semesterbeitrag, sowie gegebenenfalls Zweit- und Langzeitstudiengebühren
Studienart
Direktstudium
Studientyp
weiterführend
Bewerbungsmodalitäten für deutsche Studienbewerber und Bildungsinländer

1. Fachsemester

Zulassungsbeschränkung
zulassungsfrei mit Eignungsfeststellung
Studienbeginn
Wintersemester
Bewerbungszeitraum
1. Juni - 15. Juli
Bewerbungsportal
So bewerben Sie sich
Eignungsfeststellungsverfahren
Details siehe unten

Höhere Fachsemester

Zulassungsbeschränkung
zulassungsfrei
Studienbeginn
Wintersemester, Sommersemester
Bewerbungszeitraum (Wintersemester)
1. Juni - 15. September
Bewerbungszeitraum (Sommersemester)
1. Dezember - 15. März
Bewerbungsportal
So bewerben Sie sich
Bewerbungsmodalitäten für ausländische Studienbewerber

1. Fachsemester

Zulassungsbeschränkung
zulassungsfrei mit Eignungsfeststellung
Studienbeginn
Wintersemester
Bewerbungszeitraum Nicht-EU Bewerber
1. April - 31. Mai
Bewerbungszeitraum EU Bewerber
1. April - 15. Juli
Bewerbungsportal
So bewerben Sie sich
Eignungsfeststellungsverfahren
Details siehe unten

Inhaltsverzeichnis

Studienvoraussetzungen

Benötigt werden:
• ein erster berufsqualifizierter Hochschulabschluss in Informatik, in Mathematik oder ein vergleichbarer Abschluss
• gute Englischkenntnisse (B2+) (TOEFL 550/213/80 (schriftlich/computerbasiert/internetbasiert)oder IELTS- Test 6,0 Punkte o. ä.) und
• mit mindestens „gut“ benotete Kenntnisse in den Bereichen:
- Grundlagen der mathematischen Logik,
- Grundlagen der theoretischen Informatik,
- Grundlagen der künstlichen Intelligenz,
- Deklarative Programmierung

Eignungsfeststellungsverfahren

Eignungsfeststellungsordnung auf der Seite des Studiengangs

Hinweise zur Bewerbung

Liegt zum Zeitpunkt der Antragstellung der Nachweis des ersten berufsqualifizierenden Hochschulabschlusses noch nicht vor, wird der Bewerber auch dann in das Eignungsfeststellungsverfahren einbezogen, wenn bereits 80 % der durch den Hochschulabschluss erreichbaren Leistungspunkte aufgrund von abgeschlossenen Modulprüfungen oder auch der Abschlussarbeit und ggf. des Kolloquiums durch Bescheinigung der Herkunftshochschule (Prüfungsamt) nachgewiesen werden. Das entsprechende Formular finden Sie auf den Seiten des Immatrikulationsamtes.

Allgemeines zum Studiengang

Die "Künstliche Intelligenz" ist eine der wichtigsten Zukunftstechnologien. Im Masterprogramm Computational Logic wird den Studierenden das fundierte und für die Berufspraxis erforderliche theoretische und praktische Wissen der auf Logik basierenden Künstlichen Intelligenz vermittelt. Dazu gehört insbesondere auch die Fähigkeit zum eigenständigen, wissenschaftlichen Arbeiten.

Basierend auf einem soliden Fachwissen in den Bereichen der mathematischen Logik, der theoretischen Informatik und der Künstlichen Intelligenz erlernen die Studierenden die technischen Aspekte der auf Logik basierenden Künstlichen Intelligenz beziehungsweise der "Computational Logic”.

Es besteht die Möglichkeit für Studienaufenthalte an Partneruniversitäten in Italien, Österreich und Portugal mit dem Ziel eines gemeinsamen Masterabschlusses (Joint Degree).

Studieninhalt

Informationen zum Studieninhalt entnehmen Sie bitte der Studiengangshomepage bzw. der Studienordnung.

Zur Modulbeschreibung

Auslandsaufenthalt

Lust auf ein Semester im Ausland? Auslandssemester, -praktika oder Sprachkurse – als Student/in profitieren Sie auf jeden Fall von einem Auslandsaufenthalt. Sie können Ihre Fach- und Sprachkenntnisse verbessern, Kontakte knüpfen, Freunde gewinnen, andere Kulturen kennenlernen und vieles mehr. Mehr Informationen gibt es auf den Seiten des Akademischen Auslandsamtes.

Doppelabschlüsse

In Kooperation mit folgenden Universitäten werden Doppelabschlüsse angeboten:

Nähere Informationen auf den Seiten der Fakultät Informatik

Studiendokumente

Die Amtlichen Bekanntmachungen der TU Dresden beinhalten alle veröffentlichten Ordnungen. Benutzen Sie die Suchmöglichkeiten, um die gewünschten Dokumente zu finden: Amtliche Bekanntmachungen

Zusätzlich sind die Ordnungen auf den Seiten der Fakultät auffindbar.

  • Prüfungsordnung
  • Studienordnung
  • Eignungsfeststellungsordnung

... finden Sie auf der entsprechenden Fakultätsseite.

Kontakt

Immatrikulationsamt

Name

ServiceCenterStudium

Kontaktinformationen
Organisationsname

Admissions Office

Immatrikulationsamt

Postanschrift:

Postanschrift:

Technische Universität Dresden
Immatrikulationsamt
01062 Dresden

Sprechzeiten:

Öffnungszeiten

Fakultät Informatik

Name

Fachberater

Herr Prof. Dr. Steffen Hölldobler

Kontaktinformationen
Organisationsname

Fakultät Informatik

Fakultät Informatik

Postanschrift:

Postanschrift:

TU Dresden
Fakultät Informatik
01062 Dresden

Sprechzeiten:

Bitte Termin vereinbaren bzw. Sprechzeiten beachten.

Akademisches Auslandsamt

Name

Akademisches Auslandsamt

Kontaktinformationen
Organisationsname

International Office

Akademisches Auslandsamt

Postanschrift:

Postanschrift:

TU Dresden
Akademisches Auslandsamt
01062 Dresden

Sprechzeiten:

Öffnungszeiten

Weitere Informationen

Zu dieser Seite

Letzte Änderung: 24.04.2018