Arbeitsgruppe Rechnergestützte Programmentwicklung

Lehre

Wintersemester 2016/2017

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

Wintersemester 2015/2016

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

Sommersemester 2015

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

Wintersemester 2014/2015

  • Übung: Mathematik für Informatiker A

Sommersemester 2014

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

Wintersemester 2013/2014

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

Sommersemester 2013

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

Wintersemester 2012/2013

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

Sommersemester 2012

  • Übung: Programmierpraktikum