|
|||||||
| Sommersemester 2020 | |||
| Veranstaltung | Übungen/Hinweise | Inhaltsangabe | |
| Automaten und
Berechenbarkeit Reinhardt / Winter |
Prüfungstermine 2020 Hinweise zum Beweisen | Übersicht | |
| Theorie der Datensicherheit Reinhardt |
|||
| Wintersemester 2019/2020 | |||
| Veranstaltung | Übungen/Hinweise | Inhaltsangabe | |
| Mathematische Grundlagen der
Informatik und Konzepte der Modellierung Posch/Beyer/Fröbe/Heße/Kasturia/ Rechner/Winter |
|||
| Formale Sprachen / Petrinetze Reinhardt |
|||
| Komplexitätstheorie Winter |
Folien | ||
| Algorithmische Spieltheorie Reinhardt |
|||
| Seminar: Ausgewählte Kapitel der Algorithmik Müller-Hannemann, Blaar, Schiele, Rechner, Staiger |
|||
| Sommersemester 2019 | |||
| Veranstaltung | Übungen/Hinweise | Inhaltsangabe | |
| Automaten und
Berechenbarkeit Reinhardt / Winter |
Prüfungstermine 2019 Hinweise zum Beweisen | Übersicht | |
| Parametrisierte Algorithmen Reinhardt |
|||
| Seminar: Ausgewählte Kapitel der Algorithmik Müller-Hannemann, Schiele, Rechner, Staiger |
|||
| Wintersemester 2018/2019 | |||
| Veranstaltung | Übungen/Hinweise | Inhaltsangabe | |
| Mathematische Grundlagen der
Informatik und Konzepte der Modellierung Picht/Berg/Saul Winter |
|||
| Theorie der Datensicherheit I Reinhardt |
|||
| Komplexitätstheorie Winter |
|||
| Theorie der Datensicherheit II Reinhardt |
|||
| Seminar: Ausgewählte Kapitel der Algorithmik Müller-Hannemann, Blaar, Schiele, Rechner, Staiger |
|||
| Sommersemester 2018 | |||
| Veranstaltung | Übungen/Hinweise | Inhaltsangabe | |
| Automaten und
Berechenbarkeit Reinhardt / Winter |
Prüfungstermine 2018 | Übersicht | |
| Algorithmische Spieltheorie Reinhardt |
|||
| Seminar: Ausgewählte Kapitel der Algorithmik Müller-Hannemann, Blaar, Schiele, Rechner, Staiger |
|||
| Wintersemester 2017/2018 | |||
| Veranstaltung | Übungen/Hinweise | Inhaltsangabe | |
| Mathematische Grundlagen der
Informatik und Konzepte der Modellierung Picht/Berg/Weißbach/ Winter |
|||
| Formale Sprachen / Petrinetze Reinhardt |
|||
| Komplexitätstheorie Winter |
|||
| Komplexitätsth. Methoden Parametrisierte Algorithmen Reinhardt |
|||
| Theorie der Datensicherheit II Reinhardt |
|||
| Seminar: Ausgewählte Kapitel der Algorithmik Müller-Hannemann, Blaar, Schiele, Rechner, Staiger |
|||
| Sommersemester 2017 | |||
| Veranstaltung | Übungen/Hinweise | Inhaltsangabe | |
| Automaten und
Berechenbarkeit Reinhardt / Winter |
Prüfungstermine 2017 | Übersicht | |
| Seminar: Ausgewählte Kapitel der Algorithmik Müller-Hannemann, Blaar, Schiele, Rechner, Staiger |
|||
| Wintersemester 2016/2017 | |||
| Veranstaltung | Übungen/Hinweise | Inhaltsangabe | |
| Mathematische Grundlagen der
Informatik und Konzepte der Modellierung Picht/Berg/Weißbach/ Winter |
|||
| Theorie der Datensicherheit Reinhardt |
|||
| Komplexitätstheorie Winter |
|||
| Algorithmische Spieltheorie Reinhardt |
|||
| Seminar: Ausgewählte Kapitel der Algorithmik Müller-Hannemann, Blaar, Schiele, Rechner, Staiger |
|||
| Sommersemester 2016 | |||
| Veranstaltung | Übungen/Hinweise | Inhaltsangabe | |
| Automaten und
Berechenbarkeit Reinhardt / Winter |
Prüfungstermine 2016 | Übersicht | |
| Effiziente Graphenalgorithmen Reinhardt |
|||
| Seminar: Ausgewählte Kapitel der Algorithmik Müller-Hannemann, Blaar, Schiele, Rechner, Staiger |
|||
| Wintersemester 2015/2016 | |||
| Veranstaltung | Übungen/Hinweise | Inhaltsangabe | |
| Mathematische Grundlagen der
Informatik und Konzepte der Modellierung Picht/Möller/Reinhardt/Weißbach/ Winter |
Übungsblätter
|
Folien
|
|
| Komplexitätstheorie Winter |
|||
| Codierungstheorie Reinhardt |
|||
| Seminar: Ausgewählte Kapitel der Algorithmik Müller-Hannemann, Blaar, Schiele, Rechner, Staiger |
|||
| Sommersemester 2015 | |||
| Veranstaltung | Übungen/Hinweise | Inhaltsangabe | |
| Automaten und
Berechenbarkeit Reinhardt / Winter |
Prüfungstermine 2015 | Übersicht | |
| Algorithmische Spieltheorie Reinhardt |
|||
| Theorie der Datensicherheit Reinhardt / Wefel |
|||
| Seminar: Ausgewählte Kapitel der Algorithmik Müller-Hannemann, Blaar, Schiele, Rechner, Staiger |
|||
| Wintersemester 2014/2015 | |||
| Veranstaltung | Übungen/Hinweise | Inhaltsangabe | |
| Mathematische Grundlagen der
Informatik und Konzepte der Modellierung Zimmermann/Picht/Bienert/Pache/ Winter |
Übungsblätter
|
Folien | |
| Komplexitätstheorie Winter |
|||
| Seminar: Ausgewählte Kapitel der Algorithmik Müller-Hannemann, Blaar, Schiele, Rechner, Staiger |
|||
| Sommersemester 2014 | |||
| Veranstaltung | Übungen/Hinweise | Inhaltsangabe | |
| Automaten und
Berechenbarkeit Molitor/Winter |
Prüfungsvorbereitung | Übersicht | |
| Wintersemester 2013/2014 | |||
| Veranstaltung | Übungen/Hinweise | Inhaltsangabe | |
|
Mathematische Grundlagen der Informatik
Winter |
Prüfungsvorbereitung
|
Folien | |
| Mathematische Grundlagen der
Informatik und Konzepte der Modellierung Zimmermann/Picht/Preuße/Winter |
Übungsblätter
|
Folien | |
| Komplexitätstheorie Winter |
|||
| Sommersemester 2013 | |||
| Veranstaltung | Übungen/Hinweise | Inhaltsangabe | |
| Automaten und
Berechenbarkeit Molitor/Winter |
Prüfungsvorbereitung | Übersicht | |
| Wintersemester 2012/2013 | |||
| Veranstaltung | Übungen/Hinweise | Inhaltsangabe | |
|
Mathematische Grundlagen der Informatik
Staiger/Winter |
Prüfungsvorbereitung
|
Folien | |
| Mathematische Grundlagen der
Informatik und Konzepte der Modellierung Zimmermann/Picht/Preuße/Winter |
Übungsblätter
|
Folien | |
| Informationstheoretische Probleme der Informatik Staiger |
Übungsblätter | Folien | Seminar Ausgewählte Kapitel der
Theoretischen Informatik Staiger |
Themen |
| Sommersemester 2012 | |||
| Veranstaltung | Übungen/Hinweise | Inhaltsangabe | |
| Automaten und
Berechenbarkeit Staiger/Winter/Kogler |
Prüfungsvorbereitung | Übersicht | |
| Komplexitätstheorie Staiger/Kogler |
Folien | ||
| Seminar Ausgewählte Kapitel der
Theoretischen Informatik Staiger |
Themen | ||
| Wintersemester 2011/2012 | |||
| Veranstaltung | Übungen/Hinweise | Inhaltsangabe | |
| Mathematische Grundlagen der
Informatik Staiger/Winter/Möller/Thielemann/Wefel/Kogler |
Prüfungsvorbereitung
|
Folien | |
| Logik und Berechenbarkeit Staiger/Kogler |
Übungsblätter | Folien | |
| Algorithmische Probleme der fraktalen Geometrie Staiger/Winter |
Übungsblätter | Folien | |
| Sommersemester 2011 | |||
| Veranstaltung | Übungen/Hinweise | Inhaltsangabe | |
| Automaten und
Berechenbarkeit Staiger/Winter/Kogler |
Prüfungsvorbereitung
|
Übersicht | |
| Informationstheoretische Probleme der Informatik Staiger/Kogler |
Übungsblätter
|
Folien | |
| Seminar Ausgewählte Kapitel der
Theoretischen Informatik Staiger |
Themen | ||
| Wintersemester 2010/2011 | |||
| Veranstaltung | Übungen/Hinweise | Inhaltsangabe | |
| Mathematische Grundlagen der
Informatik Winter/Kogler/Lutzemann |
Übungsblätter
Hilfe
|
Folien | |
| Sommersemester 2010 | |||
| Veranstaltung | Übungen | Inhaltsangabe | |
| Automaten und
Berechenbarkeit Staiger/Winter/Kogler |
Prüfungsvorbereitung
|
Übersicht | |
| Komplexitätstheorie Staiger/Winter |
Aufgaben
|
Vorlesung | |
| Oberseminar
Theoretische Informatik Staiger |
Themen | Übersicht | |
| Wintersemester 2009/2010 | |||
| Veranstaltung | Übungen/Hinweise | Inhaltsangabe | |
| Mathematische Grundlagen der
Informatik Staiger/Winter/Lutzemann/Polley |
Folien | ||
| Logik und Berechenbarkeit Staiger |
Übungsblätter | Folien | |
| Proseminar Graphen und
Algorithmen Molitor |
|||
| Oberseminar Theoretische Informatik
Staiger |
Themen | ||
| Sommersemester 2009 | |||
| Veranstaltung | Übungen | Inhaltsangabe | |
| Automaten und
Berechenbarkeit Staiger/Winter/Mielke |
Übersicht
|
||
| Komplexitätstheorie Staiger/Winter |
|||
| Oberseminar
Theoretische Informatik Staiger |
Themen | ||
| Wintersemester 2008/2009 | |||
| Veranstaltung | Übungen/Hinweise | Inhaltsangabe | |
| Mathematische Grundlagen der
Informatik Winter/Schwarz/ Mielke |
Autotool | Übersicht
|
|
| Sommersemester 2008 | |||
| Veranstaltung | Übungen | Inhaltsangabe | |
| Automaten und Berechenbarkeit Staiger/Schwarz/Winter/Mielke |
PCP-Puzzle | ||
| Logik und Berechenbarkeit Staiger/Schwarz |
Aufgaben | Vorlesung | |
| Proseminar Graphen und
Algorithmen Winter |
Themen | ||
| Oberseminar
Theoretische Informatik Staiger |
Themen | ||
| Wintersemester 2007/2008 | |||
| Veranstaltung | Übungen | Inhaltsangabe | |
| Mathematische Grundlagen der
Informatik Staiger/Schwarz/Mielke/Winter |
|||
| Komplexitätstheorie:
Theoretische Informatik II Staiger/Winter |
|||
| Oberseminar
Theoretische Informatik Staiger/Schwarz/Winter/Mielke |
Themen | ||
| Sommersemester 2007 | |||
| Veranstaltung | Übungen | Inhaltsangabe | |
| Automaten und Berechenbarkeit Staiger/Schwarz/Winter |
|||
| Informationstheoretische Probleme Staiger/Mielke |
Übersicht | ||
| Oberseminar
Theoretische Informatik Staiger |
Themen | ||
| Wintersemester 2006/2007 | |||
| Veranstaltung | Übungen | Inhaltsangabe | |
| Algorithmische Modelltheorie Kuske |
|||
| Algorithmen des Model checking Kuske |
|||
| Grundlagen und Konzepte der
Modellierung Schwarz/Mielke/Winter |
Übersicht | ||
| Proseminar Graphen und
Algorithmen Winter |
|||
| Oberseminar
Theoretische Informatik Staiger/Kuske/Schwarz/Winter/Mielke |
Themen | ||
| Sommersemester 2006 | |||
| Veranstaltung | Übungen | Inhaltsangabe | |
| Informatik
IV: Theoretische Informatik I Staiger/Winter/Mielke |
Übersicht
|
||
| Logik Schwarz |
|||
| Oberseminar
Theoretische Informatik Staiger |
Themen | ||
| Wintersemester 2005/2006 | |||
| Veranstaltung | Übungen | Inhaltsangabe | |
| Rekursionstheorie:
Theoretische Informatik II Staiger/Winter |
Folien | ||
| Mathematische
Grundlagen der Informatik Schwarz/Mielke |
Übersicht | ||
| Proseminar
Graphen und Algorithmen Winter |
|||
| Oberseminar
Theoretische Informatik Staiger |
Themen | ||
| Sommersemester 2005 | |||
| Veranstaltung | Übungen | Inhaltsangabe | |
| Informatik
IV: Theoretische Informatik I Staiger/Winter/Mielke |
|||
| Informatik
II: Datenstrukturen und effiziente Algorithmen Hempel |
|||
| Rechnen
mit DNA Hempel |
|||
| Logik Schwarz |
Aufgaben | Übersicht | |
| Oberseminar
Theoretische Informatik Staiger |
Themen | ||
| Wintersemester 2004/2005 | |||
| Veranstaltung | Übungen | Inhaltsangabe | |
| Komplexitätstheorie:
Theoretische Informatik II Staiger/Winter |
|||
| Mathematische
Grundlagen der Informatik Rackwitz/Schwarz |
|||
| Informatik
I Sibeyn/Mazala |
|||
| Proseminar
Graphen und Algorithmen Winter |
|||
| Oberseminar Theoretische
Informatik Staiger |
Themen | ||
| Sommersemester 2004 | |||
| Veranstaltung | Übungen | Inhaltsangabe | |
| Informatik
IV: Theoretische Informatik I Staiger/Winter/Mazala |
Übersicht | ||
| Synthese
und Analyse fraktaler Bilder Staiger/Winter |
Fraktal-Tool | ||
| Übungen
Informatik II Schwarz |
|||
| Oberseminar
Theoretische
Informatik Staiger |
Themen | ||
| Wintersemester 2003/2004 | |||
| Veranstaltung | Übungen | Inhaltsangabe | |
| Grundlagen
der Mathematik Staiger/Schwarz |
Aufgaben | Übersicht | |
| Baumautomaten
Kuske/Mazala |
|||
| DNA-Computing
Kuske/Winter |
Aufgaben | Entscheidbarkeit
binäres PCP |
|
| Proseminar
Graphen und Algorithmen Winter |
|||
| Oberseminar
Theoretische
Informatik Staiger |
Themen | ||
| Sommersemester 2003 | |||
| Veranstaltung | Aufgaben | Inhaltsangabe | |
| Theoretische
Informatik I: Informatik IV Staiger/Winter/Mazala |
|||
| Theoretische
Informatik II: Mathematische Logik Staiger/Mazala |
|||
| Oberseminar
Theoretische
Informatik Staiger |
Themen | ||
| Wintersemester 2002/2003 | |||
| Veranstaltung | Übungen | Skript | |
| Schaltkreiskomplexität Hempel/Mazala |
|
||
| Strukturelle
Komplexitätstheorie Hempel/Winter |
|
||
| Proseminar
Graphen und Algorithmen Winter/Mazala |
|||
| Sommersemester 2002 | |||
| Veranstaltung | Übungen | Inhaltsangabe | |
| Informatik
IV - Theoretische Informatik I Staiger/Winter |
|
||
| Theoretische
Informatik II: Komplexitätstheorie Staiger/Winter |
|
||
| Oberseminar
Theoretische
Informatik Staiger |
|||
| Wintersemester 2001/2002 | |||
| Veranstaltung | Übungen | Inhaltsangabe | |
| Theoretische
Informatik II: Ausgewählte Kapitel Staiger/Mazala |
|||
| Petri-Netze
Winter |
Übersicht | ||
| Übung
zur Vorlesung Informatik I Winter |
Tutorial zu Haskell | Haskell | |
| Seminar
Graphen und Algorithmen Staiger/Mazala |
|||
| Oberseminar
Theoretische
Informatik Staiger |
Themen | ||
| Sommersemester 2001 | |||
| Veranstaltung | Übungen | Inhaltsangabe | |
| Fraktale
Geometrie Staiger/Mazala |
|||
| Informatik
IV - Theoretische Informatik I Staiger/Winter |
|
||
| Oberseminar
Theoretische
Informatik Staiger |
Themen | ||
| Wintersemester 2000/2001 | |||
| Veranstaltung | Übungen | Inhaltsangabe | |
| Rekursionstheorie Staiger/Stiebe |
|||
| Textalgorithmen
Staiger/Stiebe |
|||
| Übungen
zur Vorlesung Informatik I Winter |
|||
| Seminar
Graphen und Algorithmen Staiger/Stiebe |
|||
| Oberseminar
Theoretische Informatik Staiger |
|||
| Sommersemester 2000 | |||
| Veranstaltung | Übungen | Inhaltsangabe | |
| Theoretische
Informatik I: Informatik IV Staiger/Stiebe |
|||
| Automaten
und Petri-Netze Staiger |
|||
| Parallele
Modelle und Algorithmen Winter |
|||
| Übung
Informatik II: Datenstrukturen und effiziente Algorithmen Winter |
|||
| Oberseminar
Theoretische Informatik Staiger |
Themen | ||
| Wintersemester 1999/2000 | |||
| Veranstaltung | Aufgaben | Inhaltsangabe | |
| Theoretische
Informatik II: Algorithmische Informationstheorie Staiger/Stiebe |
|
||
| Ergänzende
Kapitel der Theoretischen Informatik Winter |
|||
| Graphgrammatiken
Staiger/Stiebe |
|||
| Seminar
Graphen und Algorithmen Staiger/Stiebe |
|||
| Seminar
Datenkomprimierung Staiger/Molitor/Schenzel/Ritter |
|||
| Oberseminar
Theoretische Informatik Staiger |
Themen | ||
| Sommersemester 1999 | |||
| Veranstaltung | Übungen | Inhaltsangabe | |
| Analyse
und Synthese fraktaler Bilder Staiger/Stiebe |
|||
| Entscheidbare
und unentscheidbare Probleme Staiger |
|||
| Informatik
IV: Theoretische Informatik I Winter/Stiebe |
|||
| Seminar
Textalgorithmen und Datenkompression Staiger |
Inhalt | ||
| Oberseminar Theoretische Informatik Staiger |
Themen | ||
| Wintersemester 1998/1999 | |||
| Veranstaltung | Übungen | Inhaltsangabe | |
| Theoretische
Informatik II: Ausgewählte Kapitel Staiger/Stiebe |
|||
| Rekursionstheorie
I Staiger/Stiebe |
|||
| Parallele Modelle und Algorithmen Winter |
Projekt | Inhalt | |
| Proseminar: Graphen und Algorithmen Staiger/Stiebe |
Inhalt | ||
| Oberseminar Theoretische Informatik Staiger |
Themen | ||
| Sommersemester 1998 | |||
| Veranstaltung | Übungen | Inhaltsangabe | |
| Informatik
IV: Theoretische Informatik I Winter/ Stiebe |
Prakt.Aufgabe | ||
| Seminar:
Approximationsalgorithmen bei schweren
Problemen Winter / Stiebe |
Themen
|
Inhalt | |
| Übungen
Informatik II: Datenstrukturen und Algorithmen Stiebe |
|||
| Wintersemester 1997/1998 | |||
| Veranstaltung | Übungen | Inhaltsangabe | |
| Theoretische
Informatik II: Mathematische Logik Staiger/Stiebe |
|||
| Sequentielle
und parallele Komplexitätstheorie Winter |
Projekt | Inhalt | |
| Seminar:
Informations- und Codierungstheorie Staiger |
|||
| Seminar:
Graphen und Algorithmen Staiger/Stiebe |
|||
| Seminar:
Bioinformatik Staiger/Stiebe/Brandt |
|||
| Übungen
Informatik I: Programmiersprachen Winter |
Prakt.Aufgaben | Inhalt | |
| Sommersemester 1997 | |||
| Veranstaltung | Übungen | Inhaltsangabe | |
| Theoretische Informatik II: Analyse und Synthese
fraktaler Bilder Staiger |
|||
| Informatik
IV: Theoretische Informatik I Winter/Stiebe |
|||
| Seminar:
Bioinformatik Staiger/Stiebe/Brandt |
|||
| Seminar:
Textalgorithmen Staiger/Stiebe |
|||
| Wintersemester 1996/1997 | |||
| Veranstaltung | Übungen | Inhaltsangabe | |
| Theoretische
Informatik II: Ausgewählte Kapitel der Theoretischen Informatik Staiger/Stiebe |
|||
| Parallele
Modelle und Algorithmen Winter |
Inhalt | ||
| Seminar:
Analyse und Synthese von Fraktalen Staiger |
|||
| Seminar:
Biologische Impulse für die Theoretische Informatik Staiger/Stiebe |
|||
| Seminar: Reduktionen und Klassifizierungen bei
NPC-Problemen Staiger/Winter |
Themen
|
Inhalt | |
| Seminar:
Ganzzahlige Lineare und andere schwere
Optimierungsprobleme Winter |
Themen
|
Inhalt | |
| Sommersemester 1996 | |||
| Veranstaltung | Übungen | Inhaltsangabe | |
| Informatik
IV: Theoretische Informatik I Staiger/Stiebe |
|||
| Komplexitätstheorie
Winter |
Inhalt | ||
| Seminar:
Automaten auf unendlichen Wörtern Staiger |
|||
| Seminar:
NP-Vollständigkeit Winter |
Themen
|
||
| Seminar:
Parallele Komplexitätsklassen Winter |
Themen
|
Inhalt | |
| Wintersemester 1995/1996 | |||
| Veranstaltung | Übungen | Inhaltsangabe | |
| Theoretische
Informatik II: Rekursionstheorie Staiger |
|||
| Komplexitätstheorie
Winter |
|||
| Seminar:
Analyse und Synthese von Fraktalen Staiger |
|||
| Seminar:
NP-Vollständigkeit Winter |
Themen
|
||
| Seminar:
Parallele Komplexitätsklassen Winter |
Themen
|
||
| Sommersemester 1995 | |||
| Veranstaltung | Übungen | Inhaltsangabe | |
| Informatik
IV: Theoretische Informatik I Staiger |
|||
| Seminar:
Automaten auf unendlichen Objekten Staiger |
|||
| Seminar:
NP-Vollständigkeit Winter |
Themen
|
||
| Seminar:
Parallele Komplexitätsklassen Winter |
Themen
|
||
| Wintersemester 1994/1995 | |||
| Veranstaltung | Übungen | Inhaltsangabe | |
| Theoretische
Informatik II: Ausgewählte
Kapitel der Theoretischen Informatik Weber |
Inhalt | ||
| Komplexitätstheorie
Winter |
|||
| Seminar:
Komplexitätstheorie Winter |
Themen
|
||
| Sommersemester 1994 | |||
| Veranstaltung | Übungen | Inhaltsangabe | |
| Informatik
IV: Theoretische Informatik I Winter |
|||
| Wintersemester 1993/1994 | |||
| Veranstaltung | Übungen | Inhaltsangabe | |
| Seminar:
Berechenbarkeitsmodelle/Chomsky-Hierarchie Winter |
Themen
|
||
| Übungen:
Informatik I Winter |
Inhalt | ||
| E-Mail R. Winter, 25.08.2020 | |||