Reasoned Programming
Published on 6. October 1994
Book
Paperback/Softback
320 pages
978-0-13-098831-7 (ISBN)
Description
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.
More details
Language
English
Place of publication
Boston
United States
Publishing group
Pearson Education (US)
Target group
Professional and scholarly
Dimensions
Height: 235 mm
Width: 173 mm
Thickness: 16 mm
Weight
490 gr
ISBN-13
978-0-13-098831-7 (9780130988317)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Content
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.