登入帳戶　 |　訂單查詢　 |　購物車/收銀台(0)　|　在線留言板　 |　付款方式　 |　聯絡我們　 |　運費計算　 |　幫助中心　|　 加入書簽
	全部範圍 - 圖書 - 　- 中文簡體書(大陸書) - 　- 英文書（原版） - - 音碟 - 　- 音樂 - 　- 影視 - - 雜誌 - 全文 精確	會員登入   新用戶註冊

HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類閱讀雜誌

香港／國際用戶

最新/最熱/最齊全的簡體書網

品種：超過100萬種書，正品正价，放心網購，悭钱省心

送貨：速遞 / 物流，時效：出貨後2-4日

新書推薦： 《 清华大学藏战国竹简校释（壹）：《命训》诸篇 》 售價：NT$ 408.0 《 封建社会农民战争问题导论（光启文库） 》 售價：NT$ 296.0 《 虚弱的反攻：开禧北伐 》 售價：NT$ 429.0 《 泰山：一种中国信仰专论（法国汉学经典译丛） 》 售價：NT$ 380.0 《 花外集斠箋 》 售價：NT$ 704.0 《 有兽焉.8 》 售價：NT$ 305.0 《 大学问·明清经济史讲稿 》 售價：NT$ 330.0 《 中国国际法年刊（2023） 》 售價：NT$ 539.0

建議一齊購買： + NT$ 1721 《 深入理解计算机系统（英文版·第3版） 》 + NT$ 425 《 离散数学及其应用（原书第7版 本科教学版） 》 + NT$ 822 《 计算机组成与设计：硬件/软件接口（原书第5版） 》 + NT$ 1062 《 算法分析导论（第2版）（英文版） 》 + NT$ 1071 《 离散数学及其应用（原书第7版） 》 內容簡介： 本书专为计算机科学专业的学生而设计，不仅提供学生必需的离散数学知识，而且能够启发后续专业课程的学习兴趣。本书主要内容涵盖计数、密码学与数论、逻辑与证明、归纳法、递归、概率以及图论，推导严谨、代码清晰、练习丰富。本书不仅适合作为高校计算机相关专业离散数学课程的教材，也适合从事计算机行业的技术人员参考。 目錄： Contents CHAPTER1 Counting31 1.1 Basic Counting31 The Sum Principle31 Abstraction33 Summing Consecutive Integers33 The Product Principle34 Two-Element Subsets36 Important Concepts, Formulas, and Theorems37 Problems38 1.2 Counting Lists, Permutations, and Subsets40 Using the Sum and Product Principles40 Lists and Functions42 The Bijection Principle44 k-Element Permutations of a Set45 Counting Subsets of a Set46 Important Concepts, Formulas, and Theorems48 Problems50 1.3 Binomial Coeffiients52 Pascals Triangle52 A Proof Using the Sum Principle54 The Binomial Theorem56 Labeling and Trinomial Coefficient58 Important Concepts, Formulas, and Theorems59 Problems60 1.4 Relations62 What Is a Relation?62 Functions as Relations63 Properties of Relations63 Equivalence Relations66 Partial and Total Orders69 Important Concepts, Formulas, and Theorems71 Problems72 1.5 Using Equivalence Relationsin Counting73 The Symmetry Principle Equivalence Relations75 The Quotient Principle76 Equivalence Class Counting76 Multisets78 The Bookcase Arrangement Problem80 The Number of k-Element Multisets of an n-Element Set81 Usingthe Quotient Principle to Explain a Quotient82 Important Concepts, Formulas, and Theorems83 Problems84 CHAPTER2 Cryptography and Number Theory89 2.1 Cryptography and Modular Arithmetic89 Introduction to Cryptography89 Private-Key Cryptography90 Public-Key Cryptosystems93 Arithmetic Modulo n95 Cryptography Using Addition mod n98 Cryptography Using Multiplication mod n99 Important Concepts, Formulas, and Theorems101 Problems 102 2.2 Inverses and Greatest Common Divisors105 Solutions to Equations and Inverses mod n105 Inverses mod n106 Converting Modular Equations to Normal Equations109 Greatest Common Divisors110 Euclids Division Theorem111 Euclids GCD Algorithm114 Extended GCD Algorithm115 Computing Inverses118 Important Concepts, Formulas, and Theorems119 Problems120 2.3 The RSA Cryptosystem123 Exponentiation mod n123 The Rules of Exponents123 Fermats Little Theorem126 The RSA Cryptosystem127 The Chinese Remainder Theorem131 Important Concepts, Formulas, and Theorems132 Problems134 2.4 Details of the RSA Cryptosystem136 Practical Aspects of Exponentiation mod n136 How Long Does It Take to Use the RSA Algorithm?139 How Hard Is Factoring?140 Finding Large Primes140 Important Concepts, Formulas, and Theorems143 Problems144 CHAPTER3 Reflectionon Logic and Proof147 3.1 Equivalence and Implication147 Equivalence of Statements147 Truth Tables150 DeMorgans Laws153 Implication155 If and Only If156 Important Concepts, Formulas, and Theorems159 Problems161 3.2Variables and Quantifier163 Variables and Universes163 Quantifier164 Standard Notation for Quantificatio166 Statements about Variables168 Rewriting Statements to Encompass Larger Universes168 Proving Quantifie Statements Trueor False169 Negation of Quantifie Statements170 Implicit Quantificatio173 Proof of Quantifie Statements174 Important Concepts, Formulas, and Theorems175 Problems177 3.3 Inference179 Direct Inference Modus Ponens and Proofs179 Rules of Inference for Direct Proofs181 Contrapositive Ruleof Inference183 Proof by Contradiction185 Important Concepts, Formulas, and Theorems188 Problems189 CHAPTER4 Induction, Recursion, and Recurrences191 4.1 Mathematical Induction 191 Smallest Counterexamples191 The Principle of Mathematical Induction195 Strong Induction199 Induction in General201 A Recursive Viewof Induction203 Structural Induction206 Important Concepts, Formulas, and Theorems208 Problems210 4.2 Recursion, Recurrences, and Induction213 Recursion213 Examples of First-Order Linear Recurrences215 Iteratinga Recurrence217 Geometric Series218 First-Order Linear Recurrences221 Important Concepts, 內容試閱： 前言课程动机与目标很多学院与大学都开设了离散数学这门课程。上这些课程的学生来自多个学科，其中最多的是来自计算机科学的学生。由国家科学基金会支持，作为达特茅斯（Dartmouth）学院跨学科数学项目的一部分，我们提出创建一门离散数学课程来直接解决计算机科学学生的需求。计算机科学的学生需要知道哪些离散数学知识？为什么需要知道这些知识？关于这两个问题，我们的看法如下。 第一，我们认为一些知识对于计算机科学很重要，但是传统的离散数学课程常常不会透彻地讲授这些知识。这些知识包括：递归树和解决递推关系的主定理，计算平均运行时间和分析随机算法的概率理论，以及强归纳法和结构归纳法。 第二，我们认为对于计算机科学的学生而言，那些重要的离散数学知识在计算机科学里对应着一些颇有启发性的问题，并且只具备一两门计算机科学入门课程水平的学生也能够理解。这样有可能回答一届又一届学生在应用数学课程中的疑问：为什么我们必须学习这个？因此，我们选择写一本针对计算机科学学生的教科书，为他们提供必要的数学基础，并且通过他们在起步阶段就能够理解的计算机科学问题来启发学习兴趣。 在计算机科学系，离散数学通常是学生的专业首选课之一，甚至是第一门计算机科学课程的先修课。在这种情况下，教师面临着两难困境：是讲授纯数学概念，几乎不涉及计算机应用，还是讲授计算机科学的例子，从而营造一种针对计算机科学学生的教学环境。第一种讲课方式让学生们抱怨在学习第一门计算机科学课程之前，被迫学习太多不相干的数学。第二种讲课方式让教授们（通常是数学家）尝试给可能从来没有写过程序的学生解释相当高级的计算机科学知识，比如散列、二叉树和循环程序等。即使在最好的情况，这种方法也明显降低了数学的深度。我们的分析产生了一种不同的讲课方式，创设一门出现在学生稍后学习过程中的课程。尽管我们不强制要求学生已经上过微积分，但是我们假定学生了解并且能够熟练使用加和符号、对数和指数函数，因此对于微积分学前课程的内容有很深的了解是很有帮助的。这意味着要让学生在一门计算机科学的导论课程中先了解递归程序，然后再学习这门课。最好可以和数据结构课程一起或者在其之后学习，不过我们会通过例子解释书中所使用的数据结构，因此数据结构不是这门课的先导课程。 我们觉得这样安排离散数学这门课程有几个优势，下面列举几个特别的例子： 学生已经有了较为深入的问题求解、算法和代码的经验。 学生已经学习过或者在准备学习一些重要的计算机科学概念，比如散列、递归、排序、搜索以及基本的数据结构。 学生已经知道足够的计算机科学知识，包括一些启发性的例子，或者其他容易理解的简单例子。例如： m散列可以用于启发关于概率的学习。 m分析递归程序（比如并归和快速排序）可以用于启发关于递归关系及其解决方法的学习。 m在寻找队列中最小元素的过程中，分析我们期望多久找到一个新的最小值，可以用来启发关于期望的线性性质和调和数的学习。 m二叉树可以用来讲解结构递归法，也可以启发作为图的特例的树的学习。 在我们自己的讲课经验中，这门课是算法课的前导，并且学生经常在结束离散数学课程不久后就学习算法。这样，他们会发现自己可以直接使用刚刚学过的离散数学知识。 我们的教育哲学这本教科书是以教学活动为驱动的，并且包含丰富的练习题。通过对这些活动的解释和扩展，教学素材得以不断充实。对于学生最有效的方法是尝试认真完成学生活动，而先不阅读那些教学活动后面的解释。我们最初设计这些教学活动是想让学生在课堂中以小组的形式来完成，因此，如果需要在课外开展教学活动，建议学生组建小组一起完成。我们采用这种方式来设计这门课程以及这本教材，希望借此帮助学生们养成自己的数学思维习惯。我们仔细研究了本科学生应当怎样学习数学，得到了以下几个结论： 如果学生能够主动发现他们正在学习的是什么（经常被称为主动学习），往往比那些被动学习的学生能够更长久地记住这些概念，也更有可能在学习环境之外运用这些概念。 当学生在一个小组中和同学一起学习，而不是在由导师带领的一个更大的班级中时，他们更有可能提出问题，直到彻底理解某个主题。（然而，这一点不总是成立。很多学生需要在小组中感到舒适之后才敢提出的问题，因为他们担心自己的提问会耽误别人的学习速度。我们尝试提高课程中的舒适度，方法是允许学生自由选择学习小组，并且根据出席模式允许或者要求学生在不同的天数后更换不同的小组。）最后，学生在给别人解释概念的时候能够更有效地组织自己脑中的想法，同时能够熟悉数学语言。 本书内容足够支撑一门四学期学时的课程。在达特茅斯学院，我们使用这本书来上一门快节奏的课程，一周上三天且仅仅上九周，并且覆盖了本书除了最后几个章节和一部分带星号的内容之外的所有内容。 证明的作用我们写这本书的目的之一是给学生们提供一些关于证明的背景知识，在以后的计算机科学课程中，他们将需要理解并且写出证明。我们

書城介紹　 |　合作申請　|　索要書目　 |　新手入門　|　聯絡方式　 |　幫助中心　|　找書說明　 |　送貨方式　|　付款方式	台灣用户　|　香港/海外用户
megBook.com.tw
Copyright (C) 2013 - 2024 （香港）大書城有限公司　All Rights Reserved.