After successful completion of the course, students are able to...
In the practice part, the more complex proofs are considered, including application cases from computer science (e.g. induction proofs for the termination of recursive programs).
Die LVA besteht aus einem Vorlesungsteil und einem Übungsteil. Im Vorlesungsteil werden Beweistechniken besprochen die dann im Übungsteil selbstständig auf Übungsaufgaben anzuwenden sind.
ECTS breakdown:
VLecture part (ca 2.5 ECTS):
24h in class and 36h preparation (before and after the lecture).
Exercise part (ca 3.5 ECTS):
90h Development of proofs including the documentation, presentation in exercise groups and review of proofs developed by other students.
Elaboration of proofs including their documentation, presentation in exercise groups and peer review of proofs from other students.
Erste Erfahrungen mit Definitionen und im Formalisieren und Beweisen.
Mathematikkenntnisse aus Algebra und Diskrete Mathematik, Rekursion als Programmiertechnik (z.B. aus Algorithmen und Datenstrukturen 1).