Vorlesung Programmierung 1 an der Universität des Saarlandes

Programming Systems

Gert Smolka

Publications

Teaching

Software

Formalizations

• Buch zur Vorlesung
• Interpreter zur Vorlesung
• Videos zur Vorlesung
• Webseiten der zuletzt gehaltenen Vorlesungen:
  • Wintersemester 2019/20 (Holger Hermanns)
  • Wintersemester 2018/19 (Gert Smolka)
  • Wintersemester 2017/18 (Bernd Finkbeiner)
  • Wintersemester 2016/17 (Holger Hermanns)
  • Wintersemester 2015/16 (Gert Smolka)
  • Wintersemester 2014/15 (Bernd Finkbeiner)
  • Wintersemester 2013/14 (Holger Hermanns)
  • Wintersemester 2012/13 (Gert Smolka)
  • Wintersemester 2011/12 (Holger Hermanns)
  • Wintersemester 2010/11 (Gert Smolka)
  • Sommersemester 2010 (Bernd Finkbeiner)
  • Wintersemester 2009/10 (Holger Hermanns)
  • Ältere Ausgaben der Vorlesung (seit WS 1998/99) finden Sie hier und hier.