Modulbeschreibung
Mathematische Grundlagen der Informatik 1
Kurzzeichen:
M_Math1I
Durchführungszeitraum:
WS/05-HS/13
ECTS-Punkte:
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:
Tietje Olaf
Standort (angeboten):
Rapperswil-Jona
Zusätzlich vorausgesetzte Kenntnisse:
Keine
Skriptablage:
Modultyp:
Standard-Modul für Informatik STD_05(Empfohlenes Semester: 1)
Standard-Modul für Informatik STD_02(Empfohlenes Semester: 1)
Standard-Modul für Informatik U1_01(Empfohlenes Semester: 1)
Standard-Modul für Informatik STD_11(Empfohlenes Semester: 1)
ECTS-Punkte pro Kategorie
Mathematik / 4 Punkte
Mathematik / 4 Punkte
Mathematik / 4 Punkte
Modulbewertung
Bewertungsart:
Note von 1 - 6
Leistungsbewertung
Während der Prüfungssession:
Schriftliche Prüfung, 120 Minuten
Kurse in diesem Modul
Mathematische Grundlagen der Informatik 1
Kurzzeichen:
Math1I
Lernziele:
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
Bibliographie:
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)