Content: Mathematical reasoning and proofs, abstraction. Sets, relations (e.g. equivalence and order relations), functions, (un-)countability, number theory, algebra (groups, rings, fields, polynomials, subalgebras, morphisms), logic (propositional and predicate logic, proof calculi).
Objective
The primary goals of this course are (1) to introduce the most important concepts of discrete mathematics, (2) to understand and appreciate the role of abstraction and mathematical proofs, and (3) to discuss a number of applications, e.g. in cryptography, coding theory, and algorithm theory.
Content
See course description.
Lecture notes
available (in english)
Performance assessment
Performance assessment information (valid until the course unit is held again)
Performance assessment as a semester course
In examination block for
Bachelor's Degree Programme in Computational Science and Engineering 2018; Version 13.12.2022 (First Year Examination Block 1) Bachelor's Degree Programme in Computer Science 2016; Version 07.04.2022 (First Year Examination Block 1)
The performance assessment is offered every session. Repetition possible without re-enrolling for the course unit.
Mode of examination
written 180 minutes
Additional information on mode of examination
Während des Semesters können durch aktive Mitarbeit Bonuspunkte erarbeitet werden. Die Veranstaltung bietet als "Leistungselement" (im Sinne der WEISUNG: Anwendung von Leistungselementen in der Lehre vom 22.12.2017) Lernelemente an. Die Lernelemente sind Bonusaufgaben und klar markierter Teil der wöchentlichen Aufgabensammlung. In maximal 12 Wochen wird es Bonusaufgaben geben. Die beiden schlechtesten Wochen werden nicht gewertet. Die erworbenen Punkte verbessern das Ergebnis der schriftlichen Prüfung um maximal 0.25 Notenpunkte.
Unehrliches Verhalten bei der Bearbeitung der Lernelemente (z.B., Kopieren der Lösungen von Kommilitonen oder anderen Quellen, zur Verfügung stellen der eigenen Lösungen zum Kopieren) haben ernste Konsequenzen inklusive der Aberkennung aller Bonuspunkte dieser Veranstaltung.
Written aids
Selbstverfasste, handgeschriebene Notizen auf 6 A4-Seiten (respektive 3 Blätter doppelseitig).
If the course unit is part of an examination block, the credits are allocated for the successful completion of the whole block. This information can be updated until the beginning of the semester; information on the examination timetable is binding.