出版时间:2005-1-1 出版社:机械工业出版社 作者:Andrew Simpson,冯速 译者:冯速
Tag标签:无
内容概要
本书通过大量简单易懂的示例和练习介绍了有关离散数学的基本概念与基础知识,并把理论知识与一系列实际应用联系起来。主要内容包括:命题逻辑和谓词逻辑、类型集合论、布尔代数、关系、函数、序列、归纳法、图论、组合数学等。通过适当的教学方法,可以加深学生对离散数学的理解。 本书适合所有学习离散数学的学生,并可作为相关专业的教材。
作者简介
Andrew Simpson目前任教于牛津大学,担任软件工程项目主任。他拥有牛津大学的计算机专业硕士和博士学位。他曾在牛津大学、牛津鲁斯金等学院和北伦敦大学讲授各种层次离散数学课程,拥有丰富的教学经验和理论知识,以在教学中善于结合实际需求著称。
书籍目录
出版者的话专家指志委员会译者序第1章 导论 1.1 学习动机 1.2 教材内容 1.3 组织结构第2章 数 2.1 自然数 2.2 Peano算术 2.3 其他类型的数 2.4 附加练习 2.5 练习解答第3章 命题逻辑 3.1 原子命题 3.2 真值 3.3 否定运算符 3.4 合取运算符 3.5 析取运算符 3.6 蕴合运算符 3.7 等值运算符 3.8 运算的优先级 3.9 重言式、矛盾式和不定式 3.10 真值表 3.11 等值推理 3.12 自然演绎 3.13 附加练习 3.14 练习解答第4章 集合论 4.1 集合 4.2 单集 4.3 空集 4.4 集合成员 4.5 子集 4.6 超集 4.7 集合的并集 4.8 集合的交集 4.9 集合的差集 4.10 有关集合的推理 ……第5章 布尔代数第6章 类型集合论第7章 谓词逻辑第8章 关系第9章 函数第10章 序列第11章 归纳法第12章 图论第13章 组合数学第14章 应用实例参考文献
图书封面
图书标签Tags
无
评论、评分、阅读与下载