Research Group Theoretical Computer Science

Lehrveranstaltungen früherer Semester

Die folgenden Informationen betreffen Lehrveranstaltungen vergangener Semester.
Hier geht es zu den Lehrveranstaltungen im Sommersemester 2013.

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

• Kapitel 1 (pdf, ps, ps verkleinert)
• Kapitel 2 (pdf, ps, ps verkleinert)
• Kapitel 3+4 (pdf, ps, ps verkleinert)
• Kapitel 5+6+7 (pdf, ps, ps verkleinert)
• Kapitel 8+9+10 (pdf, ps, ps verkleinert)
• Kapitel 11-15 (pdf, ps, ps verkleinert)
• Kapitel 16 (pdf, ps, ps verkleinert)
• Kapitel 17-19 (pdf, ps, ps verkleinert)

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

• Termine:
• Skript zur Veranstaltung
  Verkleinert, als gzip'ed PostScript oder PostScript oder PDF
  Originalgröße, als gzip'ed PostScript oder PostScript oder PDF

• Aufgabenblätter:
  Blatt1, Blatt2, Blatt3, Blatt4, Blatt5

---

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

• Skript zur Veranstaltung (.ps, .pdf) NEU! 10.Dez.2002
• Aufgabenblätter:
  Blatt 1 (.ps, .pdf)
  Blatt 2 (.ps, .pdf)
  Blatt 3 (.ps, .pdf)
  Blatt 4 (.ps, .pdf)
  
  

---

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

• Skript zur Veranstaltung: verkleinert, Originalgröße

• Ein paar Fragen

• TutorInnen:
  Hans-Jörg Kreowski, Renate Klempien-Hinrichs, Daniel Cermak-Sassenrath, Hans-Jürgen Ficker, Karsten Hölscher, Björn Korth

---

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

• Skript zur Veranstaltung
  (Stand: 13.12.2000)

---

Theoretische Informatik 1 (Sommersemester 2000)

• Skript zur Veranstaltung
  Verkleinert, als gzip'ed PostScript oder PostScript
  Originalgröße, als gzip'ed PostScript oder PostScript

• Übungsaufgaben:
  Blatt 1, gzip'ed oder unverpackt
  Blatt 2, gzip'ed oder unverpackt
  Blatt 3, gzip'ed oder unverpackt
  Blatt 4, gzip'ed oder unverpackt
  Blatt 5, gzip'ed oder unverpackt

• TutorInnen:
  Hans-Jörg Kreowski, Hans-Jürgen Ficker, Klaus Lüttich, Karsten Hölscher, Jan Plath, Renate Klempien-Hinrichs

---

Theoretische Informatik 2 (Wintersemester 1999/2000)

• Skript zur Veranstaltung: Verkleinert, Originalgröße

• Ergänzungen zum Skript:
  Die Chomsky-Hierarchie
  Kellerautomaten
  reguläre Ausdrücke
  Übersetzung von Kellerautomaten in kontextfreie Grammatiken

---

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

• Skript zur Veranstaltung (noch unvollständig!): Verkleinert, Originalgröße

• Übungsaufgaben: Blatt 1, Blatt 2, Blatt 3, Blatt 4

---

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

• Semesteraufgabe

• Form eines Artikels: PostScript-Datei, LaTeX-Datei, Literatur (Bibtex-Format)

• Beispiel: Artikel zu Collagen-Grammatiken

• Fertiggestellte Beiträge von Teilnehmenden des Kurses:
  Markus Eich: Allgemeine Sticker-Systeme

---

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 64450
Fax
++49 (421)218 64459

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

© / 12.03.13