Modulbeschreibung
Diskrete Mathematik für Informatik
Kürzel:
M_DMI
Durchführungszeitraum:
HS/14-HS/26
ECTS-Credits:
4
Lernziele:
Fähigkeiten und Kenntnisse in den folgenden Gebieten:
- Mathematische Argumentationen.
- Rekursive Strukturen und Algorithmen.
- Grundlagen der Mengenlehre und der formalen Logik.
- Vektoren, Matrizen, lineare Abbildungen.
Verantwortliche Person:
Prof. Dr. Kämpfer Thomas (KTHO)
Standort (angeboten):
Rapperswil-Jona
Zusätzlich vorausgesetzte Kenntnisse:
Keine
Skriptablage:
Modultyp:
Wahlpflicht-Modul für Informatik Retro STD_14_UG(Empfohlenes Semester: 1)
Wahlpflicht-Modul für Informatik STD_05(Empfohlenes Semester: 1)
Wahlpflicht-Modul für Informatik STD_11(Empfohlenes Semester: 1)
Wahlpflicht-Modul für Informatik STD_14(Empfohlenes Semester: 1)
Wahlpflicht-Modul für Informatik STD_21(Empfohlenes Semester: 1)
Wahlpflicht-Modul für Informatik STD_23(Empfohlenes Semester: 1)
Semester Empfehlung:
Informatik_STD_23
- Musterstudienplan Informatik TZ Artificial Intelligence – Semester 1
- Musterstudienplan Informatik TZ Cyber Security – Semester 1
- Musterstudienplan Informatik TZ Data Science – Semester 1
- Musterstudienplan Informatik TZ Network and Cloud Infrastructure – Semester 1
- Musterstudienplan Informatik TZ Software Engineering – Semester 1
- Musterstudienplan Informatik VZ Artificial Intelligence – Semester 1
- Musterstudienplan Informatik VZ Cyber Security – Semester 1
- Musterstudienplan Informatik VZ Data Science – Semester 1
- Musterstudienplan Informatik VZ Network and Cloud Infrastructure – Semester 1
- Musterstudienplan Informatik VZ Software Engineering – Semester 1
ECTS-Credits pro Kategorie
Mathematik / 4 Credits
Mathematik / 4 Credits
Mathematik / 4 Credits
Modulbewertung
Bewertungsart:
Note von 1 - 6
Leistungsbewertung
Während der Prüfungssession:
Schriftliche Prüfung, 120 Minuten
Kurse in diesem Modul
Diskrete Mathematik für Informatik
Kürzel:
DMI
Semester:
1
Plan und Lerninhalt:
1. Logik
- Logische Grundbegriffe (Aussagen, Formeln mit Variablen, Erfüllungsmengen).
- Mengenlehre (Mengen, Boolesche Mengenoperationen, Potenzmengen, kartesische Produkte, Relationen, Funktionen).
- Logische Quantoren.
- Mathematische Beweise (direkte und indirekte Beweise, Kontraposition, Implikationen und Aequivalenzen).
- Rekursive und induktive Definitionen, Beweise durch vollständige Induktion.
- Formale Aussagenlogik (Syntax und Semantik, Normalformen).
2. Lineare Algebra
- Vektorräume (geometrisch und abstrakt).
- Gleichungen von Geraden und Ebenen (Parameterdarstellungen, Koordinatengleichungen).
- Skalar- und Vektorprodukt.
- Lineare Abbildungen und Matrizen.
Unterrichtssprache:
Deutsch
Kursart:
Durchführung gemäss Stundenplan
Vorlesung mit 3 Lektionen pro Woche
- Max. Teilnehmer:36
- Harte Grenze:ja
Uebung mit 1 Lektionen pro Woche
- Max. Teilnehmer:18
- Harte Grenze:ja
Übergangsregelungen:
Diskrete Mathematik (mUk_DisMat / MN) (nicht durchgeführt)