Es ist eine neuere Version 2025W dieser LV im Curriculum Master's programme Artificial Intelligence 2025W vorhanden.
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.
