Section outline

  • Preliminary Schedule

    • October 8 (16:00):
      • Introduction to course topics.
    • October 15, October 22, November 26, December 3:
      • Wolfgang Schreiner: Logical Models of Problems and Computations
    • October 29, November 5, December 10, December 17:
      • Wolfgang Windsteiger: Modeling Problems in Geometry and Discrete Mathematics
    • November 12 (16:30-18:00), November 19 (16:30-18:00), January 7 (16:30-18:00), January 14 (16:30-18:00):
      • 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)