mat950 - Mathematik für Informatik (Diskrete Strukturen) (Vollständige Modulbeschreibung)

- 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

Elemente der Aussagenlogik, Beweismethoden, Mengen, Relationen und Abbildungen, Kombinatorik, Graphen und Anwendungen, die ganzen Zahlen und ihre Restklassenringe, Gruppen und Halbgruppen

B. Kreußler und G. Pfister: Mathematik für Informatiker, Springer-Verlag 2009 (campusweiter Online-Zugriff auf den Volltext über das Bibliothekssystem) Weitere Literatur wird in der Veranstaltung bekannt gegeben.

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

Klausur nach Abschluss der Vorlesung

Klausur oder mündliche Prüfung