Goals of this Course
Students of this course will be able to
- handle the language of mathematics appropriately,
- define mathematical notions and concepts correctly,
- understand the role of mathematical notations, and
- use the logical rules of inference in order to create elementary mathematical proofs.
Prerequisites for this Course
None. The course is designed for beginners of a bachelor study Technical Mathematics, usually in their second semester.
Examination
Voluntary exercises during the semester to be prepared at home and discussed in class. Short written exam consisting of an elementary proof plus oral exam explaining the proof produced in the written exam.Content
- Syntax of predicate logic,
- explicit and implicit definitions,
- elementary rules of inference for predicate logic,
- elementary set theory,
- proofs by induction, and
- case studies.
Lecture Notes
Language
The course will be taught in english if there is at least one non-german-speaking participant, otherwise we will talk german.
- Teacher: Wolfgang Windsteiger