David Gries Pořadí knih (chronologicky)

Dieser Text versucht, die Art und Weise zu verändern, wie wir Logik an Anfänger unterrichten. Anstatt Logik als isoliertes Fach zu lehren, betrachten wir sie als grundlegendes Werkzeug und zeigen, wie man es anwendet. Wir streben danach, den Studierenden Fähigkeiten im Aussagen- und Prädikatenkalkül zu vermitteln und diese Fähigkeiten gründlich in Anwendungen zu üben, die in der Informatik und der diskreten Mathematik auftreten. Wir sind keine Logiker, sondern Programmiermethodologen, und dieser Text spiegelt diese Perspektive wider. Wir gehören zu der ersten Generation von Wissenschaftlern, die mehr daran interessiert sind, Logik zu nutzen, als sie zu studieren. Mit diesem Text hoffen wir, zukünftige Generationen von Informatikern und Mathematikern zu befähigen, ernsthafte Anwender von Logik zu werden. Logik ist der Klebstoff, der die Methoden des Denkens in allen Bereichen verbindet. Die traditionellen Beweismethoden - zum Beispiel Beweis durch Annahme, Widerspruch, gegenseitige Implikation und Induktion - basieren auf formaler Logik. Daher kann das Studium der Logik, unabhängig davon, ob Beweise formal oder informell präsentiert werden, Verständnis vermitteln.