Reasoned Programming

Reasoned Programming

3 (1 rating by Goodreads)
By (author)  , By (author)  , By (author)  , By (author) 

List price: US$102.99

Currently unavailable

Add to wishlist

AbeBooks may have this title (opens in new window).

Try AbeBooks


This text is for use by advanced undergraduate/graduate students of computer science. Taking a formal approach to the teaching of computer science, this book introduces functional, imperative and logic programming and explains how to programme correctly. Although most of the techniques presented are not new, the approach itself is novel. Functional programming is presented as a programming language in its own right, but also a reasoning tool in imperative programming. The text discusses semantics and covers procedures which are often ignored, and examples illustrate the arguments.
show more

Product details

  • Paperback | 320 pages
  • 173 x 235 x 16mm | 487g
  • Prentice Hall
  • Upper Saddle River, United States
  • English
  • 0130988316
  • 9780130988317

Table of contents

Functions and expressions; specifications; functional programming in Miranda; recursion and induction; lists; currying, tapes and tuples; user-defined types; higher-order functional loops; arrays as lists; tail recursion; binary chop; quick sort; Warshall's algorithms; introduction to logic; propositional logic; the predicate language of logic - introducing quantifiers; the predicate language of using quantifiers; natural deduction; natural deduction using quantifiers; the equality relation; unification and natural deduction; soundness and completeness of natural deduction; language of logic using quantifiers.
show more

Rating details

1 ratings
3 out of 5 stars
5 0% (0)
4 0% (0)
3 100% (1)
2 0% (0)
1 0% (0)
Book ratings by Goodreads
Goodreads is the world's largest site for readers with over 50 million reviews. We're featuring millions of their reader ratings on our book pages to help you find your new favourite book. Close X