PDF

MODULBESCHREIBUNG

Diskrete Mathematik für Informatik

Kurzzeichen:
M_DMI
Durchführungszeitraum:
HS 2014 - HS 2018
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:
Olaf Tietje
Empfohlene Module:
-
Zusätzlich vorausgesetzte Kenntnisse:
Keine
Modultyp:
Standard-Modul für Informatik (Bachelor 05) (Empfohlenes Semester: 1)
Standard-Modul für Informatik (Bachelor 11) (Empfohlenes Semester: 1)
Standard-Modul für Informatik (Bachelor 14) (Empfohlenes Semester: 1)

ECTS-Punkte pro Kategorie

Kategorie:
Informatik (Bachelor 05)
Mathematik / 4 Punkte
Informatik (Bachelor 11)
Mathematik / 4 Punkte
Informatik (Bachelor 14)
Mathematik / 4 Punkte

Modulbewertung

Bewertungsart:
Note von 1 - 6

Leistungsbewertung

Während der Prüfungssession:
Schriftliche Prüfung, 120 Minuten
Zulassungsbedingungen zur Prüfung:
 

Während des Semesters:
 
Bewertungsart:
keine Note oder Wertung

Kurse in diesem Modul

Diskrete Mathematik für Informatik

Kürzel:
DMI
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.
Kursart:
Vorlesung mit 3 Lektionen pro Woche
Uebung mit 1 Lektionen pro Woche

Übergangsregelungen:
Beschreibung erzeugt: 2018-12-14 11:50:55
Letzte Moduländerung: 2013-12-16 12:32:14
Modul-Id: 24442 (Vorgänger)
Status: aktiviert