Frühere Semester

 

Lehrveranstaltungen im Wintersemester 2022/2023

Vorlesungen

• Berechenbarkeit und Komplexität
• Infinite Computations and Games

Seminare und Praktika

• Seminar: Theoretical Topics in Data Science
• Cops’n’Robber: Suchspiele auf Graphen, Zerlegungen und Zusammenhang
• Praktikum Graphlearning

  

Lehrveranstaltungen im Wintersemester 2021/2022

Vorlesungen

• Algoritmische Lerntheorie
• Komplexitätstheorie
• Infinite Computions and Games

Seminare und Praktika

• Seminar: Data Science
• Cops’n’Robber: Suchspiele auf Graphen, Zerlegungen und Zusammenhang
• Praktikum Machine Learning for Sales Prediction in Retail

 

Lehrveranstaltungen im Sommersemster 2021

 

Lehrveranstaltungen im Wintersemester 2020/2021

 

Lehrveranstaltungen im Sommersemster 2020

 

Lehrveranstaltungen im Wintersemester 2019/2020

 

Lehrveranstaltungen im Sommersemester 2019

 

Lehrveranstaltungen im Wintersemester 2018/2019

 

Lehrveranstaltungen im Sommersemester 2018

 

Lehrveranstaltungen im Wintersemester 2017/2018

Vorlesungen

• Foundations of Data Science
• Infinite Computations and Games
• Rekursionstheorie

Seminare und Praktika

• Softwarepraktikum: Reguläre Ausdrücke implementieren in Java
• Seminar: Aktuelle Themen der Theoretischen Informatik
• Seminar: Komplexitätstheorie
• Proseminar: Informationstheorie

 

Lehrveranstaltungen im Sommersemester 2017

Vorlesungen

• Das Graph Isomorphie Problem
• Advanced Automata Theory
• Komplexitätstheorie
• Automaten, Sprachen, Komplexität

Seminare und Praktika

• Informatikpraktikum für Mathematiker
• Seminar: Theoretical Topics in Data Science
• Seminar: Aktuelle Themen der Theoretischen Informatik

 

Auch im Wintersemester 2018/19 haben wir ein reichhaltiges Angebot an Vorlesungen, Seminaren und Praktika.

Vorlesungen

• Komplexitätstheorie
• Graphenzerlegung und algorithmische Anwendungen
• Infinite Computations and Games
• Stochastic Games

Seminare und Praktika

• Softwarepraktikum: Reguläre Ausdrücke implementieren in Java
• Proseminar: Informationstheorie
• Seminar: Theorie Effizienter Hash-Techniken

 

Lehrveranstaltungen im Wintersemester 2016/17

Vorlesungen

• Berechenbarkeit und Komplexität (Schweitzer)
• Infinite Computations and Games (Löding)
• Graphenzerlegung und algorithmische Anwendungen (Grohe)
• Foundations of Data Science (Grohe)

Proseminare, Seminare, Praktika

• Softwarepraktikum: Reguläre Ausdrücke implementieren in Java (Löding, Frickenschmidt)
• Seminar Aktuelle Themen der Theoretischen Informatik (Grohe, Löding, Schweitzer)
• Seminar zur Komplexitätstheorie (Grohe)
• Proseminar Informationstheorie (Grohe)

 

Lehrveranstaltungen im Sommersemester 2016

Vorlesungen

• Applied Automata Theory (Löding, Brütsch)
• Complexity Theory (Schweitzer, Kiefer)
• Theory of Constraint Satisfaction Problems (Grohe)
• Formale Systeme, Automaten, Prozesse (Grohe) (Campus)
• Automaten, Sprachen, Komplexität (Löding, Winter)

Proseminare, Seminare, Praktika

• Informatikpraktikum für Mathematiker (Löding, Elberfeld)
• Seminar Theorie Effizienter Hash-Techniken (Grohe)
• Seminar Aktuelle Themen der Theoretischen Informatik (Grohe, Löding, Schweitzer)

 

Lehrveranstaltungen im Wintersemester 2015/16

Vorlesungen

• Berechenbarkeit und Komplexität (Grohe)
• Foundations of Data Science (Grohe)
• String Processing and Compression (Elberfeld)
• Infinite Computations (Thomas)
• Tree Automata (Löding)

Proseminare, Seminare, Praktika

• Proseminar Automatentheorie (Thomas)
• Proseminar Informationstheorie (Grohe)
• Softwarepraktikum: Reguläre Ausdrücke implementieren in Java
• Seminar zur Komplexitätstheorie (Schweitzer)
• Seminar Automatentheorie - Bachelor (Thomas)
• Seminar Automatentheorie - Master und Lehramt (Löding)
• Seminar Algorithmische Graphentheorie (Grohe)

 

Lehrveranstaltungen im Sommersemester 2015

Vorlesungen

• Applied Automata Theory (Thomas, Brütsch)
• Automaten, Sprachen, Komplexität (Löding, Lang)
• Komplexitätstheorie (Schweitzer, Kiefer)
• Formale Systeme, Automaten, Prozesse (Thomas, Winter, Frickenschmidt, Frohn)
• Infinite Games (Löding, Lang)

Proseminare, Seminare, Praktika

• Seminar Algorithmen in der Bioinformatik
• Seminar Aktuelle Themen der Theoretischen Informatik
• Seminar Automatentheorie
• Informatikpraktikum für Mathematiker

 

Lehrveranstaltungen im Wintersemester 2014/15

Vorlesungen

• Foundations of Data Science (Grohe)
• Infinite Computations (Löding, Brütsch)
• Regular and Context-Free Languages: Advanced Results (Thomas, Lang)
• Berechenbarkeit und Komplexität (Vorlesung Thomas, Übungen i1)
• Das Graphisomorphieproblem (Schweitzer)

Proseminare, Seminare, Praktika

• Seminar Probabilistische Datenbanken
• Seminar Aktuelle Themen der Theoretischen Informatik
• Proseminar Informationstheorie
• Seminar Automatentheorie
• Proseminar Automatentheorie
• Praktikum Reguläre Ausdrücke Implementieren in Java

 

Lehrveranstaltungen im Sommersemester 2014

Vorlesungen

• Formale Systeme, Automaten, Prozesse (Grohe) (Campus)
• Rekursionstheorie (Grohe) (Campus)
• Computational Group Theory (Schweitzer)
• Applied Automata Theory (Thomas, Brütsch) (Campus)
• Automaten, Sprachen und Komplexität (Thomas, Winter) (Campus)
• Infinite Games (Löding, Lang) (Campus)
• Einfachheit und Komplexität (Oberschelp) (Campus)

Proseminare, Seminare, Praktika

• Seminar Aktuelle Themen der theoretischen Informatik (Grohe) (Campus)
• Seminar Kommunikationskomplexität (Grohe) (Campus)
• Seminar Automatentheorie (Thomas, Löding)
• Informatik-Praktikum für Mathematiker (Campus)

Sonstiges

• Arbeitsgemeinschaft Logik und Automaten

 

Lehrveranstaltungen im Wintersemester 2013/14

Vorlesungen

• Complexity Theory (Campus)
• Infinite Computations
• Reguläre und Kontextfreie Sprachen (für Fortgeschrittene)
• Tree Automata (Campus)
• Grenzen (Campus)

Proseminare, Seminare, Praktika

• Seminar Berechnungsmodelle für "Big Data" (Grohe)
• Seminar über Automatentheorie (Thomas)
• Proseminar Informationstheorie (Grohe)
• Proseminar Automatentheorie (Löding)
• Praktikum: Reguläre Ausdrücke Implementieren in Java

Sonstiges

• Arbeitsgemeinschaft Logik und Automaten
• Projekt Leonardo: Sprache - Kommunikation - Erkenntnis: Fundamentales über natürliche und formale Sprachen