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