Hasso-Plattner-Institut
Prof. Dr. Tobias Friedrich
 

Mathematik I

BSc Vorlesung - Winter 2024/25

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 wir die mathematische Sprache erlernen (Aussagen, Objekte und Beweise) sowie Vektorräume und Matrizen (wiederum wichtig für KI-Themen wie das Machine Learning, aber insbesondere auch sehr relevant im Bereich Computergraphik).

Diese Themen zu kennen und ein grundlegendes Wissen über sie zu haben ist allerdings nur ein Lernziel dieser Veranstaltung. Weiterhin liegt ein ganz starker Fokus auf dem Formalisieren von umgangssprachlich gegebenen Objekten und Aussagen. Es geht darum, die mathematische Sprache zu erlernen und sicher zu beherrschend; dies ist eine Grundvorraussetzung für alle weiteren Veranstaltungen.

Voraussetzungen

Für diesen Kurs wird formal nichts vorausgesetzt; Spaß am Knobeln und Denksport ist aber hilfreich :) Weiterhin wird davon ausgegangen, dass die in der Schule und im Vorkurs behandelten Themen bekannt sind und beherrscht werden. Wer sich unsicher ist, kann sich den Vorkurs auf OpenHPI noch einmal anschauen.

Lehr- und Lernform

Es wird eine Vorlesung am Anfang jeder Woche geben, diese bereitet ihr durch das Lesen eines Skripts vor. Das neu angelesene Wissen wird durch ein einfaches Quiz abgefragt und in der Vorlesung besprochen. Danach gibt es zwei Übungenstermine für jede Übungsgruppe, in denen ihr eure Fähigkeiten mit Hilfe von Übungsaufgaben und in Anwesenheit eines Tutors üben könnt. Als Letztes gibt es noch Hausaufgaben zum weiteren Üben und um uns zu zeigen, dass ihr die Inhalte verstanden habt. Diese müsst ihr am Ende der Woche abgeben und sie werden dann von den Tutoren korrigiert.

Organisation

Die Verwaltung der Veranstaltung geschieht über Moodle. Bitte loggt euch dort mit eurem regulären HPI-Login ein und tragt euch für die Veranstaltung ein. Die Registrierung im Moodle ist verpflichtend für alle TeilnehmerInnen, da darüber auch die Verwaltung der Übungsblätter und deren Bewertung läuft.

Wöchentliche Veranstaltungen

  • Vorlesungen: Dienstags 11:00-12:30 im Hörsaal 1
  • Übungsgruppen: ab der zweiten Vorlesungswoche!
    • tba

Leistungserfassung

Über die Note entscheidet zu 100% die abschließende schriftliche Klausur.

Um zur Abschlusspüfung zugelassen zu werden, muss man folgende Bedingungen erfüllen.

  • 50% der Punkte auf den Hausaufgaben (Summe über alle Hausaufgaben)
  • Den obligatorischen Teil der wöchentlichen Übungen jeweils entweder meistern (Entscheidung der Tutoren) oder vollständig (bis zum Schnabeltier) bearbeiten und mit einem Tutor besprechen.

Vorlesungsteam

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

Dozent

Vorlesung: Montags, 11:00-12:30, HS 1

E-Mail: Timo.Koetzing(at)hpi.de

Übungsleiter

Büro: K-2.08 (kommt gern vorbei)

E-Mail: Hans.Gawendowicz@hpi.de

Johannes Herzog

Tutor

Gruppe: Goofy

Termin: tba

E-Mail: Johannes.Herzog@student.hpi.de

Jonas Baron

Tutor

Gruppe: Littlefoot

Termin: tba

E-Mail: Jonas.Baron@student.hpi.de

Joshua Schünke

Tutor

Gruppe: Der kleine Prinz

Termin: tba

E-Mail: Joshua.Schuenke@student.hpi.de

Maxim Stanko

Tutor

Gruppe: Manetti

Termin: tba

E-Mail: Maxim.Stanko@student.hpi.de

Toenjes Mannhardt

Tutor

Gruppe: Pumuckl

Termin: tba

E-Mail: Toenjes.Mannhardt@student.hpi.de

Tom Eichelberger

Tutor

Gruppe: Caillou

Termin: tba

E-Mail: Tom.Eichelberger@student.hpi.de

Tom Kessler

Tutor

Gruppe: das Sams

Termin: tba

E-Mail: Tom.Kessler@student.hpi.de

Vivien Laabs

Tutor

Gruppe: Pippi Langstrumpf

Termin: tba

E-Mail: Vivien.Laabs@student.hpi.de