066 011 Masterstudium DDP Computational Logic (Erasmus-Mundus) (auslaufend)

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

2018W-2019S (2006U)

Achtung! Dies ist ein auslaufendes Studium.

Ohne Semesterempfehlung

TitelAnm.Bed.StundenECTS
VO AKLOG: Lambda Kalkül
3.0
108.030 VO 2018W
AKLOG: Lambda Kalkül
2.03.0
PR Semantic Web
6.0
PR Project in Computational Logic
16.0
181.178 PR 2019S
Project in Computational Logic
8.016.0
181.178 PR 2018W
Project in Computational Logic
8.016.0
PR Integrierte Logische Systeme
6.0
PR Project in Computational Logic
16.0
185.302 PR 2019S
Project in Computational Logic
8.016.0
SE AKLOG. Seminar aus Logik
3.0
118.051 SE 2019S
AKLOG. Seminar aus Logik
2.03.0
VO AKLOG. Beweistheorie 1
3.0
118.131 VO 2018W
AKLOG. Beweistheorie 1
2.03.0
VL Datenbanksysteme
6.0
PR Project in Computational Logic
16.0
184.191 PR 2019S
Project in Computational Logic
8.016.0
184.191 PR 2018W
Project in Computational Logic
8.016.0
PR Project in Computational Logic
16.0
181.222 PR 2019S
Project in Computational Logic
8.016.0
181.222 PR 2018W
Project in Computational Logic
8.016.0
PR Freifachpraktikum
6.0
VO AKLOG: Beweistheorie 2
3.0
118.211 VO 2019S
AKLOG: Beweistheorie 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 2019S
Komplexitätstheorie abgesagt
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 2019S
Complexity Analysis
2.03.0
VU Theory of Knowledge Representation
3.0
184.186 VU 2018W
Theory of Knowledge Representation
2.03.0
VU Kryptographie
3.0
184.189 VU 2018W
Kryptographie
2.03.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 2019S
Datenbanktheorie abgesagt
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 2019S
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 2018W
Verarbeitung deklarativen Wissens
2.03.0
VU Mathematische Logik 1
3.0
VO Deduktive Datenbanken
3.0
SE Seminar aus Datenbanken
3.0
181.201 SE 2019S
Seminar aus Datenbanken
2.03.0
181.201 SE 2018W
Seminar aus Datenbanken
2.03.0
VU Nichtmonotones Schließen
3.0
184.188 VU 2019S
Nichtmonotones Schließen abgesagt
2.03.0
184.188 VU 2018W
Nichtmonotones Schließen
2.03.0
VL Logikorientierte Programmierung
3.0
SE Seminar aus Theoretischer Informatik
3.0
SE Seminar aus Theoretischer Informatik
3.0
184.067 SE 2019S
Seminar aus Theoretischer Informatik
2.03.0
184.067 SE 2018W
Seminar aus Theoretischer Informatik
2.03.0
SE Seminar aus Artificial Intelligence
3.0
184.068 SE 2019S
Seminar in Artificial Intelligence
2.03.0
184.068 SE 2018W
Seminar aus Artificial Intelligence
2.03.0
SE Seminar aus Logik
3.0
184.264 SE 2019S
Seminar aus Logik
2.03.0
184.264 SE 2018W
Seminar aus Logik
2.03.0
SE Seminar aus Logik
3.0
185.316 SE 2019S
Seminar aus Logik
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 2019S
Seminar aus Logik
2.03.0
SE Seminar aus Artificial Intelligence
3.0
181.034 SE 2019S
Seminar aus Artificial Intelligence
2.03.0
VU Technologien für das Semantische Web
3.0
VO Knowledge Management
3.0
188.483 VO 2018W
Knowledge Management
2.03.0
UE Knowledge Management
2.03.0
188.486 UE 2018W
Knowledge Management
2.03.0
VU Mathematische Logik 2
3.0
VU Der Epsilon Kalkuel
3.0
104.425 VU 2018W
Der Epsilon Kalkuel
2.03.0
VU Abstract Argumentation
3.0
184.682 VU 2018W
Abstract Argumentation
3.03.0
VU Probabilistisches Schließen
2.03.0
VU Theorie der Berechenbarkeit
2.03.0
185.203 VU 2019S
Theorie der Berechenbarkeit
2.03.0
SE Kryptographie
2.03.0
VU Automated Deduction
4.06.0
184.774 VU 2019S
Automated Deduction
4.06.0
VU Semantik von Programmiersprachen
3.04.5
184.749 VU 2019S
Semantik von Programmiersprachen
3.04.5
SE Seminar in Artificial Intelligence
2.03.0
181.034 SE 2019S
Seminar aus Artificial Intelligence
2.03.0
184.068 SE 2019S
Seminar in Artificial Intelligence
2.03.0
184.068 SE 2018W
Seminar aus Artificial Intelligence
2.03.0
188.962 SE 2019S
Seminar in Artificial Intelligence
2.03.0
192.086 SE 2019S
Seminar in Artificial Intelligence
2.03.0
VU Computer-Aided Verification
2.03.0
181.145 VU 2019S
Computer Aided Verification
2.03.0
VO Geschichte der Logik
2.03.0
184.266 VO 2019S
Geschichte der Logik
2.03.0
VU Maschine Learning
3.04.5
184.702 VU 2019S
Machine Learning
3.04.5
184.702 VU 2018W
Machine Learning
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 2018W
Fixed-Parameter Algorithms and Complexity
2.03.0

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