 |
| Detailed information |
| Original study plan |
Bachelor's programme Technical Mathematics 2025W |
| Learning Outcomes |
Competences |
| Students can handle the language of mathematics in practice.
Students can create correct mathematical proofs.
Students can translate colloquial formulations into precise mathematical language.
|
|
| Skills |
Knowledge |
- Students master the language of predicate logic. (K2)
- Students can correctly apply logical proof rules in concrete situations. (K3)
- Students are able to create simple proofs in the smallest detail using logical proof rules. (K3)
- Students recognize logical errors in a proof. (K4)
|
Students know the essential components of the language of predicate logic (quantifiers, connectives, function and predicate symbols). (K1)
Students are aware of the logical rules for proving mathematical statements. (K1)
Students can distinguish terms from statements. (K2)
Students differentiate between knowledge and goals in a proof. (K2)
|
|
| 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 |
|
