066 011 Masterstudium DDP Computational Logic (Erasmus-Mundus)

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

2020W-2021S (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 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 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
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
Komplexitätstheorie   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
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
184.186 VU 2020W
Theory of Knowledge Representation   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
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 2020W
Datenbanktheorie   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
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
184.205 VO 2020W
Verarbeitung deklarativen Wissens   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
2.03.0
VU Mathematische Logik 1
3.0
VO Deduktive Datenbanken
3.0
SE Seminar aus Datenbanken
3.0
181.201 SE 2020W
Seminar aus Datenbanken   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
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 2020W
Seminar aus Theoretischer Informatik   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
2.03.0
SE Seminar aus Artificial Intelligence
3.0
184.068 SE 2020W
Seminar aus Artificial Intelligence   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
2.03.0
SE Seminar aus Logik
3.0
184.264 SE 2020W
Seminar aus Logik   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
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 2020W
Knowledge Management   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
2.03.0
UE Knowledge Management
2.03.0
188.486 UE 2020W
Knowledge Management   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
2.03.0
VU Mathematische Logik 2
3.0
VU Der Epsilon Kalkuel
3.0
VU Abstract Argumentation
3.0
184.682 VU 2020W
Abstract Argumentation   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
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
VO Geschichte der Logik
2.03.0
VU Maschine Learning
3.04.5
184.702 VU 2020W
Machine Learning   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
3.04.5
VU Advanced Mathematical Logic
2.03.0
SE AKLOG: Seminar aus Beweistheorie
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: Lehrveranstaltung wird überwiegend online abgehalten
2.03.0
Prüfungsfach Diplomarbeit
30.0
SE Seminar für Diplomand_innen
1.01.5
180.773 SE 2020W
Seminar für Diplomand_innen für Logic and Computation   Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten
1.01.5
Modul Kommissionelle Abschlussprüfung
1.5
Modul Diplomarbeit
27.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
Distance Learning
Distance Learning: Lehrveranstaltung wird überwiegend online abgehalten