Kurs
- Fundamentals
Einführung in die Mathematik der Algorithmik
In allen Anwendungen in der Informatik steckt eine große Portion Mathematik. Insbesondere basieren viele Algorithmen, die uns täglich helfen (zum Beispiel Googles Suchalgorithmen oder Routenfindung bei Navigationssytemen) auf cleveren mathematische Einsichten.
In diesem Kurs wird die Sprache der modernen Mathematik vorgestellt. In der ersten Woche werden wir dazu die grundlegenden Bausteine einführen; dabei wird es um Quantoren und Junktoren, sowie Formalisierungen und Spezifikationen gehen. In der zweiten Woche werden wir diese Themen anhand ausgewählter Beispiele (Wegfindung und Googles PageRank Algorithmus) anwenden. In der dritten Woche steigen wir dann etwas tiefer in die Mathematik und lernen mehrere Analysewerkzeuge kennen (z.B. die berühmte "O-Notation")
Für diesen Kurs ist kein akademisches Vorwissen aus der Mathematik nötig. Teilnehmer des Kurses verstehen im Anschluss die mathematische Sprache und verstehen, wie diese bei algorithmischen Fragestellungen angewandt wird.
Angeboten von Dr. Timo Kötzing, Dr. Pascal Lenzner, Dr. Thomas Bläsius, Karen Seidel | Zuletzt aktualisiert am 22. Dezember 2024 | 12018 Einschreibungen
- Intermediate
- DE
- Zertifikat
Unsere Dozent:innen
Dr. Timo Kötzing
Timo Kötzing ist Postdoktorand am Algorithm Engineering Lehrstuhl des Hasso Plattner Instituts (HPI). Seine Forschung dreht sich um Theorie und Anwendung von randomisierten Suchheuristiken, insbesondere evolutionäre Algorithmen und Schwarmintelligenz. Er hat seine Promotion in der Informatik an der University of Delaware, USA, 2009 abgeschlossen und arbeitete danach am Max-Planck-Institut für Informatik und an der Universität Jena. Seit 2015 forscht und lehrt er am HPI.
Karen Seidel
Karen Seidel ist Doktorandin am Algorithm Engineering Lehrstuhl des Hasso-Plattner-Instituts (HPI). In ihrer bisherigen Forschung im Bereich künstliche Intelligenz werden Lernprozesse mittels Automaten und Turing-Maschinen modelliert. Nach dem Abschluss ihres Mathematikstudium an der Universität Bonn, forschte sie in mathematischer Logik und kognitiver Mathematik an den Universitäten Münster, Osnabrück und Köln. Sie verfügt über ein breites Spektrum pädagogischer Erfahrung und arbeitet seit 2017 am HPI.
Dr. Pascal Lenzner
Pascal Lenzner ist Postdoktorand am Algorithm Engineering Lehrstuhl des Hasso-Plattner-Instituts (HPI). Seine Forschung fokussiert auf den Schnittbereich zwischen Graphenalgorithmen, Netzwerken und algorithmischer Spieltheorie. Nach seinem Studium an der Friedrich-Schiller-Universität Jena und der Eidgenössischen Technischen Hochschule Zürich (ETH), Schweiz, hat er 2014 seine Promotion an der Humboldt-Universität zu Berlin abgeschlossen. Vor seinem Wechsel an das HPI im Oktober 2015, hat er an der Friedrich-Schiller-Universität Jena geforscht und gelehrt.
Dr. Thomas Bläsius
Thomas Bläsius ist Postdoktorand am Algorithm Engineering Lehrstuhl des Hasso-Plattner-Instituts (HPI), wo er sich hauptsächlich mit Graphalgorithmen beschäftigt. Nach dem Abitur hat er 2006 ein Informatikstudium am Karlsruher Institut für Technologie (KIT) begonnen, das er 2011 mit einem Diplom abschloss. Anschließend, von 2011 bis 2015, hat er (ebenfalls am KIT) promoviert. Seit 2015 ist er auf seiner aktuellen Stelle am HPI.