新書推薦:
《
穿在身上的历史:世界服饰图鉴(增订珍藏版)
》
售價:HK$
557.8
《
历史的严妆:解读道学阴影下的南宋史学(中华学术·有道)
》
售價:HK$
109.8
《
海外中国研究·江南:中国文雅的源流
》
售價:HK$
76.2
《
迟缓的巨人:“大而不能倒”的反思与人性化转向
》
售價:HK$
77.3
《
我们去往何方:身体、身份和个人价值
》
售價:HK$
67.0
《
大学问·批判的武器:罗莎·卢森堡与同时代思想者的论争
》
售價:HK$
98.6
《
低薪困境:剖析日本经济低迷的根本原因
》
售價:HK$
66.1
《
穷人的银行家(诺贝尔和平奖获得者穆罕默德·尤努斯自传)
》
售價:HK$
76.2
|
編輯推薦: |
计算机科学专业及经济信息学专业学生的数学基础课教材。
|
內容簡介: |
本书是作者之一梅内尔教授((Christoph Meinel)在德国特里尔大学任教为计算机科学专业及经济信息学专业学期的学生设计的课程。该课程的主要目的是为学生提供专业的数学知识和技能,以便他们可以获得计算机科学及其相关专业所必需的数学基础。
|
關於作者: |
梅内尔(Christoph Meinel)德国特里尔大学教授,本书是为计算机科学专业及经济信息学专业学期的学生设计的课程。
|
目錄:
|
第 1章绪论 1
部分数学基础知识
第 2章命题 7
21定义和举例 7
22命题联结词 8
23重言式和矛盾式 13
24命题形式化 17
25命题的量化 18
第 3章集合和集合运算 21
31集合 21
32集合相等 23
33补集 25
34空集 26
35子集和超集 27
36幂集和集合族 28
37集合的交集、并集和补集 30
38笛卡儿积 34
39集合运算的其他基本规律 37
第 4章数学证明 39
第 5章关系 43
51定义和举例 43
52关系运算 47
53关系的重要性质 50
54等价关系与划分 52
计算机数学基础 (第 6版)
55等价关系的运算 57
56偏序关系 61
第 6章映射与函数 65
61定义及个例子 65
62满射、单射和双射 69
63序列和集合族 74
64集合的基数 77
65参考资料 80
第二部分技术支持
第 7章数学证明方法 85
71直接证明法 85
72换质位法证明 87
73反证法 88
74等价证明 89
75原子命题证明 90
76个案分析证明 92
77带量词的命题证明 93
78组合证明 96
第 8章完全归纳法 100
81完全归纳法的思路 101
82归纳证明举例 101
83归纳证明的结构 104
84广义完全归纳法 106
85归纳定义 107
第 9章组合计数 116
91基本计数原则 116
92排列和二项式系数 121
93计算二项式系数 125
第 10章离散概率论 133
101随机试验和概率 133
102条件概率 141
103随机变量 143
目录
104二项分布和几何分布 149
105参考资料 153
第三部分数学结构
第 11章布尔代数 157
111布尔函数及其表达形式 157
112布尔代数的定义 163
113布尔代数示例 164
114布尔代数的性质 170
115布尔代数中的偏序 174
116布尔代数的原子 176
117布尔表达式的规范形式 180
118小化布尔表达式 182
119同构基本定理 184
1110电路代数 188
第 12章图和树 193
121基本概念 194
122图中的通路和回路 199
123图和矩阵 203
124图同构 210
125树 212
第 13章命题逻辑 218
131布尔代数和命题逻辑 218
132范式 223
133可满足性等价公式 225
134不可满足的子句集合 229
135霍恩子句的可满足性 232
136归结原理 235
137 2KNF中的子句集 242
第 14章模算术 245
141因数关系 246
142模的加法和乘法 249
143模运算 253
计算机数学基础 (第 6版)
144公因数和欧几里得算法 257
145费马小定理 261
146使用费马小定理的加密 265
147 RSA加密算法 270
148参考资料 272
|
|