内容简介：

内容提要：

图书目录：

作者介绍：

内容简介：

作/译者：屈碗玲 耿素云 张立昂出版社：清华大学出版社

出版日期：2008年02月ISBN：9787302168676 [十位:7302168679]

页数：382 重约：0.496KG

定价：￥33.00

内容提要：

本教材是参照ACM和IEEE最新推出的Computing Curricula 2005,根据教育部高等学校计算机科学与技术教学指导委员会最新编制的“高等学校计算机科学与技术专业规范”中制定的关于离散数学的知识结构和体系撰写的。全书共14章,内容包含证明技巧、数理逻辑、集合与关系、函数、组合计数、图和树、初等数论、离散概率、代数系统等。本书体系严谨,选材精炼,讲解翔实,例题丰富,注重与计算机科学技术的实际问题相结合,并选配了大量难度适当的习题,适合教学,另外,本书有配套的习题解答与学习指导等教学辅... [显示全部]

图书目录：

第1章 数学语言与证明方法

1.1 常用的数学符号

1.1.1 集合符号

1.1.2 运算符号

1.1.3 逻辑符号

1.2 集合及其运算

1.2.1 集合及其表示法

1.2.2 集合之间的包含与相等

1.2.3 集合的幂集

1.2.4 集合的运算

1 2.5 基本集合恒等式及其应用

1.3 证明方法概述

1.3.1 逻辑推理的形式结构

1.3.2 公理、定理与证明

1.3.3 证明方法

1.3.4 数学归纳法

习题

第2章 命... [显示全部]

编辑推荐与评论：

国家精品课程配套教材;根据教育部“高等计算机科学与技术专业规范”组织编写;与美国ACM和IEEE Computing Curricula 2005同步。

作者介绍：

屈婉玲,1969年毕业于北京大学物理系物理学专业,现任北京大学信息科学技术学院教授、博士生导师,中国人工智能学会离敞数学专委会委员。主要研究方向是算法设计与分析,发表论文20多篇,出版教材、数学参考书、译著20多部,其中包含多部国家级规划教材和北京市精品教材。所讲授的离散数学课程被评为国家级精品课程,两次被评为北京大学十佳教师,获得北京市优秀教师称号。曾主持过多项国家级教材和课程建设项日,并获得北京市教育教学成果(高等教育)一等奖。