Courses offered by the chair of Theoretical Computer Science

 

Courses in winter semester 2023/2024

 

Berechenbarkeit und Logik

Komplexitätstheorie I

Algorithmik I

Seminar Theoretische Informatik

 

Courses in summer semester 2023

 

Formale Sprachen und Automaten

Advanced Logic

Algorithms II

Komplexitätstheorie II

 

Courses in winter semester 2022/2023

 

Logik I

Komplexitätstheorie I

Algorithmik I

Seminar Theoretische Informatik

 

Courses in summer semester 2022

 

Grundlagen der Theoretischen Informatik

Compilerbau

Advanced Logic

Komplexitätstheorie II

 

Courses in winter semester 2021/2022

 

Logik I

Komplexitätstheorie I

Algorithmik I

Algorithmik II

Seminar Theoretische Informatik

 

Courses in summer semester 2021

 

Grundlagen der Theoretischen Informatik

Compilerbau

Logik II

 

Courses in winter semester 2020/2021

 

Logik I

Strukturelle Komplexitätstheorie

Algorithmik I

Algorithmik II

Seminar Theoretische Informatik

 

Courses in summer semester 2020

 

Grundlagen der Theoretischen Informatik

Compilerbau

Logik II

Funktionales Programmieren

 

Courses in winter semester 2019/2020

 

Logik I

Model-Checking

Algorithmik I

Algorithmik II

Seminar Theoretische Informatik

 

Courses in summer semester 2019

 

Grundlagen der Theoretischen Informatik

Compilerbau

Logik II

Algorithmik II

 

Courses in winter semester 2018/2019

 

Komplexitätstheorie

Algorithmik I

Seminar Theoretische Informatik

 

Courses in summer semester 2018

 

Grundlagen der Theoretischen Informatik

Compilerbau

Logik I

Logik II

 

Courses in winter semester 2017/2018

 

Logik I

Model-Checking

Algorithmik I

Algorithmik II

Seminar Theoretische Informatik

 

Courses in summer semester 2017

 

Grundlagen der Theoretischen Informatik

Compilerbau

Logik II

 

Courses in winter semester 2016/2017

 

Logik I

Komplexitätstheorie

Algorithmentheorie

Seminar Theoretische Informatik

Diskrete Mathematik für Informatiker

 

Courses in summer semester 2016

 

Grundlagen der Theoretischen Informatik

Compilerbau

Logik II

 

Courses in winter semester 2015/2016

 

Logik I

Algorithmentheorie

Model-Checking

Seminar Theoretische Informatik (Analyse von Algorithmen)

Diskrete Mathematik für Informatiker

 

Courses in summer semester 2015

 

Grundlagen der Theoretischen Informatik

Compilerbau

Semantik von Programmiersprachen

 

Courses in winter semester 2014/2015

 

Diskrete Mathematik

Komplexitätstheorie

Algorithmen

Seminar Theoretische Informatik (Datenkompression)

Tutorium GTI

 

Courses in summer semester 2014

 

Grundlagen der Theoretischen Informatik

Logik

 

Courses in winter semester 2013/2014

 

Komplexitätstheorie

Algorithmen

Seminar Verifikation