[ 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.
Language German
Study material Lecture notes
Changing subject? No
Further information
On-site course
Maximum number of participants -
Assignment procedure Direct assignment