|
|
| 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
Folien/Aufgaben
|
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
Folien
|
Komplexitätstheorie
Staiger/
Winter
|
Aufgaben
|
Vorlesung
|
Oberseminar
Theoretische Informatik
Staiger |
|
Themen
|
| 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
Folien
|
Komplexitätstheorie
Staiger/
Winter
|
Aufgaben
|
Vorlesung
|
Oberseminar
Theoretische Informatik
Staiger |
|
Themen
|
| Wintersemester 2008/2009 |
| Veranstaltung |
Übungen/Hinweise |
Inhaltsangabe |
Mathematische Grundlagen der
Informatik
Winter/
Schwarz/
Mielke |
Autotool
Hinweise
|
Übersicht
Folien
|
| 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 |
|
Übersicht
Folien
|
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
|
Literatur
|
Übersicht
Folien
|
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
|
Literatur
|
Übersicht
Folien
|
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 |
Aufgaben
|
|
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
|
Übersicht
|
Übungen
Informatik II
Schwarz |
|
|
Oberseminar
Theoretische
Informatik
Staiger |
|
Themen
|
| Wintersemester 2003/2004 |
| Veranstaltung |
Übungen |
Inhaltsangabe |
Grundlagen
der Mathematik
Staiger/
Schwarz
|
Aufgaben
|
|
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 |
|
Übersicht
Cook-Beweis
|
Theoretische
Informatik II: Mathematische Logik
Staiger/
Mazala |
|
Übersicht
|
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 |
|
|
Ü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 |
Aufgaben
|
|
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 |
Aufgaben
|
|
Parallele
Modelle und Algorithmen
Winter |
Aufgaben
|
|
Ü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 |
Aufgaben
|
g_skript6_1
g_skript8a
g_skript10a
|
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 |
|
Projekt
|
Seminar
Textalgorithmen und Datenkompression
Staiger |
|
|
Oberseminar Theoretische Informatik
Staiger |
|
|
| 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 |
|
|
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 |
Votragsthemen
|
Projekt
|
Ü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 |
Aufg.1-11,
Zusatz
|
Prakt.Aufgabe
|
| 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 |
|
Vortragsthemen
|
Seminar:
Textalgorithmen
Staiger/Stiebe |
|
Vortragsthemen
|
| 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 |
|
Vortragsthemen
|
Seminar:
Ganzzahlige Lineare und andere schwere
Optimierungsprobleme
Winter |
|
Vortragsthemen
|
| 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 |
|
Vortragsthemen
|
Seminar:
Parallele Komplexitätsklassen
Winter |
|
Vortragsthemen
|
| Wintersemester 1995/1996 |
| Veranstaltung |
Übungen |
Inhaltsangabe |
Theoretische
Informatik II: Rekursionstheorie
Staiger |
|
|
Komplexitätstheorie
Winter |
|
Inhalt
|
Seminar:
Analyse und Synthese von Fraktalen
Staiger |
|
|
Seminar:
NP-Vollständigkeit
Winter |
|
Vortragsthemen
|
Seminar:
Parallele Komplexitätsklassen
Winter |
|
Vortragsthemen
|
| Sommersemester 1995 |
| Veranstaltung |
Übungen |
Inhaltsangabe |
Informatik
IV: Theoretische Informatik I
Staiger |
|
|
Seminar:
Automaten auf unendlichen Objekten
Staiger |
|
|
Seminar:
NP-Vollständigkeit
Winter |
|
Vortragsthemen
|
Seminar:
Parallele Komplexitätsklassen
Winter |
|
Vortragsthemen
|
| Wintersemester 1994/1995 |
| Veranstaltung |
Übungen |
Inhaltsangabe |
Theoretische
Informatik II: Ausgewählte
Kapitel der Theoretischen Informatik
Weber |
|
|
Komplexitätstheorie
Winter |
|
Inhalt
|
Seminare:
Komplexitätstheorie
Winter |
|
Vortragsthemen
|
| Sommersemester 1994 |
| Veranstaltung |
Übungen |
Inhaltsangabe |
Informatik
IV: Theoretische Informatik I
Winter |
|
|
| Wintersemester 1993/1994 |
| Veranstaltung |
Übungen |
Inhaltsangabe |
Seminar:
Berechenbarkeitsmodelle/Chomsky-Hierarchie
Winter |
|
Vortragsthemen
|
Übungen:
Informatik I
Winter |
|
|
| |
| E-Mail R.
Winter,
07.02.2012 |
