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).
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.
See course description.
available (in english)
Performance assessment information (valid until the course unit is held again)
Performance assessment as a semester course
In examination block for
Bachelor's Programme in Computational Science and Engineering 2016; Version 27.03.2018 (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
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.