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

Lehrveranstaltungen früherer Semester

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

Algorithmen auf Graphen (Sommersemester 2017)

Sabine Kuske

Petri-Netze (Wintersemester 2016/2017)

Sabine Kuske

Algorithmen auf Graphen (Sommersemester 2016)

Sabine Kuske

Petri-Netze (Wintersemester 2015/2016)

Sabine Kuske

Algorithmen auf Graphen

Sabine Kuske

Theoretische Informatik 1 (Wintersemester 2014/2015)

Hans-Jörg Kreowski

Formale Sprachen: DNA-Computing (Wintersemester 2014/2015)

Hans-Jörg Kreowski

Petri-Netze (Wintersemester 2014/2015)

Sabine Kuske

Weihnachtsvorlesung (Wintersemester 2014/2015)

Hans-Jörg Kreowski

Theoretische Informatik 2 (Sommersemester 2014)

Hans-Jörg Kreowski

Algorithmen auf Graphen (Sommersemester 2014)

Hans-Jörg Kreowski, Sabine Kuske

Formale Sprachen: Graphtransformation (Wintersemester 2013/2014)

Hans-Jörg Kreowski, Sabine Kuske

Syntaktische Methoden der Bilderzeugung ( Wintersemester 2013/2014)

Hans-Jörg Kreowski

Petri Netze (Wintersemester 2013/2014)

Sabine Kuske

Algorithmen auf Graphen (Sommersemester 2013)

Hans-Jörg Kreowski, Sabine Kuske

Theoretische Informatik 1 (Wintersemester 2012/2013)

Hans-Jörg Kreowski

Formale Sprachen: DNA-Computing (Wintersemester 2012/2013)

Hans-Jörg Kreowski

Petri Netze (Wintersemester 2012/2013)

Sabine Kuske

Theoretische Informatik 2 (Sommersemester 2012)

Hans-Jörg Kreowski

Algorithmen auf Graphen (Sommersemester 2012)

Hans-Jörg Kreowski, Sabine Kuske

Formale Sprachen: Graphtransformation (Wintersemester 2011/2012)

Hans-Jörg Kreowski

Petri-Netze (Wintersemester 2011/2012)

Hans-Jörg Kreowski, Sabine Kuske

Algorithmen auf Graphen (Sommersemester 2011)

Hans-Jörg Kreowski, Sabine Kuske

Formale Sprachen: DNA Computing (Sommersemester 2011)

Hans-Jörg Kreowski

Theoretische Informatik 1 (Wintersemester 2010/2011)

Hans-Jörg Kreowski

Algorithmen auf Graphen (Wintersemester 2010/2011)

Hans-Jörg Kreowski

Formale Sprachen: Graphtransformation (Sommersemester 2010)

Hans-Jörg Kreowski

Theoretische Informatik 2 (Sommersemester 2010)

Hans-Jörg Kreowski

Algorithmen auf Graphen (Wintersemester 2009/2010)

Hans-Jörg Kreowski

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

Formale Sprachen: Graphtransformation (Sommersemester 2008)

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
    Bibliothekstrasse 5
    MZH 5130
    28359 Bremen

    Phone
    ++49(421)218 64451

    Email (Secr.)
    Helga Reinermann

    helga@tzi.de