066 011 Masterstudium DDP Computational Logic (Erasmus-Mundus)

  • Zeige alle LVAs des Studienjahres an, in dem das ausgewählte Semester liegt.

2019W-2020S (2006U)

TitelAnm.Bed.StundenECTS
Masterstudium DDP Computational Logic (Erasmus-Mundus)
120.0
Lehrveranstaltungen an der TU Wien
VO AKLOG: Lambda Kalkül
3.0
108.030 VO 2019W
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
8.016.0
8.016.0
SE AKLOG. Seminar aus Logik
3.0
118.051 SE 2020S
2.03.0
118.051 SE 2019W
2.03.0
VO AKLOG. Beweistheorie 1
3.0
118.131 VO 2019W
2.03.0
VL Datenbanksysteme
6.0
PR Project in Computational Logic
16.0
8.016.0
PR Project in Computational Logic
16.0
8.016.0
PR Freifachpraktikum
6.0
VO AKLOG: Beweistheorie 2
3.0
118.211 VO 2020S
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
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 2019W
2.03.0
VU Applied Web Data Extraction and Integration
3.0
VU Problem Solving and Search in Artificial Intelligence
3.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 2019W
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 2019W
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
188.483 VO 2019W
2.03.0
UE Knowledge Management
2.03.0
188.486 UE 2019W
2.03.0
VU Mathematische Logik 2
3.0
VU Der Epsilon Kalkuel
3.0
104.425 VU 2020S
2.03.0
VU Abstract Argumentation
3.0
184.682 VU 2019W
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
184.774 VU 2020S
4.06.0
VU Semantik von Programmiersprachen
3.04.5
SE Seminar in Artificial Intelligence
2.03.0
2.03.0
VU Computer-Aided Verification
2.03.0
VO Geschichte der Logik
2.03.0
VU Maschine Learning
3.04.5
184.702 VU 2019W
3.04.5
VU Advanced Mathematical Logic
2.03.0
104.394 VU 2020S
2.03.0
SE AKLOG: Seminar aus Beweistheorie
2.03.0
VU Fixed-Parameter Algorithms and Complexity
2.03.0
2.03.0
Verantwortliche_r Studiendekan_in
Bei Fragen zum Curriculum wenden Sie sich bitte an eine_n der verantwortlichen Studiendekan_innen.

Legende

Lehrveranstaltungen gehören zur Studieneingangs- und Orientierungsphase STEOP
Lehrveranstaltungen gehören zum Studieneingangsgespräch STEG
Lehrveranstaltungen erfordern die Erfüllung der Studieneingangs- und Orientierungsphase STEOP
Lehrveranstaltungen erfordern die Erfüllung des Studieneingangsgesprächs STEG