Frühere Semester
Lehrveranstaltungen im Wintersemester 2022/2023
Vorlesungen
Seminare und Praktika
- Seminar: Theoretical Topics in Data Science
- Cops’n’Robber: Suchspiele auf Graphen, Zerlegungen und Zusammenhang
- Praktikum Graphlearning
Lehrveranstaltungen im Sommersemster 2022
Vorlesungen
- Automaten, Sprachen, Komplexität (Löding)
- Formale Systeme, Automaten und Prozesse (Grohe)
- Graphenzerlegung und algorithmische Anwendungen (Grohe)
- Fixpoints and Induction in Logic and Computer Science (Löding)
Seminare und Praktika
- Proseminar Informationstheorie (Grohe)
- Seminar Komplexitätstheorie (Grohe)
- Praktikum Graph Learning (Grohe)
- Informatikpraktikum für Mathematiker (Löding)
Lehrveranstaltungen im Wintersemester 2021/2022
Vorlesungen
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
Vorlesungen
- Algorithmic Foundations of Data Science (Grohe) ) (Video Einführung )
- Rekursionstheorie (Grohe) (Video Einführung )
- Advanced Automata Theory (Löding)
- Automaten, Sprachen, Komplexität (Löding)
Seminare und Praktika
Lehrveranstaltungen im Wintersemester 2020/2021
Vorlesungen
Seminare und Praktika
Lehrveranstaltungen im Sommersemster 2020
Vorlesungen
- Algorithmic Foundations of Data Science (Grohe) (Videovorstellung)
- Das Graph Isomorphie Problem (Grohe) (Videovorstellung)
- Advanced Automata Theory (Löding)
- Automaten, Sprachen, Komplexität (Löding)
Seminare und Praktika
Lehrveranstaltungen im Wintersemester 2019/2020
Vorlesungen
Seminare und Praktika
Lehrveranstaltungen im Sommersemester 2019
Vorlesungen
- Algorithmic Foundations of Data Science (Grohe)
- Constraint Satisfaction Problems (Grohe)
- Advanced Automata Theory (Löding)
- Automaten, Sprachen, Komplexität (Löding)
Seminare und Praktika
Lehrveranstaltungen im Wintersemester 2018/2019
Vorlesungen
- Komplexitätstheorie
- Graphenzerlegung und algorithmische Anwendungen
- Infinite Computations and Games
- Stochastic Games
Seminare und Praktika
Lehrveranstaltungen im Sommersemester 2018
Vorlesungen
- Advanced Automata Theory
- Algorithmische Lerntheorie
- Formale Systeme, Automaten, Prozesse
- Automaten, Sprachen, Komplexität
Seminare und Praktika
Lehrveranstaltungen im Wintersemester 2017/2018
Vorlesungen
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
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