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

Gewünschtes Semester: WS 08/09 -- SS 08 -- WS 07/08 -- SS 07 -- WS 06/07 -- SS 06 -- WS 05/06 -- SS 05 -- WS 04/05 -- SS 04 -- WS 03/04 -- SS 03 -- WS 02/03 -- SS 02 -- WS 01/02 -- SS 01 -- WS 00/01 -- SS 00 -- WS 99/00 -- SS 99 -- WS 98/99-- SS 98 -- WS 97/98 -- SS 97 -- WS 96/97 -- SS 96 -- WS 95/96 -- SS 95 -- WS 94/95 -- SS 94 -- WS 93/94 Sommersemester 2008 Veranstaltung Übungsblätter Inhaltsangabe Übungen/Hinweise Prüfungen Automaten und Berechenbarkeit Staiger/ Schwarz/ Winter/ Mielke Aufgaben part.-rek. Funktionen PCP-Puzzle Übersicht Folien Literatur Prüfungen Logik und Berechenbarkeit Staiger/ Schwarz Aufgaben Vorlesung     Proseminar Graphen und Algorithmen Winter   Themen     Oberseminar Theoretische Informatik Staiger   Themen     Wintersemester 2007/2008 Veranstaltung Übungsblätter Inhaltsangabe Übungen/Hinweise Prüfungen Mathematische Grundlagen der Informatik Staiger/ Schwarz/ Mielke/ Winter   Übersicht Folien   Prüfungen Komplexitätstheorie: Theoretische Informatik II Staiger/ Winter   Vorlesung     Oberseminar Theoretische Informatik Staiger/Schwarz/Winter/Mielke   Themen     Sommersemester 2007 Veranstaltung Übungsblätter Inhaltsangabe Übungen/Hinweise Prüfungen Automaten und Berechenbarkeit Staiger/ Schwarz/ Winter   Übersicht Folien Literatur Prüfungen Informationstheoretische Probleme Staiger/ Mielke   Übersicht     Oberseminar Theoretische Informatik Staiger   Themen     Wintersemester 2006/2007 Veranstaltung Übungsblätter Inhaltsangabe Übungen/Hinweise Prüfungen Algorithmische Modelltheorie Kuske         Algorithmen des Model checking Kuske         Grundlagen und Konzepte der Modellierung Schwarz/ Mielke/ Winter   Übersicht     Proseminar Graphen und Algorithmen Winter   Themen     Oberseminar Theoretische Informatik Staiger/Kuske/Schwarz/Winter/Mielke   Themen     Sommersemester 2006 Veranstaltung Übungsblätter Inhaltsangabe Übungen / Klausuren Info Informatik IV: Theoretische Informatik I Staiger/ Winter/ Mielke   Übersicht Folien Literatur Prüfungen Logik Schwarz   Übersicht     Oberseminar Theoretische Informatik Staiger   Themen     Wintersemester 2005/2006 Veranstaltung Übungsblätter Inhaltsangabe Übungen/Hinweise Prüfungen Rekursionstheorie: Theoretische Informatik II Staiger/ Winter   Folien     Mathematische Grundlagen der Informatik Schwarz/ Mielke   Übersicht     Proseminar Graphen und Algorithmen Winter   Themen     Oberseminar Theoretische Informatik Staiger   Themen     Sommersemester 2005 Veranstaltung Übungsblätter Inhaltsangabe Übungen / Klausuren Info Informatik IV: Theoretische Informatik I Staiger/ Winter/ Mielke   Übersicht Folien Literatur Prüfungen Informatik II: Datenstrukturen und effiziente Algorithmen Hempel         Rechnen mit DNA Hempel         Logik Schwarz Aufgaben Übersicht     Oberseminar Theoretische Informatik Staiger   Themen     Wintersemester 2004/2005 Veranstaltung Übungsblätter Inhaltsangabe Übungen / Klausuren Info Komplexitätstheorie: Theoretische Informatik II Staiger/ Winter         Mathematische Grundlagen der Informatik Rackwitz/ Schwarz Aufgaben       Informatik I Sibeyn/ Mazala Aufgaben       Proseminar Graphen und Algorithmen Winter   Themen     Oberseminar Theoretische Informatik Staiger   Themen     Sommersemester 2004 Veranstaltung Übungen Inhalt Lösungen / Klausuren Information Informatik IV: Theoretische Informatik I Staiger/ Winter/ Mazala   Übersicht   Prüfungen Synthese und Analyse fraktaler Bilder Staiger/ Winter   Übersicht Fraktal-Tool   Übungen Informatik II Schwarz Aufgaben Übersicht     Oberseminar Theoretische Informatik Staiger   Themen     Wintersemester 2003/2004 Veranstaltung Übungen Inhalt Lösungen / Klausuren Information Grundlagen der Mathematik Staiger/ Schwarz Übungsblätter Klausur   Baumautomaten Kuske/ Mazala Übungsblätter Prüfungen   DNA-Computing Kuske/ Winter Übungsblätter Prüfungen Entscheidbarkeit binäres PCP   Seminar Graphen und Algorithmen Winter Vortragsthemen     Oberseminar Theoretische Informatik Staiger   Vortragsthemen       Sommersemester 2003 Veranstaltung Übungsblätter Inhalt Übungen / Klausuren Info Theoretische Informatik I: Informatik IV Staiger/ Winter/ Mazala Übersicht Folien Cook-Beweis Prüfungen Theoretische Informatik II: Mathematische Logik Staiger/ Mazala Übungsaufgaben Übersicht     Oberseminar Theoretische Informatik Staiger           Wintersemester 2002/2003 Veranstaltung Übungsblätter Skript Prakt.Übungen, Projekte Info Schaltkreiskomplexität Hempel/ Mazala       Strukturelle Komplexitätstheorie Hempel/ Winter     Prüfungen Proseminar Graphen und Algorithmen Winter / Mazala       Themen   Sommersemester 02 Veranstaltung Übungsblätter Skript Prakt.Übungen Projekte Info Informatik IV - Theoretische Informatik I Staiger/ Winter       Theoretische Informatik II: Komplexitätstheorie Staiger/ Winter     Oberseminar Theoretische Informatik Staiger           Wintersemester 01/02 Veranstaltung Übungsblätter Skript Prakt.Übungen Projekte Info Theoretische Informatik II: Ausgewählte Kapitel Staiger/ Mazala Aufgaben       Petri-Netze Winter     Termine Übung zur Vorlesung Informatik I Winter     Haskell Tutorial zu Haskell Seminar Graphen und Algorithmen Staiger/Mazala       Themen Oberseminar Theoretische Informatik Staiger       Themen Sommersemester 01 Veranstaltung Übungsblätter Skript Prakt.Übungen Projekte Info Fraktale Geometrie Staiger/ Mazala Aufgaben       Informatik IV - Theoretische Informatik I Staiger/ Winter     Termine Oberseminar Theoretische Informatik Staiger       Themen Wintersemester 00/01 Veranstaltung Übungsblätter Skript Prakt.Übungen Projekte Info Rekursionstheorie Staiger/Stiebe Aufgaben       Textalgorithmen Staiger/Stiebe Aufgaben       Übungen zur Vorlesung Informatik I Winter     Klausurtermine Seminar Graphen und Algorithmen Staiger/Stiebe         Oberseminar Theoretische Informatik Staiger       Themen Sommersemester 00 Veranstaltung Übungsblätter Skript Prakt.Übungen Projekte Info 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 99/00 Veranstaltung Übungsblätter Skript Prakt.Übungen Projekte Info Theoretische Informatik II: Algorithmische Informationstheorie Staiger/Stiebe       Ergänzende Kapitel der Theoretischen Informatik Winter Aufg.1 Aufg.2 Aufg.3 Aufg.4 Aufg.5 Aufg.6 Aufg.7 Aufg.8 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 Übungsblätter Skript Prakt.Übungen Projekte Info Analyse und Synthese fraktaler Bilder Staiger/Stiebe         Entscheidbare und unentscheidbare Probleme Staiger         Informatik IV: Theoretische Informatik I Winter/Stiebe     Projekt Termine Seminar Textalgorithmen und Datenkompression Staiger       Themen Oberseminar Theoretische Informatik Staiger       Themen   Wintersemester 98/99 Veranstaltung Übungsblätter Skript Prakt.Übungen Projekte Info Theoretische Informatik II: Ausgewählte Kapitel Staiger/Stiebe         Rekursionstheorie I Staiger/Stiebe         Parallele Modelle und Algorithmen Winter Aufg.1 Aufg.2 Aufg.3 Aufg.4 Aufg.5 Aufg.6 Aufg.7 Aufg.8 Inhalt Projekt   Proseminar: Graphen und Algorithmen Staiger/Stiebe         Oberseminar Theoretische Informatik Staiger       Themen   Sommersemester 98 Veranstaltung Übungsblätter Skript Prakt.Übungen Projekte Info Informatik IV: Theoretische Informatik I Winter/ Stiebe     Prakt.Aufg. Termine Seminar: Approximationsalgorithmen bei schweren Problemen Winter / Stiebe Votragsthemen   Projekt   Übungen Informatik II: Datenstrukturen und Algorithmen Stiebe siehe hier         Wintersemester 97/98 Veranstaltung Übungsblätter Skript Praktische Übungen Info Theoretische Informatik II: Mathematische Logik Staiger /Stiebe         Sequentielle und parallele Komplexitätstheorie Winter   Inhalt Projekt   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.Aufg. Termine   Sommersemester 97 Veranstaltung Übungsblätter Skript Praktische Übungen Info 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 96/97 Veranstaltung Übungsblätter Skript Praktische Übungen Info 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 96 Veranstaltung Übungsblätter Skript Praktische Übungen Info 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 95/96 Veranstaltung Übungsblätter Skript Praktische Übungen Info 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 95 Veranstaltung Übungsblätter Skript Praktische Übungen Info 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 94/95 Veranstaltung Übungsblätter Skript Praktische Übungen Info Theoretische Informatik II: Ausgewählte Kapitel der Theoretischen Informatik Weber         Komplexitätstheorie Winter   Inhalt       Seminare: Komplexitätstheorie Winter Vortragsthemen         Sommersemester 94 Veranstaltung Übungsblätter Skript Praktische Übungen Info Informatik IV: Theoretische Informatik I Winter   Inhalt       Wintersemester 93/94 Veranstaltung Übungsblätter Skript Praktische Übungen Info Seminar: Berechenbarkeitsmodelle/Chomsky-Hierarchie Winter Vortragsthemen       Übungen: Informatik I Winter