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.

2020W-2021S (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 2020W
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 2021S
Seminar in Logic   Distance Learning
Distance Learning: Course is held predominantly online
2.03.0
118.051 SE 2020W
2.03.0
VO AKLOG. Beweistheorie 1
3.0
118.131 VO 2020W
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 2021S
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 2020W
Complexity theory   Distance Learning
Distance Learning: Course is held predominantly online
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 2021S
Complexity Analysis   Distance Learning
Distance Learning: Course is held predominantly online
2.03.0
VU Theory of Knowledge Representation
3.0
184.186 VU 2020W
Theory of Knowledge Representation   Distance Learning
Distance Learning: Course is held predominantly online
2.03.0
VU Kryptographie
3.0
VU Termersetzungssysteme
3.0
185.224 VU 2021S
Term Rewriting Systems   Distance Learning
Distance Learning: Course is held predominantly online
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 2020W
Database Theory   Distance Learning
Distance Learning: Course is held predominantly online
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 2021S
Problem Solving and Search in Artificial Intelligence   Distance Learning
Distance Learning: Course is held predominantly online
2.03.0
VL Fortgeschrittene funktionale Programmierung
3.0
VO Verarbeitung deklarativen Wissens
3.0
184.205 VO 2020W
Processing of Declarative Knowledge   Distance Learning
Distance Learning: Course is held predominantly online
2.03.0
VU Mathematische Logik 1
3.0
VO Deduktive Datenbanken
3.0
SE Seminar aus Datenbanken
3.0
181.201 SE 2021S
Seminar Database Systems   Distance Learning
Distance Learning: Course is held predominantly online
2.03.0
181.201 SE 2020W
Seminar Database Systems   Distance Learning
Distance Learning: Course is held predominantly online
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 2021S
Seminar in Theoretical Computer Science   Distance Learning
Distance Learning: Course is held predominantly online
2.03.0
184.067 SE 2020W
Seminar in Theoretical Computer Science   Distance Learning
Distance Learning: Course is held predominantly online
2.03.0
SE Seminar aus Artificial Intelligence
3.0
184.068 SE 2021S
Artificial Intelligence Seminar   Distance Learning
Distance Learning: Course is held predominantly online
2.03.0
184.068 SE 2020W
Artificial Intelligence Seminar   Distance Learning
Distance Learning: Course is held predominantly online
2.03.0
SE Seminar aus Logik
3.0
184.264 SE 2021S
Seminar in Logic   Distance Learning
Distance Learning: Course is held predominantly online
2.03.0
184.264 SE 2020W
Seminar in Logic   Distance Learning
Distance Learning: Course is held predominantly online
2.03.0
SE Seminar aus Logik
3.0
185.316 SE 2021S
Seminar in Logic   Distance Learning
Distance Learning: Course is held predominantly online
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 2021S
Logic seminar   Distance Learning
Distance Learning: Course is held predominantly online
2.03.0
SE Seminar aus Artificial Intelligence
3.0
181.034 SE 2021S
Seminar of Artificial Intelligence   Distance Learning
Distance Learning: Course is held predominantly online
2.03.0
VU Technologien für das Semantische Web
3.0
VO Knowledge Management
3.0
188.483 VO 2020W
Knowledge Management   Distance Learning
Distance Learning: Course is held predominantly online
2.03.0
UE Knowledge Management
2.03.0
188.486 UE 2020W
Knowledge Management   Distance Learning
Distance Learning: Course is held predominantly online
2.03.0
VU Mathematische Logik 2
3.0
VU Der Epsilon Kalkuel
3.0
104.425 VU 2021S
The Epsilon Calculus   Distance Learning
Distance Learning: Course is held predominantly online
2.03.0
VU Abstract Argumentation
3.0
184.682 VU 2020W
Abstract Argumentation   Distance Learning
Distance Learning: Course is held predominantly online
3.03.0
VU Probabilistisches Schließen
2.03.0
VU Theorie der Berechenbarkeit
2.03.0
185.203 VU 2021S
Computability Theory   Distance Learning
Distance Learning: Course is held predominantly online
2.03.0
SE Kryptographie
2.03.0
VU Automated Deduction
4.06.0
184.774 VU 2021S
Automated Deduction   Distance Learning
Distance Learning: Course is held predominantly online
4.06.0
VU Semantik von Programmiersprachen
3.04.5
184.749 VU 2021S
Semantics of Programming Languages   Distance Learning
Distance Learning: Course is held predominantly online
3.04.5
VU Computer-Aided Verification
2.03.0
181.145 VU 2021S
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 2021S
Machine Learning   Distance Learning
Distance Learning: Course is held predominantly online
3.04.5
184.702 VU 2020W
Machine Learning   Distance Learning
Distance Learning: Course is held predominantly online
3.04.5
VU Advanced Mathematical Logic
2.03.0
104.394 VU 2021S
Advanced Mathematical Logic   Distance Learning
Distance Learning: Course is held predominantly online
2.03.0
SE AKLOG: Seminar in Proof Theory
2.03.0
VU Fixed-Parameter Algorithms and Complexity
2.03.0
186.855 VU 2020W
Fixed-Parameter Algorithms and Complexity   Distance Learning
Distance Learning: Course is held predominantly online
2.03.0
Prüfungsfach Diplomarbeit
30.0
SE Seminar für Diplomand_innen
1.01.5
180.773 SE 2021S
Seminar for Master Students in Logic and Computation   Distance Learning
Distance Learning: Course is held predominantly online
1.01.5
180.773 SE 2020W
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