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.
Inhalt
- Logikrätsel
- Junktoren und Quantoren
- Graphen als Datenstruktur
- Wegfindealgorithmus
- PageRank
- Analyse von Algorithmen
- O-Notation
- Logarithmen
