|
Theorie der Informatik
Prof. Dr. Isolde Adler |
Institut für Informatik Goethe-Universität Frankfurt am Main |
Winter term 2012/13
Vorlesung: Logik und Datenbanken, gemeinsam mit Prof. Dr. Nicole Schweikardt
Summer term 2012
Kolloquium Mathematische Informatik am FB 12
Winter term 2011/12
Vorlesung: Baumzerlegungen, Algorithmen und Logik
Kolloquium Mathematische Informatik am FB 12
Vorsemesterkurs Quick-Start Informatik
Summer term 2011
Blockseminar (MSc): Aktuelle Themen der theoretischen Informatik: Kombinatorische Spiele & Diskrete Strukturen
Blockseminar (MSc, BSc und L3): Übersetzerbau
Winter term 2010/11
MSc-Seminar:
Aktuelle Themen der theoretischen Informatik: Graphstruktur, Algorithmen und Logik
BSc-Seminar:
Perlen der theoretischen Informatik
Forschungsseminar Informatik und Mathematik
Summer term 2010
Vorsemesterkurs Quick-Start Informatik
Vorlesung:
Datenstrukturen
Forschungsseminar Informatik und Mathematik
Winter term 2009/10
Vorlesung:
Baumzerlegungen, Algorithmen und Logik
Forschungsseminar Informatik und Mathematik
Summer term 2008
Vorlesung:
Logik, Spiele und Automaten
Proseminar: Computer Science Unplugged
Seminar: Aktuelle Themen der Informatik
Mitarbeiterseminar: Logik in der Informatik
Winter term 2007/2008
Seminar: Matroidtheorie
Summer term 2007
Vorlesung: Anwendungen von Graphzerlegungen in Algorithmik und Logik
Girls' Day 2008
Vortrag: Fehlerhafte Codes und Zauberei