[ 201MAMOFMOV18 ] VL Formal Modelling

Workload Education level Study areas Responsible person Hours per week Coordinating university
3 ECTS B3 - Bachelor's programme 3. year Mathematics Wolfgang Windsteiger 2 hpw Johannes Kepler University Linz
Detailed information
Original study plan Bachelor's programme Technical Mathematics 2018W
Objectives We discuss the formal modelling 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.
  • Logical Models of Problems and Computations.
  • Modelling in Kinematics and Mechanics.
  • Modelling and automated proving in geometry and discrete mathematics.
Criteria for evaluation Project work during the semester.
Methods Lecture with application-oriented exercises.
Language English
Changing subject? No
On-site course
Maximum number of participants -
Assignment procedure Direct assignment