Lehrveranstaltungen

Wintersemester 2018/2019

Lehrveranstaltung SWS Module
Automata and Logic 4/2/0 INF‑B‑520, INF‑BAS6, INF‑VERT6, MCL‑KR, MCL‑PI, MCL‑TCSL
Fuzzy Description Logic 2/2/0 INF‑B‑510, INF‑B‑520, INF‑BAS6, INF‑PM‑FOR, INF‑VERT6, MCL‑AI, MCL‑KR, MCL‑TCSL
Informatik für Biologen 2/1/0 INF‑LE‑BIO
Seminar Theoretical Computer Science 0/2/0 INF‑04‑HS, INF‑AQUA, INF‑D‑940, MCL‑PS
Proseminar Ausgewählte Themen der Theoretischen Informatik 0/2/0 INF‑B‑510, INF‑B‑520, INF‑B‑610, INF‑D‑520
Komplexpraktikum Theoretische Informatik 0/0/4
oder 0/0/8
INF‑04‑KP, INF‑MA‑PR, IST‑05‑KP, MINF‑04‑KP‑FG2
Project Group Theoretical Computer Science 0/0/4 MCL‑P
Forschungsprojekt Theoretical Computer Science 8P/PB INF‑PM‑FPG

Sommersemester 2018

Lehrveranstaltung SWS Module
Logic-Based Ontology Engineering 2/2/0 INF‑B‑510, INF‑B‑520, INF‑BAS6, INF‑PM‑FOR, INF‑VERT6, MCL‑ILS
Term Rewriting Systems 4/2/0 INF‑B‑510, INF‑B‑520, INF‑BAS6, INF‑VERT6, MCL‑AI, MCL‑PI, MCL‑TCSL
Einführung in die (theoretische) Informatik 2/2/0 D‑WW‑EINF, INF‑BAWP‑INF‑04, INF‑LE‑WW, INF‑SEBS‑INF‑04, INF‑SEGY‑INF‑04, INF‑SEMS‑INF‑04
Seminar Theoretical Computer Science 0/2/0 INF‑04‑HS, INF‑AQUA, INF‑D‑940, MCL‑PS
Proseminar Ausgewählte Themen der Theoretischen Informatik 0/2/0 INF‑B‑510, INF‑B‑520, INF‑B‑610, INF‑D‑520
Komplexpraktikum Theoretische Informatik 0/0/4
oder 0/0/8
INF‑04‑KP, INF‑MA‑PR, IST‑05‑KP, MINF‑04‑KP‑FG2
Project Group Theoretical Computer Science 0/0/4 MCL‑P
Forschungsprojekt Theoretical Computer Science 8P/PB INF‑PM‑FPG

Vergangene Semester

Lehrveranstaltungen in vergangenen Semestern

Zu dieser Seite

Francesco Kriegel
Letzte Änderung: 21.09.2018