TGI

• Heimatseite
• Ankündigungen
• Mitarbeiterinnen und Mitarbeiter
• Studentinnen und Studenten

Lehre

• Lehre

Forschung

• Forschung
• Publikationen

Misc

• Service
• Tools
• Petri Nets World
  

Lehrtätigkeiten Frank Heitmann

Lehrtätigkeiten

Vorlesungen

WiSe 2010/11

Algorithmen und Datenstrukturen

Projekte

SoSe 2009

Spezifikation und Analyse verteilter Systeme (Modul IP13)

Übungen

WiSe 2010/2011	Algorithmen und Datenstrukturen (AD)
SoSe 2010	Formale Grundlagen der Informatik (FGI 1): Logik, Automaten, formale Sprachen und Berechenbarkeit
WiSe 2009/2010	Algorithmen und Datenstrukturen (AD)
WiSe 2008/2009	Algorithmen und Datenstrukturen (AD)
SoSe 2008	Formale Grundlagen der Informatik (FGI 1): Logik, Automaten, formale Sprachen und Berechenbarkeit

Tutorien/Repetitorien

SoSe 2010	Formale Grundlagen der Informatik (FGI 1): Logik, Automaten, formale Sprachen und Berechenbarkeit - Tutorium für Studentinnen
WiSe 2008/2009	Algorithmen und Datenstrukturen (AD) - Repetitorium

Weiteres

WiSe 2009/2010

Mathevorkurs für Studenten des Studienganges Computing in Science (CiS)