Lehrtätigkeiten Frank Heitmann

Lehrtätigkeiten

Vorlesungen

SoSe 2016	Formale Grundlagen der Informatik (FGI 1): Logik, Automaten, formale Sprachen und Berechenbarkeit
WiSe 2015/16	Formale Grundlagen der Informatik 3 (FGI 3): Logik und Semantik von Programmen
WiSe 2015/16	Algorithmen und Datenstrukturen
SoSe 2015	Formale Grundlagen der Informatik (FGI 1): Logik, Automaten, formale Sprachen und Berechenbarkeit
SoSe 2014	Spezifikation und Verifikation (Mastervertiefung)
SoSe 2014	Formale Grundlagen der Informatik (FGI 1): Logik, Automaten, formale Sprachen und Berechenbarkeit
WiSe 2010/11	Algorithmen und Datenstrukturen

Projekte

SoSe 2015	Algorithm Engineering
SoSe 2009	Spezifikation und Analyse verteilter Systeme (Modul IP13)

Seminare

WiSe 2015/16	Seminar FGI 3: Logik und Semantik von Programmen
WiSe 2013/14	Seminar FGI 3: Logik und Semantik von Programmen
WiSe 2013/14	Cryptocomplexity
SoSe 2011	Komplexität: Logik, Automaten und Spiele (Modul IP12 / SSE-IP16)

Proseminar

SoSe 2016

Proseminar Perlen der Algorithmik

Übungen

SoSe 2016	Formale Grundlagen der Informatik (FGI 1): Logik, Automaten, formale Sprachen und Berechenbarkeit
SoSe 2014	Formale Grundlagen der Informatik (FGI 1): Logik, Automaten, formale Sprachen und Berechenbarkeit
SoSe 2013	Formale Grundlagen der Informatik (FGI 1): Logik, Automaten, formale Sprachen und Berechenbarkeit
WiSe 2012/13	Algorithmen und Datenstrukturen (AD)
SoSe 2012	Formale Grundlagen der Informatik (FGI 1): Logik, Automaten, formale Sprachen und Berechenbarkeit
WiSe 2010/11	Algorithmen und Datenstrukturen (AD)
SoSe 2010	Formale Grundlagen der Informatik (FGI 1): Logik, Automaten, formale Sprachen und Berechenbarkeit
WiSe 2009/10	Algorithmen und Datenstrukturen (AD)
WiSe 2008/09	Algorithmen und Datenstrukturen (AD)
SoSe 2008	Formale Grundlagen der Informatik (FGI 1): Logik, Automaten, formale Sprachen und Berechenbarkeit

Tutorien/Repetitorien

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

Weiteres

WiSe 2009/10

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