Discrete Math with Proof
Eric Gossett
- 出版商: Prentice Hall
- 出版日期: 2002-12-30
- 售價: $1,050
- 貴賓價: 9.8 折 $1,029
- 語言: 英文
- 頁數: 808
- 裝訂: Hardcover
- ISBN: 0130669482
- ISBN-13: 9780130669483
立即出貨 (庫存=1)
買這商品的人也買了...
-
$999
OpenGL Shading Language, 2/e (Paperback)
-
$490$382JSP 動態網頁新技術, 2/e
-
$1,090$1,068Fundamentals of Database Systems, 4/e (IE)
-
$1,030$1,009Java: An Introduction to Computer Science and Programming , 3/e
-
$600$480現代嵌入式系統開發專案實務-菜鳥成長日誌與專案經理的私房菜
-
$580$452C++ 物件導向程式設計進階與應用
-
$520$406C++ 物件導向程式設計入門與應用
-
$780$616Linux 程式設計教學手冊
-
$550$468SQL 語法範例辭典
-
$890$676Windows CE.NET 程式設計 (Programming Microsoft Windows CE .Net, 3/e)
-
$1,340$1,273Lessons Learned in Software Testing (Paperback)
-
$990$891C++ Primer, 4/e (中文版)
-
$620$527BIOS Inside:BIOS 研發技術剖析, 2/e
-
$450$383數位音樂 Cakewalk
-
$650$507ASP.NET 2.0 深度剖析範例集
-
$1,180$1,121Applied Cryptography, 2/e
-
$780$616建構嵌入式 Linux 系統
-
$980$774C++ Primer, 3/e 中文版
-
$450$351Java 的真相-避開學習 Java 的陷阱與迷思
-
$680$578Oracle 10g 資料庫管理實務
-
$690$587C++ Builder 6 完全攻略
-
$560$442鳥哥的 Linux 私房菜─基礎學習篇增訂版
-
$590$460VBScript 500 個活用範例 Windows 自動化技術大全 for Vista/XP/2000
-
$780$741作業系統概念 (Operating System Concepts, 6/e Windows XP Update)
-
$490$417Dreamweaver MX 2004 魔法書中文版
商品描述
Summary
For one-semester undergraduate Discrete Mathematics courses for math and computer science majors.
This exceedingly well-written text equips students to apply discrete mathematics and provides opportunities for practice of the concepts presented. A semester of Calculus is useful for reasons of sophistication.
Table of Contents
1. Introduction.
What Is Discrete Mathematics? The Stable Marriage Problem. Other Examples. Exercises.2. Sets, Logic, and Boolean Algebras.
Sets. Logic in Daily Life. Propositional Logic. A Detailed Look at Tautologies. Boolean Algebras. Predicate Logic. Analyzing Claims (Optional). Quick Check Solutions. Projects.3. Proof.
Introduction to Mathematical Proof. Proof Strategies. Mathematical Induction. Creating Proofs: Hints and Suggestions. Quick Check Solutions.4. Algorithms.
Expressing Algorithms. Measuring Algorithm Efficiency. Pattern Matching. The Halting Problem. Quick Check Solutions.5. Counting.
Permutations and Combinations. Combinatorial Proofs. Pigeon-Hole: Inclusion-Exclusion. Quick Check Solutions.6. Finite Probability Theory.
The Language of Probabilities. Conditional Probabilities and Independent Events. Counting and Probability. Expected Value. Bayes' Theorem. Quick Check Solutions.7. Recursion.
Recursive Algorithms. Recurrence Relations. Generating Functions. The Josephus Problem. Quick Check Solutions. Projects.8. Combinatorics.
Partitions, Occupancy Problems, and Stirling Numbers. Latin Squares; Finite Projective Planes. Balanced Incomplete Block Designs. The Knapsack Problem. Error-Correcting Codes. Distinct Representatives; Ramsey Numbers. Quick Check Solutions.9. Formal Models in Computer Science.
Information. Finite-State Machines. Formal Languages. Regular Expressions. The Three Faces of Regular. A Glimpse at More Advanced Topics. Quick Check Solutions.10. Graphs.
Terminology. Connectivity and Adjacency. Euler and Hamilton. Representation and Isomorphism. The Big Theorems: Planarity, Polyhedra, Chromatic Number. Directed Graphs and Weighted Graphs. Quick Check Solutions.11. Trees.
Terminology, Counting. Traversal, Searching, and Sorting. More Applications of Trees. Spanning Trees. Quick Check Solutions.12. Functions, Relations, Databases, and Circuits.
Functions and Relations. Equivalence Relations. n-ary Relations and Relational Databases. Binary Functions and Binary Expressions. Combinatorial Circuits. Quick Check Solutions.Appendix A. Number Systems.
The Natural Numbers. The Integers. The Rational Numbers. The Real Numbers. The Complex Numbers. Other Number Systems. Representation of Numbers.Appendix B. Summation Notation.
Appendix C. Logic Puzzles.Logic Puzzles about AND, OR, NOT. Logic Puzzles about Implication, Biconditional, and Equivalence. Exercises. Quick Check Solutions.Appendix D. The Golden Ratio.
Appendix E. Matrices.
References.
Index.