An Introduction to Programming with Specifications - 1st Edition - ISBN: 9780124276208, 9780080984469

An Introduction to Programming with Specifications

1st Edition

Authors: Author Unknown
eBook ISBN: 9780080984469
Imprint: Academic Press
Published Date: 28th January 1991
Page Count: 267
Sales tax will be calculated at check-out Price includes VAT/GST
72.95
43.99
54.95
Unavailable
Price includes VAT/GST
× Read this ebook on your PC, Mac, Apple iOS and Andriod mobile devices and eReader

This ebook is protected by Adobe Content Server digital rights management.

For more information on how to use .acsm files please click the Ebook Format Help link.

Institutional Access

Secure Checkout

Personal information is secured with SSL technology.

Free Shipping

Free global shipping
No minimum order.

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.


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.

Key Features

Provides an introduction to the functional approach to programmingEmphasizes the problem to be solved, not the programming languageTakes the view that all computer programs are a definition of a functionIncludes exercises for each chapterCan be used as a pre-programming language introduction to the mathematics of computing.

Readership

Undergraduate students in computer science or mathematics taking a functional/formal methods approach to a first course in computing.


Details

No. of pages:
267
Language:
English
Copyright:
© Academic Press 1991
Published:
Imprint:
Academic Press
eBook ISBN:
9780080984469

Reviews

@qu:This book is highly recommended for undergraduates and for software engineers looking for a gentle introduction to the mathematics of programming. @source:--NEW SCIENTIST

Ratings and Reviews


About the Authors

Author Unknown Author