mat950 - Mathematik für Informatik (Diskrete Strukturen)

Im Zwei-Fächer Bachelor Informatik ist dieses Modul im Basiscurriculum zu studieren.

Klausur nach Abschluss der Vorlesung

Klausur oder mündliche Prüfung

- Kennenlernen und Verstehen des axiomatischen Aufbaus der Mathematik und der Bedeutung mathematischer Argumentation - Beherrschen grundlegender mathematischer Beweistechniken und deren logischer Struktur - Erkennen der Bedeutung von Voraussetzungen in mathematischen Sätzen: Lokalisierung der Voraussetzungen innerhalb der Beweise und mögliche Konsequenzen bei Wegfall von Voraussetzungen - Exemplarisches Kennenlernen weiterer mathematischer Gebiete und damit Erweiterung des eigenen mathematischen Wissens - Kennenlernen von Anwendungen - Vernetzung des eigenen mathematischen Wissens durch Herstellung von Bezügen zwischen verschiedenen mathematischen Bereichen - Erlernen der wesentlichen Ideen und Methoden von diskreten Strukturen in der Mathematik - Beherrschen der Grundbegriffe und wesentlichen Methoden der Graphentheorie - Beherrschen der Grundbegriffe und wesentlichen Methoden der Algebra und Zahlentheorie, wie Gruppen, Ringe, Körper, Restklassenringe, euklidischer Algorithmus, chinesischer Restsatz, Polynome - Beherrschen weiterführender Begriffe und Methoden für diskrete Strukturen, wie z.B. Primzahltests, RSA, graphentheoretische Algorithmen