|
Algorithmen und Datenstrukturen
|
Sommersemester 2023
|
|
Automaten, Spiele, Logiken
|
Sommersemester 2024
|
|
Berechenbarkeit und Formale Sprachen
|
Sommersemester 2018
|
|
Berechenbarkeit und Komplexität
|
Wintersemester 2021/22
|
|
Datenbanken
|
Sommersemester 2016
|
|
Datenbanktheorie
|
Wintersemester 2021/22
|
|
Effiziente Problemlöseverfahren für die KI
|
Sommersemester 2024
|
|
Einführung in die formale Verifikation
|
Wintersemester 2022/23
|
|
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 Logikprogrammierung
|
Wintersemester 2021/22
|
|
Labor SAT-Solver
|
Wintersemester 2022/23
|
|
Labor Theorembeweisen
|
Sommersemester 2022
|
|
Programmierkurs Python
|
Sommersemester 2023
|
|
SAT-Solver Praktikum
|
Sommersemester 2020
|
|
Software-Verifikation
|
Sommersemester 2023
|
|
Theoretische Informatik III
|
Sommersemester 2019
|
|
Theoretische Informatik: Logik
|
Wintersemester 2018/19
|
|
Verifikation eingebetteter Systeme
|
Wintersemester 2022/23
|
|
Vorbereitungskurs Theoretische Informatik und diskrete Mathematik
|
Wintersemester 2018/19
|
