Hasso-Plattner-Institut
Prof. Dr. Tobias Friedrich
 

Mathematik II - unplugged

BSc Lecture - Summer 2022

Beschreibung

In den Vorlesungen Mathematik II lernen wir viele schöne Themen kennen, leider nicht in der Tiefe, wie es für ein Informatikstudium schön wäre. Dies gilt umso mehr, wenn man sich für theoretische Informatik interessiert, oder sich aus anderen Gründen mehr für das "Warum?" hinter der wunderschönen Mathematik interessiert, und nicht nur für das "Wie?".

Deshalb wollen wir in diesem Kurs die schönen Mathematik II - Themen vertiefen. Entsprechend sind die Themen in den Wochen mit denen aus Mathematik II koordiniert. Dabei geht es nicht darum, schwerere Aufgaben zum gleichen Thema zu bearbeiten, oder schwierigere Beweise präsentiert zu bekommen. Statt dessen lernen wir jede Woche etwas besonderes aus dem Themengebiet kennen. Zum Beispiel:

  • Nicht nur "was ist ein Beweis?" sondern auch "was ist ein Beweiskalkül, und was ein Beweis in einem solchen formalen Kalkül?"
  • Nicht nur "was ist eine Untergruppe" sondern auch "was ist eine Faktorgruppe, und was kann man damit machen?"
  • Nicht nur "was sind Rechenregeln für Exponentiation und Logarithmus?" sondern auch "wie sind Exponentiation und Logarithmus formal definiert?"
  • Nicht nur "was kann man mit \(\mathbb{R}\)-Vektorräume machen?" sondern auch "was kann mit Vektorräumen bezüglich anderer Körper machen?"

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 mit Freude beherrscht werden. Insbesondere müssen die formale mathematische Sprache und elementare Beweistechniken (Induktion, Widerspruchsbeweis,...) problemlos angewandt werden können.

Organisation

Die Verwaltung der Veranstaltung geschieht über Moodle. Dort wird auch der Zoom Link für das wöchentliche Treffen (falls wegen Corona nötig) bereitgestellt. Die Endnote dieser Vorlesung wird durch eine Projekteinreichung sowie deren mündlicher Verteidigung (als Prüfungsgespräch) ermittelt. 

Darüber hinaus werden wöchentlich Übungen ausgeteilt. Um zur Abschlusspüfung zugelassen zu werden, benötigt man 50 % der insgesamt erreichbaren Übungspunkte.

Lehr- und Lernform

Jede Woche gibt es eine Hausaufgabe, deren erste Aufgabe darin besteht Vorbereitungsmaterial für die kommende Woche zu lesen. Dieses Material wird dann beim gemeinsamen Treffen via Zoom mit dem Dozenten diskutiert. Die Inhalte werden dann in den (Gruppen-) Hausaufgaben weiter vertieft. Ein Teil der Hausaufgaben wird durch Peer-Assessment bewertet; in jeder Woche werdet ihr also zu einigen Abgaben eurer KommilitonInnen Feedback geben.

Vorlesungsteam

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

Lehrassistent

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

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

Ziena Zeif

Lehrassistent

Sprechzeiten:
Büro: A-1.13

E-Mail: Ziena.Zeif(at)hpi.de

Leonardo Auri

Tutor

E-Mail: Leonardo.Auri(at)student.hpi.de