
Detailed information 
Original study plan 
Bachelor's programme Computer Science 2021S 
Objectives 
Students posses knowledge about the foundations of discrete structures in mathematics and computer sciences. They are familiar with the presented concepts and mathematical models. They are able to apply them autonomously in examples and case studies.

Subject 
Foundations: basic principles of set theory; relations and their properties, in particular orderings and equivalenzes, partitions; functions and properties like monotonicity, boundedness, being injective/surjective/bijective; operations on functions (composition, inverse); real functions, sequences.
Basics from "Numbers and Counting": natural numbers, integers, rational, and real numbers; (complete) induction; recursion (definition, solution strategies); combinatorics (permutations, binomial coefficients); applications.
Elementary Number Theory: computations in Z and Zn (greatest common divisor, least common multiple); Euclidean algorithm; prime numbers, fundamental theorem of number theory (prime decomposition); linear diophantine equations; congruences and modular arithmetics; Fermat's little theorem, Chinese remainder theorem, applications.
Graphs: directed and undirected graphs; paths, cycles, connectivity, connected components; isomorphic graphs; trees; applications.

Criteria for evaluation 
General: knowledge, understanding, and application of presented contents;
knowledge, familiarity, and application of proposed concepts and methods.
Specifically: Written exam.

Methods 
Slide presentation as well as discussion and examples on the blackboard.

Language 
German 
Study material 
 Kenneth H. Rosen, Discrete Mathematics and Its Applications, McGraw Hill, 5.Auflage, 2003.
 John A. Dossey, Albert D. Otto, Lawrence E. Spence, Charles Vanden Eyden, Discrete Mathematics, Pearson Education, 5. Auflage, 2006.
 Christoph Meinel, Martin Mundhenk, Mathematische Grundlagen der Informatik, Vieweg Teubner, 4. Auflage, 2009.

Changing subject? 
No 
Corresponding lecture 
^{(*)}ist gemeinsam mit 521THEODISU13: UE Diskrete Strukturen (1,5 ECTS) und einer LVA aus dem Studienfach Vertiefung (1,5 ECTS) im Bachelor Informatik äquivalent zu INBIPVOMATG: VO Mathematische Grundlagen (3 ECTS) + INBIPUEMATG: UE Mathematische Grundlagen (3 ECTS)

