ThI  

Lehrveranstaltungen

Lehrstuhl für Theoretische Informatik
Institut für Informatik
Naturwissenschaftliche Fakultät III
Martin-Luther-Universität Halle-Wittenberg

 
 
Sommersemester 2019 siehe "aktuell"  
aktuell WS 18/19 SoS 18 WS 17/18
SoS 17 WS 16/17 SoS 16 WS 15/16 SoS 15 WS 14/15
SoS 14 WS 13/14 SoS 13 WS 12/13 SoS 12 WS 11/12
SoS 11 WS 10/11 SoS 10 WS 09/10 SoS 09 WS 08/09
SoS 08 WS 07/08 SoS 07 WS 06/07 SoS 06 WS 05/06
SoS 05 WS 04/05 SoS 04 WS 03/04 SoS 03 WS 02/03
SoS 02 WS 01/02 SoS 01 WS 00/01 SoS 00 WS 99/00
SoS 99 WS 98/99 SoS 98 WS 97/98 SoS 97 WS 96/97
SoS 96 WS 95/96 SoS 95 WS 94/95 SoS 94 WS 93/94
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
Übungsblätter, Literatur  Folien
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

Hinweise zur Theorieprüfung

Hinweise zum Beweisen
Übersicht

Folien/Aufgaben

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
Übungsblätter, Literatur  Folien
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

Hinweise zur Theorieprüfung

Hinweise zum Beweisen
Übersicht

Folien/Aufgaben

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
Übungsblätter, Literatur  Folien
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

Folien/Aufgaben

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
Übungsblätter, Prüfungen, Literatur  Folien
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

Folien/Aufgaben

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

Autotool

Komplexitätstheorie
Winter
Übungsblätter  Folien
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

Folien/Aufgaben

Wintersemester 2013/2014
Veranstaltung Übungen/Hinweise Inhaltsangabe
Mathematische Grundlagen der Informatik
Winter
Prüfungsvorbereitung

Folien

Literaturempfehlungen

Autotool

Mathematische Grundlagen der Informatik und Konzepte der Modellierung
Zimmermann/Picht/Preuße/Winter
Übungsblätter

Folien

Autotool

Komplexitätstheorie
Winter
Übungsblätter  Folien
Sommersemester 2013
Veranstaltung Übungen/Hinweise Inhaltsangabe
Automaten und Berechenbarkeit
Molitor/Winter
Prüfungsvorbereitung Übersicht

Folien/Aufgaben

Wintersemester 2012/2013
Veranstaltung Übungen/Hinweise Inhaltsangabe
Mathematische Grundlagen der Informatik
Staiger/Winter
Prüfungsvorbereitung

Folien

Literaturempfehlungen

Autotool

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

Folien/Aufgaben

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

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 Ü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

Hinweise

Ü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, 06.02.2019