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 Äqzivalenzen, 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;

Vorlesung, Behandlung von Übungsbeispielen, begleitend angebotenes Tutorium (siehe Studienbegleitendes Repetitorium LVNr: B2.09100.10.014), begleitender Einsatz von Computeralgebra-Systemen (MATLAB) sowie digitaler Medien zum Selbst-Studium

Prüfungsimmanenter Charakter mit

• Mitarbeit,
• Teil- oder Abschlussprüfung