An introduction to programming with specifications : a mathematical approach
Author(s)
Bibliographic Information
An introduction to programming with specifications : a mathematical approach
（A.P.I.C. series, no. 35）
Academic Press, c1991
Available at / 12 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes index
Description and Table of Contents
Description
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.
Table of Contents
Introduction. 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. Recommendations for Further Reading. Index of Technical Terms. Index.
by "Nielsen BookData"
