离散数学 (21世纪高等院校创新精品规划教材)

离散数学 (21世纪高等院校创新精品规划教材)
分享
扫描下方二维码分享到微信
打开微信,点击右上角”+“,
使用”扫一扫“即可将网页分享到朋友圈。
作者: 主编
2010-02
版次: 1
ISBN: 9787508465470
定价: 34.00
装帧: 平装
开本: 16开
纸张: 胶版纸
页数: 324页
字数: 42千字
1人买过
  • 本书包含四部分内容:数理逻辑、集合论、代数结构、图论。每部分内容结合建构主义教学理论,设计不同离散数学应用案例,提供学习《离散数学》知识点的应用场景。每一章选择有意义的范例和实验项目,有利于学生通过编程实践增进对离散数学知识的理解和应用,提高学生的学习兴趣。全书体系严谨、叙述深入浅出。
      
      
      每部分内容都分为基础知识章节和高级应用章节(带*部分),便于教师根据学时要求选讲章节内容,适合不同学时的授课,也方便软件开发人员参考应用。
      
      
      本书可作为普通高等学校计算机及相关专业本科生“离散数学”课程的教材,也可供其他专业学生、工作人员及软件开发人员阅读和参考。有些高级应用范例还可供硕士研究生学习参考。 前言

    第一部分  数理逻辑

    第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.2.6  字位运算与布尔检索

      1.3  命题公式与解释

        1.3.1  命题公式

        1.3.2  命题的符号化

      1.4  真值表与等价公式

        1.4.1  真值表

        1.4.2  等价公式

      1.5  命题公式的分类与蕴含式

        1.5.1  命题公式的分类

        1.5.2  重言式与矛盾式的性质

        1.5.3  蕴含式

      1.6  其他逻辑联结词和最小功能完备联结词组

        1.6.1  其他逻辑联结词

        1.6.2 最小功能完备联结词组

        1.6.3  联结词的逻辑电路表示

      1.7  对偶与范式

        1.7.1  对偶式与对偶原理

        1.7.2  命题公式的范式

        1.7.3  命题公式的主析取范式和主合取范式

      1.8  推理理论

        1.8.1  直接证法

        1.8.2  间接证法

        习题一

        实验一  真值表的程序计算

      第2章  谓词逻辑

      第3章  基于归结原理的推理证明料

    第二部分  集合论

      第4章  集合及其运算

      第5章  二元关系

      第6章  函数

      第7章  集合的基数

    第三部分  代数结构

      第8章  半群、语言和自动机

      第9章  代数系统

      第10章  格与布尔代数

    第四部分  图论

      第11章  图的基本概念

      第12章  树

      第13章  支配集、覆盖集、独立集与匹配理论

    《离散数学》常用符号表

    参考文献
  • 内容简介:
    本书包含四部分内容:数理逻辑、集合论、代数结构、图论。每部分内容结合建构主义教学理论,设计不同离散数学应用案例,提供学习《离散数学》知识点的应用场景。每一章选择有意义的范例和实验项目,有利于学生通过编程实践增进对离散数学知识的理解和应用,提高学生的学习兴趣。全书体系严谨、叙述深入浅出。
      
      
      每部分内容都分为基础知识章节和高级应用章节(带*部分),便于教师根据学时要求选讲章节内容,适合不同学时的授课,也方便软件开发人员参考应用。
      
      
      本书可作为普通高等学校计算机及相关专业本科生“离散数学”课程的教材,也可供其他专业学生、工作人员及软件开发人员阅读和参考。有些高级应用范例还可供硕士研究生学习参考。
  • 目录:
    前言

    第一部分  数理逻辑

    第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.2.6  字位运算与布尔检索

      1.3  命题公式与解释

        1.3.1  命题公式

        1.3.2  命题的符号化

      1.4  真值表与等价公式

        1.4.1  真值表

        1.4.2  等价公式

      1.5  命题公式的分类与蕴含式

        1.5.1  命题公式的分类

        1.5.2  重言式与矛盾式的性质

        1.5.3  蕴含式

      1.6  其他逻辑联结词和最小功能完备联结词组

        1.6.1  其他逻辑联结词

        1.6.2 最小功能完备联结词组

        1.6.3  联结词的逻辑电路表示

      1.7  对偶与范式

        1.7.1  对偶式与对偶原理

        1.7.2  命题公式的范式

        1.7.3  命题公式的主析取范式和主合取范式

      1.8  推理理论

        1.8.1  直接证法

        1.8.2  间接证法

        习题一

        实验一  真值表的程序计算

      第2章  谓词逻辑

      第3章  基于归结原理的推理证明料

    第二部分  集合论

      第4章  集合及其运算

      第5章  二元关系

      第6章  函数

      第7章  集合的基数

    第三部分  代数结构

      第8章  半群、语言和自动机

      第9章  代数系统

      第10章  格与布尔代数

    第四部分  图论

      第11章  图的基本概念

      第12章  树

      第13章  支配集、覆盖集、独立集与匹配理论

    《离散数学》常用符号表

    参考文献
查看详情
系列丛书 / 更多
离散数学 (21世纪高等院校创新精品规划教材)
管理信息系统(第2版)/21世纪高等院校创新精品规划教材
王欣 著
离散数学 (21世纪高等院校创新精品规划教材)
数学建模方法与数学实验
刘仁云 编
离散数学 (21世纪高等院校创新精品规划教材)
电子商务英语
杲昌杰、石焱、张文馨 编
离散数学 (21世纪高等院校创新精品规划教材)
大学生涯与职业规划/21世纪高等院校创新精品规划教材
郑春晔、吴剑 编
离散数学 (21世纪高等院校创新精品规划教材)
计算机常用工具软件教程
陈建国、胡志惠 编
离散数学 (21世纪高等院校创新精品规划教材)
大学物理实验
王克强 编
离散数学 (21世纪高等院校创新精品规划教材)
网络操作系统(Windows Server 2003)
王红 著
离散数学 (21世纪高等院校创新精品规划教材)
Access 2003 数据库应用技术 (21世纪高等院校创新精品规划教材)
胡毅 主编;朱子江
离散数学 (21世纪高等院校创新精品规划教材)
软件工程
杜文洁 著
离散数学 (21世纪高等院校创新精品规划教材)
大学计算机基础实验教程/21世纪高等院校创新精品规划教材
向伟 编
离散数学 (21世纪高等院校创新精品规划教材)
微型计算机及其接口技术
胡敏、张永 编;张丹、丁小峰、曾剑明 译
离散数学 (21世纪高等院校创新精品规划教材)
网页制作基础教程/21世纪高等院校创新精品规划教材
朱子江、刘东 编
相关图书 / 更多
离散数学 (21世纪高等院校创新精品规划教材)
离散数学解题指导(第3版)
贲可荣;袁景凌;谢茜
离散数学 (21世纪高等院校创新精品规划教材)
离散数学(第二版)
古天龙;徐周波;常亮
离散数学 (21世纪高等院校创新精品规划教材)
离散数学(第二版)
邹丽娜;董丽薇
离散数学 (21世纪高等院校创新精品规划教材)
离散数学(第2版)
蔡之华
离散数学 (21世纪高等院校创新精品规划教材)
离散数学学习指导与习题解析
王庆先 顾小丰 王丽杰
离散数学 (21世纪高等院校创新精品规划教材)
离散与组合数学手册:第二版(上下)英文
[美]肯尼斯·H.罗森(Kenneth;H.Rosen
离散数学 (21世纪高等院校创新精品规划教材)
离散数学
胡新启;季霞;杨志坚
离散数学 (21世纪高等院校创新精品规划教材)
离散与计算几何手册——第三版(上中下)英文
[美]雅各布·E.古德曼(Jacob E.Goodman);[美]约瑟夫·奥罗克;[美]乔鲍·D.托特
离散数学 (21世纪高等院校创新精品规划教材)
离散数学及其应用
孙志海
离散数学 (21世纪高等院校创新精品规划教材)
离散数学/成人高等教育教材
陈启浩 陈启浩
离散数学 (21世纪高等院校创新精品规划教材)
离散数学
张淑丽 主编;张晓晶 马超 谢孔峰 副主编
离散数学 (21世纪高等院校创新精品规划教材)
离散数学习题解答与学习指导(第4版)
屈婉玲;刘田;耿素云;张立昂
您可能感兴趣 / 更多
离散数学 (21世纪高等院校创新精品规划教材)
C语言程序设计(第2版)
邱晓红 著
离散数学 (21世纪高等院校创新精品规划教材)
植物保护技术实训(活页式融媒体教材高等职业教育农业农村部十三五规划教材)
邱晓红、迟全元 编
离散数学 (21世纪高等院校创新精品规划教材)
C/C++语言程序设计(第2版)(高等院校信息技术规划教材)
邱晓红、李渤、杨舒晴、樊中奎、彭莹琼 著
离散数学 (21世纪高等院校创新精品规划教材)
计算机专业英语(第2版)(计算机系列教材)
邱晓红、吴沧海、刘秋明、杨俊 著
离散数学 (21世纪高等院校创新精品规划教材)
大学MOOC及其教学效果提升策略研究
邱晓红;邱晓平
离散数学 (21世纪高等院校创新精品规划教材)
离散数学(第二版)(21世纪高等院校创新精品规划教材)
邱晓红
离散数学 (21世纪高等院校创新精品规划教材)
C语言程序设计
邱晓红、李渤 主编
离散数学 (21世纪高等院校创新精品规划教材)
计算机专业英语
邱晓红、吴沧海 编
离散数学 (21世纪高等院校创新精品规划教材)
质量管理体系与质量经济性
邱晓红、刘志娟 编
离散数学 (21世纪高等院校创新精品规划教材)
水稻病虫害防治路路通
邱晓红、姚克兵 著