Reasoned programming

K. Broda ... [et al.]

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.

「Nielsen BookData」より

[目次]

  • 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」より

この本の情報

書名 Reasoned programming
著作者等 Broda, Krysia
Eisenbach Susan
Khoshnevisan Hessam
Vickers Steven
Broda Krysia B.
シリーズ名 Prentice-Hall International series in computer science
出版元 Prentice Hall
刊行年月 1994
ページ数 xvi, 296 p.
大きさ 24 cm
ISBN 0130988316
NCID BA24970071
※クリックでCiNii Booksを表示
言語 英語
出版国 アメリカ合衆国
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想