Program Construction: Calculating Implementations from Specifications
暫譯: 程式建構:從規格計算實作
Roland Backhouse
- 出版商: Wiley
- 出版日期: 2003-05-07
- 售價: $836
- 語言: 英文
- 頁數: 354
- 裝訂: Paperback
- ISBN: 0470848820
- ISBN-13: 9780470848821
已絕版
買這商品的人也買了...
-
$400$340 -
$1,320Peer Reviews in Software: A Practical Guide (Paperback)
-
$900$711 -
$1,200$600 -
$750$638 -
$990Mining the Web: Discovering Knowledge for Hypertext Data
-
$590$466 -
$1,550$1,473 -
$2,120$2,014 -
$931Mobile Commerce and Wireless Computing Systems
-
$780$663 -
$490$382 -
$820$738 -
$690$538 -
$690$587 -
$450$383 -
$750$593 -
$780$616 -
$720$569 -
$480$408 -
$1,176Wireless Communications & Networks, 2/e (美國版ISBN:0131918354)
-
$550$468 -
$1,820$1,729 -
$450$383 -
$375Macromedia Dreamweaver 8 for Windows and Macintosh: Visual QuickStart Guide (Paperback)
商品描述
The focus of the book is on "correct-by-construction" program design -- the discipline of calculating programs from their specifications. Modern, calculational logic is introduced in combination with key program construction principles, such as the assignment axiom, loop invariants and bound functions. This material is intertwined with motivational discussion, programming examples and challenging problem-solving exercises, bringing the book alive for its intended audience, undergraduates in computer science and mathematics, as well as professional programmers wishing to further develop their programming skills.
The book covers the elements of logic and program correctness that form the foundations of further study --- the logical connectives and their algebraic properties, induction, quantifiers and program construction rules. Substantial examples of program construction are included. Many exercises are provided, all with detailed solutions.
Table of Contents
Preface.
A Science of Computing.
A Searching Problem and Its Solution.
Calculational Proof.
Implementation Issues.
Calculational Logic: Part 1.
Number Conversion.
Calculational Logic: Part 2.
Maximum and Minimum.
The Assignment Statement.
Sequential Composition and Conditional Statements.
Quantifiers.
Inductive Proofs and Constructions.
Iteration.
Sorting and Searching Algorithms.
Remainder Computation.
Cyclic Codes.
Appendix.
Solutions to Exercises.
References.
Glossary of Symbols.
Index.
商品描述(中文翻譯)
隨著我們的生活和生計越來越依賴於計算機軟體的正確運作,邏輯和程式正確性成為所有優秀計算機科學學位的核心要素。本書將這兩個主題以一個獨立的文本呈現。
本書的重點在於「正確構建」的程式設計——從規範計算程式的學科。現代計算邏輯與關鍵的程式構建原則相結合,例如指派公理、迴圈不變式和界限函數。這些材料與激勵性的討論、程式範例和具有挑戰性的問題解決練習交織在一起,使本書對其預期讀者——計算機科學和數學的本科生,以及希望進一步發展其程式設計技能的專業程式設計師——充滿活力。
本書涵蓋了邏輯和程式正確性的基本要素,這些要素構成了進一步學習的基礎——邏輯連接詞及其代數性質、歸納法、量詞和程式構建規則。書中包含了大量的程式構建範例,並提供了許多練習題,所有練習題均附有詳細解答。
目錄
前言
計算科學
搜尋問題及其解決方案
計算證明
實作問題
計算邏輯:第一部分
數字轉換
計算邏輯:第二部分
最大值和最小值
指派語句
順序組合和條件語句
量詞
歸納證明和構建
迭代
排序和搜尋演算法
餘數計算
循環碼
附錄
練習題解答
參考文獻
符號詞彙表
索引