Die Studierenden verstehen und beherrschen den Umgang mit Aussagen und deren Verknüpfungen; sie beherrschen den Umgang mit Mengen und Relationen; sie beherrschend die grundlegende Axiometrie im Bereich der reellen- und komplexen Zahlen; sie verstehen die Grundlagen der modularen Arithmetik; sie beherrschen die elementaren Zählprobleme der Kombinatorik; sie verstehen die Grundlagen der Graphentheorie.

Keine

Die Lehrveranstaltung beinhaltet folgende Themenschwerpunkte:

• Aussagenlogik und Prädikatenlogik (Aussagen und Aussageformen, Aussagen-logische Verknüpfungen, Implikationen und Äquivalenzen, Bool'sche Algebra),
• Mengen (Mengenbegriff und elementare Mengen, Mengen-Operationen und Rechenregeln, Mengenprodukte),
• Relationen (Relationsbegriff und Äquivalenzrelationen, Eigenschaften),
• Funktionen (Funktionsbegriff und elementare Eigenschaften),
• Zahlenmengen (von den natürlichen bis zu den komplexen Zahlen), Zahlentheorie (modulare Arithmetik, Prüfziffern, Euklidscher Algorithmus), Kombinatorik (grundlegende Abzählmodelle)

Folgende Basis-Literatur wird in der Lehrveranstaltung verwendet:

• Teschl, G., Teschl, S., Mathematik für Informatiker, Band 1, Springer, 2006;
• Schubert, M., Mathematik für Informatiker, Springer, 2012;
• Stingl, P., Mathematik für Fachhochschulen, Hanser, 1999;

Vortrag, Behandlung von Übungsbeispielen, begleitender Einsatz von Computeralgebra-Systemen (MATLAB) sowie digitaler Medien zum Selbst-Studium.

Immanenter Prüfungscharakter mit

• Mitarbeit,
• Schriftliche Prüfungen oder Teilprüfungen