Computational Logic TU Wien
- Kurzinfo
-
- Abschluss Master of Science (M.Sc.)
- Regelstudienzeit 4 Semester
- Campus Wien
- ECTS 120
Den Studiengang "Computational Logic" an der staatlichen "TU Wien" studierst Du in der Regel 4 Semester. Du beendest Dein Studium nach bestandener Prüfung mit dem Abschluss "Master of Science (M.Sc.)". Das Studium findet in Wien statt. Leider wurde das Studium bisher noch nicht bewertet.
- Beschreibung
-
Studiengangsprofil
Der Europäische Master-Studiengang Computational Logic ist ein international verteilter Master of Science Studiengang der Informatik-Abteilungen von fünf kooperierenden Universitäten: Technische Universität Dresden, Universidade Nova de Lisboa, Libera Università di Bolzano, Universidad Politécnica de Madrid, und der Technischen Universität Wien.
- Inhalte
-
Inhalte
- Semantic Web
- Beweistheorie
- Datenbanksysteme
- Knowledge Management
- Kryptographie
- Computational Equational Logic
- Datenbanktheorie
- Logik
- Theoretische Informatik