Vorl. 1 | MIT 6.042J Mathematik für Informatik, Herbst 2010

Dies ist eine Einführungsvorlesung aus dem klassischen MIT-OCW-Kurs „Mathematics for Computer Science“ des bekannten Professors Tom Leighton – die erste Vorlesung des Herbstsemesters 2010. Der Kurs wurde speziell für Informatikstudierende konzipiert, um mathematische Grundlagen und die Kernbereiche der diskreten Mathematik zu vermitteln. Diese Vorlesung konzentriert sich auf „Einführung und Beweise“ – sie bildet den logischen Ausgangspunkt für spätere Themen wie Algorithmenanalyse, Graphentheorie und Wahrscheinlichkeitstheorie. Der Kern der Vorlesung: Professor Leighton zeigt anhand anschaulicher Beispiele, welche zentrale Rolle die Mathematik in der Informatik spielt, und erläutert systematisch die grundlegenden Beweismethoden – darunter den direkten Beweis, den Widerspruchsbeweis und die Induktion. Dabei betont er, dass „strenge Argumentation“ eine grundlegende Fähigkeit für Programmierung und Systemdesign ist. Auch wenn es sich um eine Aufnahme aus dem Jahr 2010 handelt, sind Mathematik und Logik keineswegs veraltet – im Gegenteil: Durch die klare Tafelarbeit und den lockeren Erklärstil des Professors wirkt die Vorlesung geradezu klassisch. Geeignet ist sie für Informatikstudierende im Grundstudium, Entwickler, die sich auf Algorithmus-Interviews vorbereiten, sowie für Selbstlernende, die ihre Grundlagen in diskreter Mathematik festigen möchten. Empfehlung zum Anschauen: Man muss nicht versuchen, alle Beweisdetails auf Anhieb vollständig zu verstehen. Zuerst sollte man verstehen, „warum man Mathematik braucht“ und „wie Beweisideen entstehen“. In Kombination mit den Vorlesungsnotizen und Übungsaufgaben auf der OCW-Kursseite lässt sich der Stoff dann besonders effektiv vertiefen.