Mathematical Structures for Computer Science, 6/e (Hardcover)
Judith L. Gersting
- 出版商: W. H. Freeman
- 出版日期: 2006-07-07
- 售價: $1,200
- 貴賓價: 9.5 折 $1,140
- 語言: 英文
- 頁數: 784
- 裝訂: Hardcover
- ISBN: 071676864X
- ISBN-13: 9780716768647
-
相關分類:
Computer-science-introduction 計算機概論
下單後立即進貨 (3週~5週)
買這商品的人也買了...
-
$550$468笑談軟體工程:敏捷開發法的逆襲-導入 Scrum,讓你的軟體開發人生從黑白變彩色!
-
$580$458JavaScript & jQuery: The Missing Manual 國際中文版, 2/e
-
$680$578ASP.NET MVC 4 開發實戰
-
$420$378學徒模式-優秀軟體開發者的養成之路 (Apprenticeship Patterns: Guidance for the Aspiring Software Craftsman)
-
$480$432JavaScript 設計模式 (JavaScript Patterns)
-
$450$356實戰封包分析-使用 Wireshark (Practical Packet Analysis: Using Wireshark to Solve Real-World Network Problems, 2/e)
-
$980$774Android 錦囊妙計 (Android Cookbook)
-
$950$808《超強圖解》前進 App Store!iOS 6 SDK 實戰演練
-
$880$695PHP、MySQL、JavaScript 與 CSS 學習手冊, 2/e (Learning PHP, MySQL, JavaScript, and CSS: A Step-by-Step Guide to Creating Dynamic Websites, 2/e)
-
$450$383JavaScript 精緻範例辭典
-
$680$537Hadoop 實戰技術手冊
-
$480$379人月神話:軟體專案管理之道 (20 週年紀念版)(The Mythical Man-Month: Essays on Software Engineering, Anniversary Edition, 2/e)
-
$1,200$1,020軟體建構之道 (Code Complete, 2/e)
-
$540$427網路竟然這麼危險!阿里巴巴首席安全專家交你全方位保護網站
-
$450$356PHP 大師-寫出頂尖的程式碼 (PHP Master: Write Cutting Edge Code)
-
$399$315跟我學 Windows 8:全新介面一試就上手!
-
$780$546深入淺出 Python (Head First Python)
-
$880$792深入淺出 C (Head First C)
-
$580$522Debug Hacks 除錯駭客-極致除錯的技巧與工具
-
$500$395提升程式設計的資料結構力-國際程式設計競賽之資料結構原理、題型、解題技巧與重點解析
-
$650$494Dreamweaver CS6 + PHP 商業資料庫網站整合設計
-
$580$458程式設計師的自我修養-連結、載入、程式庫
-
$490$417約耳趣談軟體-來自專案管理的現場實錄 (Joel on Software: And on Diverse and Occasionally Related Matters That Will Prove of Interest to Software Developers)
-
$490$417約耳續談軟體-探究軟體經營的根本實學 (More Joel on Software: Further Thoughts on Diverse and Occasionally Related Matters That Will Prove)
-
$880$695行動介面設計模式 (Designing Mobile Interfaces)
商品描述
<內容簡介>
Computing Curricula 2001 (CC2001), a joint undertaking of the Institute for
Electrical and Electronic Engineers/Computer Society (IEEE/CS) and the
Association for Computing Machinery (ACM), identifies the essential material for
an undergraduate degree in computer science. This Sixth Edition of Mathematical
Structures for Computer Science covers all the topics in the CC2001 suggested
for a one-semester intensive discrete structures course, and virtually
everything suggested for a two-semester version of a discrete structures course.
Gersting's text binds together what otherwise appears to be a collection of
disjointed topics by emphasizing the following themes:
1 . Importance of logical thinking
2 . Power of
mathematical notation
3 . Usefulness of abstractions
<章節目錄>
CONTENTS:
Preface
Note to the Student
1. Formal
Logic
1.1 Statements, Symbolic Representation, and
Tautologies
1.2 Propositional Logic
1.3 Quantifiers, Predicates, and Validity
1.4 Predicate
Logic
1.5 Logic Programming
1.6
Proof of Correctness
2. Proofs, Recursion, and
Analysis of Algorithms
2.1 Proof
Techniques
2.2 Induction
2.3 More on
Proof of Correctness
2.4 Recursive
Definitions
2.5 Recurrence Relations
2.6 Analysis of Algorithms
3. Sets,
Combinatorics, Probability, and Number Theory
3.1
Sets
3.2 Counting
3.3 Principle of
Inclusion and Exclusion; Pigeonhole Principle
3.4
Permutations and Combinations
3.5
Probability
3.6 Binomial Theorem
3.7
Number Theory
4. Relations, Functions, and
Matrices
4.1 Relations
4.2
Topological Sorting
4.3 Relations and
Databases
4.4 Functions
4.5 The
Mighty Mod Function
4.6 Matrices
5. Graphs and Trees
5.1 Graphs and their
Representations
5.2 Trees and their
Representations
5.3 Decision Trees
5.4 Huffman Codes
6. Graph
Algorithms
6.1 Directed Graphs and Binary Relations;
Warshall's Algorithm
6.2 Euler Path and Hamiltonian
Circuit
6.3 Shortest Path and Minimal Spanning
Tree
6.4 Traversal Algorithms
6.5
Articulation Points and Computer Networks
7.
Boolean Algebra and Computer Logic
7.1 Boolean Algebra
Structure
7.2 Logic Networks
7.3
Minimization
8. Modeling Arithmetic,
Computation, and Languages
8.1 Algebraic
Structures
8.2 Finite-State Machines
8.3 Turing Machines
8.4 Formal
Languages
Appendixes
Appendix A Derivation Rules for Propositional and Predicate
Logic
Appendix B Summation Notation
Appendix C The Logarithm Function
Answers to Practice
Problems
Answers to Selected
Exercises
Answers to Self-Tests
Index