
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 
