Hybrid Modularized Mathematics Courses with Self-Checks

We report on the redesign of classical introductory mathematics courses on the bachelor level for students of economics and business informatics. Due to limited resources concerning teaching personnel and high participant numbers (~300 every semester in economics,~150 every year in business informatics) we count on automation and digitalization. We converted classical 3-ECTS-monolythic courses into a modularized flipped classroom concept consisting of 6 thematic blocks with fully automated exams and a high ratio of asynchronous course components.

Univ. Prof. Dr. Wolfgang Windsteiger

Johannes Kepler Universität Linz


  • Working on Automated Reasoning since 1995. Co-developer of the "Theorema"-System, which generates mathematical proofs in a human-readable form.
  • Co-Author of 2 volumes of "Algorithmische Methoden" (Birkhäuser-Springer). Mathematics for undergraduate students with a combination of symbolic and numeric approaches to mathematical problems.
  • 25+ years of experience in teaching mathematics in "service-courses" for "non-mathematicians".

Enjoys road-cycling in the high mountains