Hasso-Plattner-Institut
Prof. Dr. Tobias Friedrich
  
 

Mathematik 2

BSc Lecture - Summer 2021

Personen: Dr. Timo Kötzing, Vanja Doskoč
Links: Lehrveranstaltungen IT-Systems Engineering, Algorithm Engineering Moodle

Beschreibung

In den Vorlesungen zur Mathematik werden die Grundlagen für viele zukünftige Veranstaltungen gelegt, sowie eine allgemeine Bildung im Bereich abstraktes Denken und Problemlösen vermittelt. Zentral sind analytische Fähigkeiten:

  • Was ist das gegebene Problem? Wie ordnet es sich in den weiteren Kontext ein?
  • Welche Formalisierung ist adequat für das Problem?
  • Welche Lösungsansätze gibt es? Welcher Werkzeugkoffer ist relevant?

Konkreter wollen wie die reellen Zahlen auf wissenschaftlichen Niveau verstehen (wichtig insbesondere für den Umgang mit Wahrscheinlichkeiten und somit für Big Data, Information Retrieval und andere KI-Themen) sowie Vektorräume und Matrizen (wiederum wichtig für KI-Themen wie das Machine Learning, aber insbesondere auch sehr relevant im Bereich Computergraphik). Als Themen wird es gehen um:

  • Gruppen, Ringe, Körper;
  • Reelle Zahlen, Folgen, Summen, Landau- bzw. O-Notation;
  • Stetigkeit, Ableitungen, Integrale;
  • Exponentialfunktion, Logarithmusfunktion, Abschätzungen und Ungleichungen;
  • Vektorräume, Matrizen.

Diese Themen zu kennen und ein grundlegendes Wissen über sie zu haben ist allerdings nur ein Lernziel dieser Veranstaltung. Weiterhin sollen die folgenden Fähigkeiten geschult werden:

  • Verstehen und Erstellen formaler Beweise (Kommunikationsfähigkeit);
  • Problemformalisierung;
  • Abstraktes, klares Denken.

Voraussetzungen

Für diesen Kurs wird formal nichts vorausgesetzt; Spaß am Knobeln und Denksport ist aber hilfreich :) Weiterhin wird davon ausgegangen, dass die Themen aus den Veranstaltungen Mathematik I nicht nur bekannt sind, sondern auch beherrscht werden. Insbesondere müssen die formale mathematische Sprache und elementare Beweistechniken (Induktion, Widerspruchsbeweis,...) problemlos angewandt werden können.

Vorlesungsteam

Die Vorlesung wird veranstaltet vom Fachgebiet Algorithm Engineering. An der Durchführung sind die folgenden Personen beteiligt:

Übungsleiter

Sprechzeiten: Am besten einfach per Email kontaktieren!
Büro: A-1.13

E-Mail: Vanja.Doskoc(at)hpi.de