Discrete mathematics using a computer

MaRDI QIDQ4942604zbMATH OpenFDO

Authors Cordelia V. Hall, John T. O'Donnell

Publication date 14 March 2000

zbMATH Keywords

discrete mathematicsfunctional programming

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Functional programming and lambda calculus (68N18)

Review text

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.

Recommendations

• Discrete mathematics using a computer.
• scientific article; zbMATH DE number 53192
• scientific article; zbMATH DE number 2171992
• scientific article; zbMATH DE number 4088940
• scientific article; zbMATH DE number 5835014
• Diskrete Mathematik

Cited in

(7)

• Applications of CAS in the teaching and learning of discrete mathematics
• scientific article; zbMATH DE number 2024807 (Why is no real title available?)
• scientific article; zbMATH DE number 1777213 (Why is no real title available?)
• Elements of discrete mathematics. Course, solved exercises, implementations with the languages Python and OCaml. With a preface by Gilles Dowek and Thérèse Hardin
• scientific article; zbMATH DE number 194637 (Why is no real title available?)
• Discrete mathematics using a computer.
• Discrete Mathematics with Coding

This page was built for publication: Discrete mathematics using a computer

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4942604)