Computer-Aided Program Development Group

Teaching

Winter term 2016/2017

  • Übung: Mathematik für Informatiker A
  • Globalübung: Mathematik für Informatiker A
  • Seminar: Mathematische Methoden in der Informatik (Maschinelles Beweisen)

Winter term 2015/2016

  • Übung: Mathematik für Informatiker A
  • Seminar: Mathematische Methoden in der Informatik (Maschinelles Beweisen)

Summer term 2015

  • Seminar: Mathematische Methoden in der Informatik (Maschinelles Beweisen)

Winter term 2014/2015

  • Übung: Mathematik für Informatiker A

Summer term 2014

  • Übung: Programmierpraktikum
  • Übung: Ordnungen und Verbände

Winter term 2013/2014

  • Übung: Mathematik für Informatiker A
  • Seminar: Mathematische Methoden in der Informatik (Relationale Methoden)

Summer term 2013

  • Übung: Programmierpraktikum
  • Übung: Softwareentwicklung für mobile Geräte

Winter term 2012/2013

  • Übung: Mathematik für Informatiker A
  • Übung: Ordnungen und Verbände
  • Seminar: Mathematische Methoden in der Informatik (Relationale Methoden)

Summer term 2012

  • Übung: Programmierpraktikum