[ 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.

Subject 
 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 applicationoriented exercises.

Language 
English 
Changing subject? 
No 



Onsite course 
Maximum number of participants 
 
Assignment procedure 
Direct assignment 
