KursbeschreibungIm Kurs werden zunächst Beweismethoden an einfachen Beispielen vorgestellt und und anhand von kombinatorischen Problemen eingeübt. Dabei werden elementare Abzählprobleme und Abschätzungen für Fakultäten und Binomialkoeffizienten vorgestellt. Nach kurzer Diskussion von Relationen und Partialordnungen werden Graphen eingeführt. Als algorithmische Probleme behandeln wir Breitensuche, Eulertouren, minimale aufspannende Bäume und bipartites Matching.
Später wenden wir uns Rechnungen mit Fließkommazahlen zu. Wir stellen kurz die Kodierung dieser Zahlen vor und mögliche Fehlerquellen bei rundungsfehlerbehafteten Rechnungen. Im Folgenden diskutieren wir klassische Verfahren der Linearen Algebra wie LU-Zerlegung und Cholesky-Faktorisierung. Aus der linearen Optimierung stellen wir den Simplex-Algorithmus vor und aus der nichtlinearen Optimierung das Newton-Verfahren.
Der Kurs wendet sich vor allem an Studierende der Informatik oder Wirtschaftinformatik. Er ist ein Pflichtkurs in beiden Bachelorprogrammen. Wir setzen eine erfolgreiche Bearbeitung des Kurses Wirtschaftsmathematik oder des Kurses Mathematische Grundlagen voraus.
Diese Lehrveranstaltung beinhaltet zugriffsgeschütztes Material, das nur nach dem Einloggen und bei vorhandener Belegung der Lehrveranstaltung eingesehen werden kann. Studierende der FernUniversität sollten sich einloggen.