[ 201MASEFMOU18 ] PS 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 The course accompanies the corresponding lecture. Students are expected to model selected problems and demonstrate their results in the form of small papers and presentations.
  • Logical Models of Problems and Computations.
  • Modelling in Kinematics and Mechanics.
  • Modelling and automated proving in geometry and discrete mathematics.
  • How to write scientific papers.
  • How to give scientific presentations.
Criteria for evaluation Written paper and oral presentation.
Methods Students work on individual problems and present their solutions.
Language English
Changing subject? No
On-site course
Maximum number of participants 15
Assignment procedure Direct assignment