Topic outline

  • VL Formal Modeling (WS 2022)

    326.006, Wednesday, 15:30-17:00, Room: S2, Z74 Start: October 5, 2022

    We discuss the formal modeling of mathematical problems that are amenable to algorithms and software from symbolic computation; the models are based on the language of algebra and logic. In this lecture, we discuss particular examples from various application domains. In the accompanying proseminar students are expected to model selected problems and demonstrate their results in the form of small papers and presentations.

    As an extra service, some course units may be live-streamed and recorded via the following Zoom Meeting (but no guarantee is given with respect to completeness and quality of the streams, the basic format is on-site, not hybrid):

    Zoom Meeting
    Meeting-ID: 995 2030 2042 Password: ..modeling

  • Organization

    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


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