[ TM1PGKVLOGA ] KV Logic as a working language

Workload Education level Study areas Responsible person Hours per week Coordinating university
3 ECTS B1 - Bachelor's programme 1. year Mathematics Wolfgang Windsteiger 2 hpw Johannes Kepler University Linz
Detailed information
Original study plan Bachelor's programme Technical Mathematics 2012W
Objectives Students of Logic as a Working Language will be able to:

  • use the language of mathematics appropriately,
  • define mathematical concepts correctly, and
  • apply elementary mathematical proof techniques.
Subject Concrete topics are:

  • syntax of predicate logic,
  • explicit and implicit definitions,
  • elementary proof rules for predicate logic,
  • elementary set theory,
  • induction proofs and variants thereof, and
  • case studies.
Criteria for evaluation Exercises during the semester, exam, oral discussion of the exam.
Methods Lecture, exercises. Teaching method flipped classroom (video study with presence units for discussion, exercises, etc.)
Language German
Study material Lecture notes Presentation slides Videos
Changing subject? No
On-site course
Maximum number of participants -
Assignment procedure Direct assignment