离散数学结构

出版时间：2005-1  出版社：高等教育出版社  作者：马力克  页数：919  译者：邱仲潘  
Tag标签：无  

内容概要

　　离散数学结构是计算机学科课程体系中一门重要的课程。《国外优秀信息科学与技术系列教学用书·离散数学结构：理论与应用（翻译版）》采用一种全新的方法来讲授计算机科学的数学基础，包括逻辑、布尔代数、图论基础、有限状态机、语法和算法等。这门计算机专业必修课有助于学生理解数学论题的构建和数学推理的过程。　　《国外优秀信息科学与技术系列教学用书·离散数学结构：理论与应用（翻译版）》特色：专为大学本科离散数学课程设计，书中各章均包含l00多道练习题，贯穿全书的习题解答为培养学生解决问题的技巧提供了示范，提供了丰富的样例集和可视图表，清晰地定义和解释了重要概念，通过教学网站提供给学生额外的练习题、资源网站链接和习题解答手册。　　《国外优秀信息科学与技术系列教学用书·离散数学结构：理论与应用（翻译版）》中所介绍的方法是作者多年教学经验的结晶，采用这种理论与应用相结合的方法，可以提高学生的学习兴趣，降低学习难度。在各章，作者使用现实世界中具体的事例来激发学生理解数学中抽象概念的能力。《国外优秀信息科学与技术系列教学用书·离散数学结构：理论与应用（翻译版）》包含有大量的示例和补充练习，使学生在编程实践中灵活运用计算机科学知识，学习并巩固了一些重要的概念。《国外优秀信息科学与技术系列教学用书·离散数学结构：理论与应用（翻译版）》不仅在讲授方法上是理论与实践相结合的范本，而且在语言叙述上与课堂授课的风格相一致。

作者简介

作者:(美)D.S.MALIK

书籍目录

第一章　集合论、逻辑与算法基础　1.1　集合1.1.1　文氏图1.1.2　集合运算1.1.3　有序对与笛卡儿叉积1.1.4　集合的计算机表示课堂练习本节小结习题l.1　1.2　数理逻辑1.2.1 非1.2.2　合取1.2.3　析取1.2.4　蕴涵1.2.5　双向蕴涵1.2.6　命题公式（公式）课堂练习本节小结习题l.2　1.3　论证有效性1.3.1　一些有效论证形式课堂练习本节小结习题l.3　1.4　量词与一阶逻辑1.4.1 渭词求非1.4.2其他推理规则　　课堂练习本节小结习题l.41.5　证明方法1.5.1直接证明1.5.2间接证明1.5.3反证法1.5.4证明双向蕴涵1.5.5证明等价命题1.5.6证明中的错误课堂练习本节小结习题l.51.6　算法1.6.1伪码约定1.6.2多项式运算课堂练习本节小结习题l.6编程练习第二章　整数与数学归纳法2.1 整数2.1.1 除法算法2.1.2　最大公约数2.1.3　最小公倍数课堂练习本节小结习题2.12.2　计算机中的整数表示　……第三章　关系与偏序集第四章　矩阵与关系闭包第五章　函数第六章　同余第七章　计数原理第八章　递归关系第九章　算法与时间复杂度第十章　图论第十一章　树与网络第十二章　布尔代数与组合电路第十三章　有限自动机与语言附录部分习题答案与提示符号表参考文献

用户评论 (总计1条)

•   感觉内容不如Rosen的和Susanna的丰富，不如Susanna的易懂，不如Kolman的简洁，看后继版本怎么提高了。