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

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

2019W-2020S (2006U)

Attention! This is a discontinued curriculum.
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 2019W
Lambda Calculus
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
185.302 PR 2019W
Project in Computational Logic
8.016.0
SE AKLOG. Seminar aus Logik
3.0
118.051 SE 2020S
Seminar in Logic
2.03.0
118.051 SE 2019W
Seminar in Logic
2.03.0
VO AKLOG. Beweistheorie 1
3.0
118.131 VO 2019W
Proof Theory 1
2.03.0
VL Datenbanksysteme
6.0
PR Project in Computational Logic
16.0
184.191 PR 2019W
Project in Computational Logic
8.016.0
PR Project in Computational Logic
16.0
181.222 PR 2020S
Project in computational logic
8.016.0
181.222 PR 2019W
Project in computational logic
8.016.0
PR Freifachpraktikum
6.0
VO AKLOG: Beweistheorie 2
3.0
118.211 VO 2020S
Proof Theory 2
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 2019W
Complexity theory
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
184.215 VU 2020S
Complexity Analysis
2.03.0
VU Theory of Knowledge Representation
3.0
184.186 VU 2019W
Theory of Knowledge Representation
2.03.0
VU Kryptographie
3.0
VU Termersetzungssysteme
3.0
185.224 VU 2020S
Term Rewriting Systems
2.03.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 2019W
Database Theory
2.03.0
VU Applied Web Data Extraction and Integration
3.0
VU Problem Solving and Search in Artificial Intelligence
3.0
181.190 VU 2020S
Problem Solving and Search in Artificial Intelligence
2.03.0
VL Fortgeschrittene funktionale Programmierung
3.0
VO Verarbeitung deklarativen Wissens
3.0
184.205 VO 2019W
Processing of Declarative Knowledge
2.03.0
VU Mathematische Logik 1
3.0
VO Deduktive Datenbanken
3.0
SE Seminar aus Datenbanken
3.0
181.201 SE 2019W
Seminar Database Systems
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
184.067 SE 2020S
Seminar in Theoretical Computer Science
2.03.0
184.067 SE 2019W
Seminar in Theoretical Computer Science
2.03.0
SE Seminar aus Artificial Intelligence
3.0
184.068 SE 2020S
Artificial Intelligence Seminar
2.03.0
184.068 SE 2019W
Artificial Intelligence Seminar
2.03.0
SE Seminar aus Logik
3.0
184.264 SE 2020S
Seminar in Logic
2.03.0
184.264 SE 2019W
Seminar in Logic
2.03.0
SE Seminar aus Logik
3.0
185.316 SE 2020S
Seminar in Logic
2.03.0
SE Seminar aus Logik
3.0
SE Seminar aus Theoretischer Informatik
3.0
SE Seminar aus Logik
3.0
181.206 SE 2020S
Logic seminar
2.03.0
SE Seminar aus Artificial Intelligence
3.0
181.034 SE 2020S
Seminar of Artificial Intelligence
2.03.0
VU Technologien für das Semantische Web
3.0
VO Knowledge Management
3.0
188.483 VO 2019W
Knowledge Management
2.03.0
UE Knowledge Management
2.03.0
188.486 UE 2019W
Knowledge Management
2.03.0
VU Mathematische Logik 2
3.0
VU Der Epsilon Kalkuel
3.0
104.425 VU 2020S
The Epsilon Calculus
2.03.0
VU Abstract Argumentation
3.0
184.682 VU 2019W
Abstract Argumentation
3.03.0
VU Probabilistisches Schließen
2.03.0
VU Theorie der Berechenbarkeit
2.03.0
185.203 VU 2020S
Computability Theory
2.03.0
SE Kryptographie
2.03.0
VU Automated Deduction
4.06.0
184.774 VU 2020S
Automated Deduction
4.06.0
VU Semantik von Programmiersprachen
3.04.5
184.749 VU 2020S
Semantics of Programming Languages
3.04.5
VU Computer-Aided Verification
2.03.0
181.145 VU 2020S
Computer Aided Verification
2.03.0
VO History of Logic
2.03.0
VU Maschine Learning
3.04.5
184.702 VU 2020S
Machine Learning
3.04.5
184.702 VU 2019W
Machine Learning
3.04.5
VU Advanced Mathematical Logic
2.03.0
104.394 VU 2020S
Advanced Mathematical Logic
2.03.0
SE AKLOG: Seminar in Proof Theory
2.03.0
VU Fixed-Parameter Algorithms and Complexity
2.03.0
186.855 VU 2019W
Fixed-Parameter Algorithms and Complexity
2.03.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