Reasoned programming
著者
書誌事項
Reasoned programming
(Prentice-Hall International series in computer science)
Prentice Hall, 1994
大学図書館所蔵 件 / 全9件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
Includes bibliographical references (p. 293) and index
内容説明・目次
内容説明
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.
目次
- 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.
「Nielsen BookData」 より