University of Bremen Logo  
 
Research Group Theoretical Computer Science
 
HOME
TEAM
TEACHING
RESEARCH

Lehrveranstaltungen früherer Semester

Die folgenden Informationen betreffen Lehrveranstaltungen vergangener Semester.
Hier geht es zu den Lehrveranstaltungen im Wintersemester 2009/2010.

Theoretische Informatik 2 (Sommersemester 2009)

Hans-Jörg Kreowski

Formale Sprachen: DNA Computing (Sommersemester 2009)

Hans-Jörg Kreowski

Syntaktische Methoden der Bilderzeugung: Theorie und Labor (Sommersemester 2009)

Hans-Jörg Kreowski

Theoretische Informatik 1 (Wintersemester 2008/2009)

Hans-Jörg Kreowski

Algorithmen auf Graphen (Wintersemester 2008/2009)

Hans-Jörg Kreowski

Theoretische Informatik 2 (Sommersemester 2008)

Sabine Kuske

Petri-Netze 2 (Wintersemester 2007/2008)

Renate Klempien-Hinrichs

Algorithmen auf Graphen (Wintersemester 2007/2008)

Renate Klempien-Hinrichs

Theoretische Informatik 1 (Wintersemester 2007/2008)

Sabine Kuske

Theoretische Informatik 2 (Sommersemester 2007)

Sabine Kuske

Formale Sprachen: DNA Computing (Sommersemester 2007)

Hans-Jörg Kreowski

Theoretical Aspects of Logistics (Sommersemester 2007)

Hans-Jörg Kreowski

Petri-Netze (Sommersemester 2007)

Renate Klempien-Hinrichs

Programmverifikation (Sommersemester 2007)

Renate Klempien-Hinrichs

Graduiertenseminar Theoretische Informatik (Sommersemester 2007)

Hans-Jörg Kreowski

Theoretische Informatik 1 (Wintersemester 2006/2007)

Sabine Kuske

Algorithmen auf Graphen (Wintersemester 2006/2007)

Hans-Jörg Kreowski

Syntaktische Methoden der Bilderzeugung (Wintersemester 2006/2007)

Hans-Jörg Kreowski

Theoretische Informatik 2 (Sommersemester 2006)

Hans-Jörg Kreowski

Formale Sprachen: Graphtransformation (Sommersemester 2006)

Hans-Jörg Kreowski

Theoretische Informatik 1 (Wintersemester 2005/2006)

Hans-Jörg Kreowski

Algorithmen auf Graphen (Wintersemester 2005/2006)

Hans-Jörg Kreowski

Graduiertenseminar Theoretische Informatik (Wintersemester 2005/2006)

Hans-Jörg Kreowski

Theoretische Informatik 2 (Sommersemester 2005)

Hans-Jörg Kreowski

Formale Sprachen: DNA Computing (Sommersemester 2005)

Hans-Jörg Kreowski

Formale Konstruktions- und Beweismethoden für baumbasierte Bilderzeugung (Sommersemester 2005)

Renate Klempien-Hinrichs

Graduiertenseminar Theoretische Informatik (Sommersemester 2005)

Hans-Jörg Kreowski

Theoretische Informatik 1 (Wintersemester 2004/2005)

Hans-Jörg Kreowski

Algorithmen auf Graphen (Wintersemester 2004/2005)

Hans-Jörg Kreowski

Petri-Netze (Wintersemester 2004/2005)

Renate Klempien-Hinrichs

Graduiertenseminar Theoretische Informatik (Wintersemester 2004/2005)

Hans-Jörg Kreowski

Theoretische Informatik 2 (Sommersemester 2004)

Hans-Jörg Kreowski

Formale Sprachen: Graphtransformation (Sommersemester 2004)

Hans-Jörg Kreowski

Graduiertenseminar Theoretische Informatik (Sommersemester 2004)
Hans-Jörg Kreowski

Theoretische Informatik 1 (VAK 3-601.01, ECTS: 6) (Wintersemester 2003/2004)

Hans-Jörg Kreowski
  • Skript zur Veranstaltung
  • Folien zu kontextfreien Sprachen und Grammatiken (900kb)

  • Fragenkataloge (pdf, ps)

    Algorithmen auf Graphen (VAK 3-602.01, ECTS: 6) (Wintersemester 2003/2004)
    Hans-Jörg Kreowski

    Graduiertenseminar Theoretische Informatik (Wintersemester 2003/2004)
    Hans-Jörg Kreowski

    Theoretische Informatik 2 (VAK 3-522, ECTS: 6) (Sommersemester 2003)

  • Skript zur Veranstaltung

    • Verkleinert, als gzip'ed PostScript oder PDF
    Originalgröße, als gzip'ed PostScript oder PDF

  • Extra-Material

    • Korrekte Modellierung als gzip'ed PostScript oder PDF
    Produktautomat und Leerheitstest als gzip'ed PostScript oder PDF

  • Aufgabenblätter

    • Blatt 1 als gzip'ed PostScript oder als PDF
    Blatt 2 als gzip'ed PostScript oder als PDF
    Blatt 3 als gzip'ed PostScript oder als PDF
    Blatt 4 als gzip'ed PostScript oder als PDF
    Blatt 5 als gzip'ed PostScript oder als PDF

  • Fragenkataloge für die Fachgespräche
    • als gzip'ed PostScript oder als PDF

    DNA Computing (VAK 3-622, 4 SWS, ECTS: 6) (Sommersemester 2003)
    Hans-Jörg Kreowski

    Programmverifikation (VAK 03-633, 4 SWS, ECTS: 6 ) (Sommersemester 2003)
    Renate Klempien-Hinrichs, Julia Padberg, Karsten Hölscher

    Graduierten Seminar Theoretische Informatik (Sommersemester 2003)
    Hans-Jörg Kreowski

    Theoretische Informatik 1 für Studierende im 1. Semester (VAK 03-521) (WS 2002/2003)
    Julia Padberg



    Theoretische Informatik 1 für Studierende im 3. Semester (WS 2002/2003)
    Hans-Jörg Kreowski

    Algorithmen auf Graphen (VAK 03-611) (WS 2002/2003)
    Hans-Jörg Kreowski

    Petrinetze: Modellierung, Strukturierung und Kompositionalität (VAK 03-691) (WS 2002/2003)
    Julia Padberg

    Weitere Informationen findet ihr unter
    http://www.informatik.uni-bremen.de/~padberg/PN

    Graduierten Seminar Theoretische Informatik (Wintersemester 2002/2003)
    Hans-Jörg Kreowski

    Formale Sprachen (SoSe 2002)
    Renate Klempien-Hinrichs

    • Fragenkatalog (.ps, .pdf)

    • JFLAP: ein Simulationssystem u.a. für endliche Automaten

    • Ein Artikel aus dem Heise-Verlag über Mustersuche und reguläre Ausdrücke

    Theoretische Informatik 1 (Wintersemester 2001/02)
    Diese Veranstaltung wurde von Grigoris Antoniou gehalten.

    Algorithmen auf Graphen (Wintersemester 2001/02)
    Hans-Jörg Kreowski

    • Skript zur Veranstaltung (.ps, .pdf)
      (Stand: 13.12.2000)

    Algebraische Spezifikation (Wintersemester 2001/02)
    Hans-Jörg Kreowski, Renate Klempien-Hinrichs

    • Skript zur Veranstaltung: Kapitel 1 bis 6,
      groß (.ps, .pdf) und klein (.ps, .pdf)

    • Eine kleine Ergänzung zum Skript (.ps, .pdf)

    • Übungsaufgaben:
      Blatt 1 (.ps, .pdf)
      Blatt 2 (.ps, .pdf)
      Blatt 3 (.ps, .pdf)
      Blatt 4 (.ps, .pdf)

    • Im Verlauf dieser Lehrveranstaltung werden wir darüber nachdenken, wie Algebraische Spezifikation mit multimedialer Unterstützung besser gelehrt werden kann. Unsere ersten Überlegungen dazu finden sich hier.
      Wir freuen uns über eure Anregungen, Vorschläge, Wünsche etc. und hoffen auf rege Diskussionen und spannende Experimente!

    Projekt ANIMA - Regellabor für Visualisierung und Animation
    (Wintersemester 1999/2000 - Sommersemester 2001)
    Hans-Jörg Kreowski, Frank Drewes, Renate Klempien-Hinrichs

    Graphtransformation (Sommersemester 2001)
    Hans-Jörg Kreowski

    Petri-Netze: Von Theorie zu Praxis (Sommersemester 2001)
    Sofie Czernik, Peter Knirsch

    Theoretische Informatik 2 (Wintersemester 2000/01)
    Hans-Jörg Kreowski

    Algorithmen auf Graphen (Wintersemester 2000/01)
    Hans-Jörg Kreowski

    • Skript zur Veranstaltung
      (Stand: 13.12.2000)

    Theoretische Informatik 1 (Sommersemester 2000)

    Theoretische Informatik 2 (Wintersemester 1999/2000)

    Syntaktische Methoden der Bilderzeugung (Wintersemester 1999/2000)
    Frank Drewes, Hans-Jörg Kreowski

    DNA-Computing (Sommersemester 1999)
    Hans-Jörg Kreowski

    Mail Address
    University of Bremen
    Dept. for Math. &
    Computer Science
    P.O. Box 330 440
    28334 Bremen
    Germany

    Physical Address
    Linzer Strasse 9a
    OAS 3002
    28359 Bremen

    Phone
    ++49 (421) 218 3697
    Fax
    ++49 (421) 218 4322

    Email (Secr.)
    Helga Reinermann
    helga@tzi.de