Übersicht über die behandelten Themen
| Themen | zuletzt gehalten |
|---|---|
| Algorithmen und Datenstrukturen | Sommersemester 2025 |
| Automaten, Spiele, Logiken | Sommersemester 2025 |
| Berechenbarkeit und Formale Sprachen | Sommersemester 2018 |
| Berechenbarkeit und Komplexität | Wintersemester 2026/27 |
| Datenbanken | Sommersemester 2016 |
| Datenbanktheorie | Wintersemester 2025/26 |
| Effiziente Problemlöseverfahren für die KI | Sommersemester 2024 |
| Einführung in die formale Verifikation | Wintersemester 2026/27 |
| Formale Sprachen und Logik | Sommersemester 2024 |
| Funktionale Programmierung (Priv.-Doz. Dr. Jörg Kreiker) | Wintersemester 2011/12 |
| Grundlagen der Programmsicherheit | Sommersemester 2016 |
| Labor Compilerbau | Sommersemester 2024 |
| Labor Heuristische Suche | Wintersemester 2025/26 |
| Labor Logikprogrammierung | Wintersemester 2024/25 |
| Labor SAT-Solver | Wintersemester 2026/27 |
| Labor Theorembeweisen | Wintersemester 2023/24 |
| Programmierkurs Python | Sommersemester 2023 |
| SAT-Solver Praktikum | Sommersemester 2020 |
| Software-Verifikation | Sommersemester 2025 |
| Theoretische Informatik III | Sommersemester 2019 |
| Theoretische Informatik: Logik | Wintersemester 2018/19 |
| Verifikation eingebetteter Systeme | Wintersemester 2026/27 |
| Vorbereitungskurs Theoretische Informatik und diskrete Mathematik | Wintersemester 2018/19 |