Archiv: Veranstaltungen in vergangenen Semestern

gehalten am Institut für Informatik der Goethe-Universität Frankfurt am Main
Portiert von http://www.tks.informatik.uni-frankfurt.de/teaching/archiv

SoSe 2014

• VL Logik und Komplexität - Endliche Modelltheorie
• VL Theoretische Informatik 2
• SE Seminar Logik in der Informatik - Logik
• SE TKS-Seminar

WS 2013/14

• VL Logik in der Informatik - Einführung in die formale Logik
• SE TKS-Seminar

SoSe 2013

• SE Bachelor-Seminar zu aktuellen Themen der Theoretischen Informatik
• SE TKS-Seminar

WS 2012/13

• VL Diskrete Modellierung
• VL Logik und Datenbanken
• SE TKS-Seminar

SoSe 2012

• VL Datenstrukturen
• VL Theoretische Informatik 2
• SE Seminar Logik in der Informatik
• SE TKS-Seminar

WS 2011/12

• VL Diskrete Modellierung
• VL Logik in der Informatik
• SE TKS-Seminar

SoSe 2011

• VL Komplexitätstheorie
• SE Bachelor-Seminar zu aktuellen Themen der Theoretischen Informatik
• SE Seminar zu aktuellen Themen der Theoretischen Informatik: Algorithmen — Datenstrom-Algorithmen
• SE TKS-Seminar

WS 2010/11

• VL Diskrete Modellierung
• SE TKS-Seminar

SoSe 2010

• VL Logik und Datenbanken
• SE Seminar Logik in der Informatik
• SE TKS-Seminar

WS 2009/10

• VL Diskrete Modellierung
• VL Logik in der Informatik
• SE Forschungsseminar Informatik und Mathematik
• SE TKS-Seminar

WS 2008/09

• VL Diskrete Modellierung
• VL Logik in der Informatik
• SE Forschungsseminar Informatik und Mathematik

SoSe 2008

• VL Logik und Datenbanken
• SE Seminar zu aktuellen Themen der Theoretischen Informatik: Algorithmen — Datenstrom-Algorithmen

WS 2007/08

• VL Diskrete Modellierung
• SE Seminar zu aktuellen Themen der Theoretischen Informatik: Algorithmen — Datenstrom-Algorithmen