An Introduction to Programming with Specifications
Seiten
1991
Academic Press Inc (Verlag)
978-0-12-427620-8 (ISBN)
Academic Press Inc (Verlag)
978-0-12-427620-8 (ISBN)
- Titel ist leider vergriffen;
keine Neuauflage - Artikel merken
This is an introduction to the mathematics which underly the functional approach to programming. Emphasis is laid upon comprehension of definition and specification as a basis for good programming technique. Exercises are provided in each chapter.
A feature of modern advanced computing is the functional approach to programming. In this book, the authors present an introduction to the mathematics which underline functional programming, emphasizing the understanding of definition and specification - a prerequisite of good programming and problem solving with a computer. The book is self-contained, requiring a low level of mathematical sophistication, and may be used as an introduction to the mathematics of programming.
A feature of modern advanced computing is the functional approach to programming. In this book, the authors present an introduction to the mathematics which underline functional programming, emphasizing the understanding of definition and specification - a prerequisite of good programming and problem solving with a computer. The book is self-contained, requiring a low level of mathematical sophistication, and may be used as an introduction to the mathematics of programming.
Basic mathematical vocabulary; on definitions and specifications; conditional expressions; local definitions; recursive function definitions; designing recursive definitions; more complex recursion; high-order data - sequences; our main tool - induction; proving facts about recursively defined functions; tail recursion; iterative algorithms; from recursion to iteration and back; partial and total correctness; how to design iterative algorithms; computer programming; solutions of exercises.
| Reihe/Serie | APIC |
|---|---|
| Zusatzinfo | index |
| Verlagsort | San Diego |
| Sprache | englisch |
| Gewicht | 518 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
| ISBN-10 | 0-12-427620-2 / 0124276202 |
| ISBN-13 | 978-0-12-427620-8 / 9780124276208 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Grundlagen – Anwendungen – Perspektiven
Buch | Softcover (2022)
Springer Vieweg (Verlag)
34,99 €
Eine Einführung in die Systemtheorie
Buch | Softcover (2022)
UTB (Verlag)
25,00 €
