Der Kurs beginnt mit der Aussagenlogik – anhand von Wahrheitstabellen und anschaulichen Beispielen – und führt dann in die Sprache des Beweisens ein: Bedingungen, Quantoren, Mengen, Funktionen, Relationen, Graphen, Abzählverfahren und Induktion. Er richtet sich an Studierende der Informatik und Mathematik, die präzisere Beweise lesen und verfassen, fehlerhafte Argumentationen erkennen und Behauptungen vor einer Verallgemeinerung anhand exakter Beispiele begründen möchten. Am Ende des Kurses sind die zentralen Objekte der diskreten Mathematik nicht mehr bloße Definitionen, sondern praktische Werkzeuge für die Beweisführung.
Wahrheitstabellen für aussagenlogische Verknüpfungen, notwendige und hinreichende Bedingungen, Quantorenreihenfolge, Mengenoperationen, Funktionstypen, Äquivalenzrelationen, Zusammenhang von Graphen, faktorielles Wachstum, das Pascalsche Dreieck sowie Induktion als Beweisschema. Zudem werden Aspekte der Beweisüberprüfung behandelt, wie etwa präzise Formulierungen sowie die Kennzeichnung von Induktionsanfängen und Induktionsschritten.