Bewertung:
The Little Prover bietet eine leicht zugängliche und unterhaltsame Einführung in das Theorembeweisen in Software, wobei der Schwerpunkt auf Beweishilfe und Computerlogik liegt. Die Rezensenten schätzten das ansprechende Format und die Art und Weise, wie es schrittweise anspruchsvolle Konzepte aufbaut, wodurch es für Programmierer geeignet ist, die ihr Verständnis von Korrektheit in Software verbessern wollen. Allerdings erfordert es von den Lesern Anstrengung und Vorkenntnisse, und manche finden das Theorembeweisen von Natur aus langweilig.
Vorteile:Zugängliche Einführung in das Theorembeweisen und die Computerlogik.
Nachteile:Unterhaltsames und fesselndes dialogbasiertes Format mit Witzen und Insider-Referenzen.
(basierend auf 10 Leserbewertungen)
The Little Prover
Eine Einführung in das Schreiben von Beweisen über Computerprogramme, geschrieben in einem zugänglichen Frage-und-Antwort-Stil, komplett mit Schritt-für-Schritt-Beispielen und einem einfachen Beweisassistenten. The Little Prover führt in induktive Beweise als eine Möglichkeit ein, Fakten über Computerprogramme zu ermitteln.
Es ist in einem zugänglichen, ansprechenden Frage-und-Antwort-Stil geschrieben, mit dem charakteristischen Humor von The Little Schemer (vierte Auflage, MIT Press). Manchmal ist der beste Weg, etwas zu lernen, sich hinzusetzen und es zu tun; das Buch führt den Leser Schritt für Schritt durch Beispiele, die zeigen, wie man induktive Beweise schreibt.
The Little Prover setzt lediglich Kenntnisse über rekursive Programme und Listen voraus (wie sie in den ersten drei Kapiteln von The Little Schemer vorgestellt werden) und verwendet nur wenige Begriffe, die über das hinausgehen, was Programmieranfänger bereits kennen. Das Buch enthält einen einfachen Beweisassistenten, der den Leser beim Durcharbeiten des Buches unterstützt, sowie vollständige Lösungen für jedes Beispiel.
| ISBN: | 9780262527958 |
| Autor: | |
| Verlag: | |
| Sprache: | Englisch |
| Einband: | Taschenbuch |
| Erscheinungsjahr: | 2015 |
| Seitenzahl: | 248 |
Derzeit verfügbar, auf Lager.
