066 011 Masterstudium DDP Computational Logic (Erasmus-Mundus)

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

2018W-2019S (2006U)

Ohne Semesterempfehlung

TitelAnm.Bed.StundenECTS
VO AKLOG: Lambda Kalkül
3.0
108.030 VO 2018W
2.03.0
PR Semantic Web
6.0
PR Project in Computational Logic
16.0
8.016.0
8.016.0
PR Integrierte Logische Systeme
6.0
PR Project in Computational Logic
16.0
8.016.0
SE AKLOG. Seminar aus Logik
3.0
118.051 SE 2019S
2.03.0
VO AKLOG. Beweistheorie 1
3.0
118.131 VO 2018W
2.03.0
VL Datenbanksysteme
6.0
PR Project in Computational Logic
16.0
8.016.0
8.016.0
PR Project in Computational Logic
16.0
8.016.0
8.016.0
PR Freifachpraktikum
6.0
VO AKLOG: Beweistheorie 2
3.0
118.211 VO 2019S
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
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
2.03.0
VU Theory of Knowledge Representation
3.0
2.03.0
VU Kryptographie
3.0
184.189 VU 2018W
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
2.03.0
VU Applied Web Data Extraction and Integration
3.0
VU Problem Solving and Search in Artificial Intelligence
3.0
2.03.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 2019S
2.03.0
181.201 SE 2018W
2.03.0
VU Nichtmonotones Schließen
3.0
184.188 VU 2019S
2.03.0
184.188 VU 2018W
2.03.0
VL Logikorientierte Programmierung
3.0
SE Seminar aus Theoretischer Informatik
3.0
SE Seminar aus Theoretischer Informatik
3.0
2.03.0
2.03.0
SE Seminar aus Artificial Intelligence
3.0
2.03.0
2.03.0
SE Seminar aus Logik
3.0
184.264 SE 2019S
2.03.0
184.264 SE 2018W
2.03.0
SE Seminar aus Logik
3.0
185.316 SE 2019S
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
2.03.0
SE Seminar aus Artificial Intelligence
3.0
2.03.0
VU Technologien für das Semantische Web
3.0
VO Knowledge Management
3.0
188.483 VO 2018W
2.03.0
UE Knowledge Management
2.03.0
188.486 UE 2018W
2.03.0
VU Mathematische Logik 2
3.0
VU Der Epsilon Kalkuel
3.0
104.425 VU 2018W
2.03.0
VU Abstract Argumentation
3.0
184.682 VU 2018W
3.03.0
VU Probabilistisches Schließen
2.03.0
VU Theorie der Berechenbarkeit
2.03.0
185.203 VU 2019S
2.03.0
SE Kryptographie
2.03.0
VU Automated Deduction
4.06.0
184.774 VU 2019S
4.06.0
VU Semantik von Programmiersprachen
3.04.5
3.04.5
SE Seminar in Artificial Intelligence
2.03.0
2.03.0
2.03.0
2.03.0
2.03.0
2.03.0
VU Computer-Aided Verification
2.03.0
181.145 VU 2019S
2.03.0
VO Geschichte der Logik
2.03.0
184.266 VO 2019S
2.03.0
VU Maschine Learning
3.04.5
184.702 VU 2019S
3.04.5
184.702 VU 2018W
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
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