Perfilado de sección

  • Preliminary Schedule

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