Abschnittsübersicht

  • Preliminary Schedule

    • March 6 (15:45):
      • Introduction to course topics.
    • March 13, March 20, May 29 (S3 048), June 5:
      • Wolfgang Schreiner: Logical Models of Problems and Computations
    • April 10, April 17, May 15, May 22:
      • Wolfgang Windsteiger: Modeling Problems in Geometry and Discrete Mathematics
    • April 24 (17:15-18:45), May 8 (17:15-18:45), June 12 (17:15-18:45), June 19 (17:15-18:45):
      • Carsten Schneider: Symbolic Summation and the Modeling of Sequences
    Grading

    Students have to submit 3 positive home assignments to pass the course (if an assignment fails, after the course a substitute is handed out)