Logik in der Informatik Prof. Nicole Schweikardt

Lucas Heimberg Besucheranschrift:   Lucas Heimberg Johann von Neumann-Haus Haus 3 / 4. Etage, Raum 423 Rudower Chaussee 25 12489 Berlin (Adlershof) Sprechstunde: Nach Vereinbarung Telefon: +49-30-2093 3169 E-Mail: Öffentlicher Schlüssel URL: www.informatik.hu-berlin.de/~heimberl/

Publikationen

Aktuelle Publikationsliste bei dblp

Lehre

• WiSe 2017/18
  • Einführung in die Theoretische Informatik (Übung)
• SoSe 2017
  • VL Algorithmen und Datenstrukturen (Übung)
• WiSe 2016/17
  • VL Logik in der Informatik (Übung und Praktikum)
• SoSe 2016
  • VL Angewandte Mathematik für die Informatik (Übung)
• WiSe 2015/16
  • VL Logik in der Informatik (Übung und Praktikum)
• WiSe 2014/15
  • VL Logik in der Informatik (Übung und Praktikum)

Lehre in vergangenen Semestern an der Johann Wolfgang Goethe-Universität Frankfurt am Main:

• SoSe 2014
  • SE Logik in der Informatik - Logik
• WiSe 2012/13
  • VL Diskrete Modellierung (Übung)
• WiSe 2010/11
  • VL Diskrete Modellierung (Übung)
• SoSe 2010
  • SE Logik in der Informatik