Lehrveranstaltungen
Wintersemester 2019/2020
| Lehrveranstaltung | SWS | Module |
|---|---|---|
| Formale Systeme | 4/2/0 | INF‑B‑270, INF‑B‑275, INF‑LE‑EUI, IST‑05‑PF‑HS |
| Introduction to Non-monotonic Reasoning | 2/2/0 | INF‑B‑510, INF‑B‑520, INF‑BAS6, INF‑PM‑FOR, INF‑VERT6, MCL‑KR, MCL‑TCSL |
| Ringvorlesung RoSI | 2/0/0 | INF‑BAS3, INF‑BAS4, INF‑BI‑2, INF‑BI‑4, INF‑VERT3, INF‑VERT4 |
| 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 2019
| Lehrveranstaltung | SWS | Module |
|---|---|---|
| Description Logic | 4/2/0 | INF‑04‑FG‑TP, INF‑B‑510, INF‑B‑520, INF‑BAS6, INF‑VERT6, MCL‑AI, MCL‑PI, MCL‑TCSL |
| Logic-based Ontology Engineering | 2/2/0 | INF‑B‑510, INF‑B‑520, INF‑BAS6, INF‑PM‑FOR, INF‑VERT6, MCL‑ILS |
| 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 |
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 |