An Introduction to Programming with Specifications
Published on 22. March 1991
Book
Hardback
267 pages
978-0-12-427620-8 (ISBN)
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.
Reviews / Votes
This book is highly recommended for undergraduates and for software engineers looking for a gentle introduction to the mathematics of programming.--NEW SCIENTISTMore details
Series
Language
English
Place of publication
San Diego
United States
Publishing group
Elsevier Science Publishing Co Inc
Target group
College/higher education
Weight
520 gr
ISBN-13
978-0-12-427620-8 (9780124276208)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions
Bozzano G. Luisa
An Introduction to Programming with Specifications
E-Book
12/2012
Academic Press
€54.95
Available for download
Content
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.