Discrete mathematics using a computer (Q4942604)

Das Buch gibt eine Einführung in Grundlagen der diskreten Mathematik. Behandelt werden: Aussagenlogik (Kap. II), Anfangsgründe der Prädikatenlogik (Kap. III), Mengentheorie (Kap. IV), Rekursion (Kap. V), Induktiv definierte Mengen (Kap. VI), Vollständige Induktion (Kap. VII), Relationen (Kap. VIII), Funktionen (Kap. IX). Dabei wird der Stoff im allgemeinen sehr ausführlich (manchmal auch zu ausführlich) dargestellt. Die Besonderheit des Buches ist es nun, dem Lernenden zu ermöglichen, mit den eingeführten Objekten (Mengen, Relationen, Funktionen etc.) auch am Computer zu rechnen. Dazu kann man sich Software über das Internet holen und zwar eine Implementation der funktionalen Sprache Haskell und eine Bibliothek, in der weitere Software-Tools bereitgestellt werden (z.B. ein Beweis-Checker). In den einzelnen Kapiteln wird dann auch jeweils auf die Arbeit mit dieser Software eingegangen. Kapitel I gibt eine Einführung in Haskell; im Kapitel X wird noch als eine Anwendung der Entwurf eines Volladdierers behandelt. Jedes Kapitel enthält zahlreiche Übungsaufgaben; für ausgewählte Aufgaben sind die Lösungen in einem Anhang angegeben. Ferner sind am Ende jedes Kapitels Verweise auf weiterführende Literatur aufgelistet. Ein Leser, der dieses Buch intensiv nutzt, lernt neben dem mathematischen Inhalt auch in gewissem Umfang das funktionale Programmieren.