 |
| 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 |
|
