066 011 Master programme Double degree programme "Computational Logic (Erasmus-Mundus)"

  • Show all courses of the academic year of which the selected semester is part of.

2022W-2023S (2006U)

TitlePrecon.HoursECTS
Master programme Double degree programme "Computational Logic (Erasmus-Mundus)"
120.0
Lehrveranstaltungen an der TU Wien
VO AKLOG: Lambda Kalkül
3.0
108.030 VO 2022W
2.03.0
PR Semantic Web
6.0
PR Project in Computational Logic
16.0
PR Integrierte Logische Systeme
6.0
PR Project in Computational Logic
16.0
SE AKLOG. Seminar aus Logik
3.0
118.051 SE 2022W
2.03.0
VO AKLOG. Beweistheorie 1
3.0
118.131 VO 2022W
2.03.0
VL Datenbanksysteme
6.0
PR Project in Computational Logic
16.0
PR Project in Computational Logic
16.0
PR Freifachpraktikum
6.0
VO AKLOG: Beweistheorie 2
3.0
118.211 VO 2023S
Proof Theory 2   Distance Learning
Distance Learning: Course is held predominantly online
2.03.0
VO AKLOG: Temporal Logic
1.5
VU Web Data Extraction and Integration
3.0
VL Semistrukturierte Daten
3.0
VU Komplexitätstheorie
3.0
181.142 VU 2022W
2.03.0
VO Knowledge Management
3.0
SE Seminar aus theoretischer Informatik
3.0
VU Machine Learning
3.0
VU Advanced Database Systems
3.0
VL Logikorientierte Programmierung
3.0
VU Complexity Analysis
3.0
VU Theory of Knowledge Representation
3.0
2.03.0
VU Kryptographie
3.0
VU Termersetzungssysteme
3.0
VU Nichtklassische Logiken
3.0
VU Mathematische Logik 2
3.0
VU Modallogik, Epistemische Logik
3.0
VU Unifikationstheorie
3.0
VU Computational Equational Logic
3.0
VU Lambda Kalkuel
3.0
SE Seminar aus Theoretischer Informatik und Logik
3.0
VU Logiken hoeherer Stufe
3.0
SE Seminar aus Theoretischer Informatik und Logik
3.0
VO Fuzzy Logik
3.0
VU Datenbanktheorie
3.0
181.140 VU 2022W
2.03.0
VU Applied Web Data Extraction and Integration
3.0
VU Problem Solving and Search in Artificial Intelligence
3.0
2.03.0
VL Fortgeschrittene funktionale Programmierung
3.0
VO Verarbeitung deklarativen Wissens
3.0
2.03.0
VU Mathematische Logik 1
3.0
VO Deduktive Datenbanken
3.0
SE Seminar aus Datenbanken
3.0
181.201 SE 2022W
2.03.0
VU Nichtmonotones Schließen
3.0
VL Logikorientierte Programmierung
3.0
SE Seminar aus Theoretischer Informatik
3.0
SE Seminar aus Theoretischer Informatik
3.0
2.03.0
SE Seminar aus Artificial Intelligence
3.0
2.03.0
SE Seminar aus Logik
3.0
184.264 SE 2022W
2.03.0
SE Seminar aus Logik
3.0
SE Seminar aus Logik
3.0
SE Seminar aus Theoretischer Informatik
3.0
SE Seminar aus Logik
3.0
SE Seminar aus Artificial Intelligence
3.0
VU Technologien für das Semantische Web
3.0
VO Knowledge Management
3.0
UE Knowledge Management
2.03.0
VU Mathematische Logik 2
3.0
VU Der Epsilon Kalkuel
3.0
104.425 VU 2023S
The Epsilon Calculus   Distance Learning
Distance Learning: Course is held predominantly online
2.03.0
VU Abstract Argumentation
3.0
184.682 VU 2022W
3.03.0
VU Probabilistisches Schließen
2.03.0
VU Theorie der Berechenbarkeit
2.03.0
SE Kryptographie
2.03.0
VU Automated Deduction
4.06.0
VU Semantik von Programmiersprachen
3.04.5
VU Computer-Aided Verification
2.03.0
181.145 VU 2022W
Computer Aided Verification   Distance Learning
Distance Learning: Course is held predominantly online
2.03.0
VO History of Logic
2.03.0
VU Maschine Learning
3.04.5
184.702 VU 2023S
3.04.5
184.702 VU 2022W
3.04.5
VU Advanced Mathematical Logic
2.03.0
SE AKLOG Seminar aus Beweistheorie
2.03.0
VU Fixed-Parameter Algorithms and Complexity
3.04.5
3.04.5
Prüfungsfach Diplomarbeit
30.0
SE Seminar für Diplomand_innen
1.01.5
180.773 SE 2022W
Seminar for Master Students in Logic and Computation   Distance Learning
Distance Learning: Course is held predominantly online
1.01.5
Modul Kommissionelle Abschlussprüfung
1.5
Modul Diplomarbeit
27.0
Responsible dean of academic affairs
For questions regarding the curriculum please contact the responsible dean of academic affairs.

Legend

Courses belong to the introductory and orientation phase ("Studieneingangs- und Orientierungsphase")
Courses belong to the introductory interview ("Studieneingangsgespräch")
Courses require the completion of the introductory and orientation phase
Courses require the completion of the introductory interview STEG
Distance Learning
Distance Learning: Course is held predominantly online