Master programme Double degree programme "Computational Logic (Erasmus-Mundus)" | | | 120.0 |
Lehrveranstaltungen an der TU Wien | | | |
VO AKLOG: Lambda Kalkül | | | 3.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 |
VO AKLOG. Beweistheorie 1 | | | 3.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 |
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 |
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 |
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 |
VU Mathematische Logik 1 | | | 3.0 |
VO Deduktive Datenbanken | | | 3.0 |
SE Seminar aus Datenbanken | | | 3.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 |
SE Seminar aus Artificial Intelligence | | | 3.0 |
SE Seminar aus Logik | | | 3.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.0 | 3.0 |
VU Mathematische Logik 2 | | | 3.0 |
VU Der Epsilon Kalkuel | | | 3.0 |
VU Abstract Argumentation | | | 3.0 |
VU Probabilistisches Schließen | | 2.0 | 3.0 |
VU Theorie der Berechenbarkeit | | 2.0 | 3.0 |
SE Kryptographie | | 2.0 | 3.0 |
VU Automated Deduction | | 4.0 | 6.0 |
VU Semantik von Programmiersprachen | | 3.0 | 4.5 |
VU Computer-Aided Verification | | 2.0 | 3.0 |
VO History of Logic | | 2.0 | 3.0 |
VU Maschine Learning | | 3.0 | 4.5 |
VU Advanced Mathematical Logic | | 2.0 | 3.0 |
VU Fixed-Parameter Algorithms and Complexity | | 3.0 | 4.5 |
Prüfungsfach Diplomarbeit | | | 30.0 |
SE Seminar für Diplomand_innen | | 1.0 | 1.5 |
Modul Kommissionelle Abschlussprüfung | | | 1.5 |
Modul Diplomarbeit | | | 27.0 |
