离散数学

离散数学
分享
扫描下方二维码分享到微信
打开微信,点击右上角”+“,
使用”扫一扫“即可将网页分享到朋友圈。
作者:
2008-02
版次: 2
ISBN: 9787302168676
定价: 36.00
装帧: 平装
开本: 16开
  • 《21世纪大学本科计算机专业系列教材:离散数学(第2版)》是参照ACM和IEEE最新推出的ComputigCurricula2005,根据教育部高等学校计算机科学与技术教学指导委员会最新编制的“高等学校计算机科学与技术专业规范”中制定的关于离散数学的知识结构和体系撰写的,全书共14章,内容包含证明技巧、数理逻辑、集合与关系、函数、组合计数、图和树、初等数论、离散概率、代数系统等。《21世纪大学本科计算机专业系列教材:离散数学(第2版)》体系严谨,选材精炼,讲解翔实,例题丰富,注重与计算机科学技术的实际问题相结合,并选配了大量难度适当的习题,适合教学。另外,《21世纪大学本科计算机专业系列教材:离散数学(第2版)》有配套的习题解答与学习指导等教学辅导用书,以满足教学需要。
    本书适合作为高等学校计算机及相关专业本科生“离散数学”课程的教材,也可以作为对离散数学感兴趣的人员的入门参考书。 屈婉玲,1969年毕业于北京大学物理系物理学专业,现任北京大学信息科学技术学院教授、博士生导师,中国人工智能学会离散数学专委会委员。主要研究方向是算法设计与分析,发表论文20多篇,出版教材、教学参考书、译著20多部,其中包含多部国家级规划教材和北京市精品教材。所讲授的离散数学课程被评为国家级精品课程,两次被评为北京大学十佳教师,并获得北京市优秀教师称号。曾主持过多项国家级教材和课程建设项目,并获得北京市教育教学成果(高等教育)一等奖。 第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章命题逻辑
    2.1命题逻辑基本概念
    2.1.1命题与联结词
    2.1.2命题公式及其分类
    2.2命题逻辑等值演算
    2.2.1等值式与等值演算
    2.2.2联结词完备集
    2.3范式
    2.3.1析取范式与合取范式
    2.3.2主析取范式与主合取范式
    2.4命题逻辑推理理论
    2.4.1推理的形式结构
    2.4.2自然推理系统
    2.4.3归结证明法
    习题

    第3章一阶逻辑
    3.1一阶逻辑基本概念
    3.1.1命题逻辑的局限性
    3.1.2个体词、谓词与量词
    3.1.3一阶逻辑命题符号化
    3.1.4一阶逻辑公式与分类
    3.2一阶逻辑等值演算
    3.2.1一阶逻辑等值式与置换规则
    3.2.2一阶逻辑前束范式
    习题

    第4章关系
    4.1关系的定义及其表示
    4.1.1有序对与笛卡儿积
    4.1.2二元关系的定义
    4.1.3二元关系的表示
    4.2关系的运算
    4.2.1关系的基本运算
    4.2.2关系的幂运算
    4.3关系的性质
    4.3.1关系性质的定义和判别
    4.3.2关系的闭包
    4.4等价关系与偏序关系
    4.4.1等价关系
    4.4.2等价类和商集
    4.4.3集合的划分
    4.4.4偏序关系
    4.4.5偏序集与哈斯图
    习题

    第5章函数
    第6章图
    第7章树及其应用
    第8章组合计数基础
    第9章容斥原理
    第10章递推方程与生成函数
    第11章初等数论
    第12章离散概率
    第13章初等数论和离散概率的应用
    第14章代数系统
    参考文献
  • 内容简介:
    《21世纪大学本科计算机专业系列教材:离散数学(第2版)》是参照ACM和IEEE最新推出的ComputigCurricula2005,根据教育部高等学校计算机科学与技术教学指导委员会最新编制的“高等学校计算机科学与技术专业规范”中制定的关于离散数学的知识结构和体系撰写的,全书共14章,内容包含证明技巧、数理逻辑、集合与关系、函数、组合计数、图和树、初等数论、离散概率、代数系统等。《21世纪大学本科计算机专业系列教材:离散数学(第2版)》体系严谨,选材精炼,讲解翔实,例题丰富,注重与计算机科学技术的实际问题相结合,并选配了大量难度适当的习题,适合教学。另外,《21世纪大学本科计算机专业系列教材:离散数学(第2版)》有配套的习题解答与学习指导等教学辅导用书,以满足教学需要。
    本书适合作为高等学校计算机及相关专业本科生“离散数学”课程的教材,也可以作为对离散数学感兴趣的人员的入门参考书。
  • 作者简介:
    屈婉玲,1969年毕业于北京大学物理系物理学专业,现任北京大学信息科学技术学院教授、博士生导师,中国人工智能学会离散数学专委会委员。主要研究方向是算法设计与分析,发表论文20多篇,出版教材、教学参考书、译著20多部,其中包含多部国家级规划教材和北京市精品教材。所讲授的离散数学课程被评为国家级精品课程,两次被评为北京大学十佳教师,并获得北京市优秀教师称号。曾主持过多项国家级教材和课程建设项目,并获得北京市教育教学成果(高等教育)一等奖。
  • 目录:
    第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章命题逻辑
    2.1命题逻辑基本概念
    2.1.1命题与联结词
    2.1.2命题公式及其分类
    2.2命题逻辑等值演算
    2.2.1等值式与等值演算
    2.2.2联结词完备集
    2.3范式
    2.3.1析取范式与合取范式
    2.3.2主析取范式与主合取范式
    2.4命题逻辑推理理论
    2.4.1推理的形式结构
    2.4.2自然推理系统
    2.4.3归结证明法
    习题

    第3章一阶逻辑
    3.1一阶逻辑基本概念
    3.1.1命题逻辑的局限性
    3.1.2个体词、谓词与量词
    3.1.3一阶逻辑命题符号化
    3.1.4一阶逻辑公式与分类
    3.2一阶逻辑等值演算
    3.2.1一阶逻辑等值式与置换规则
    3.2.2一阶逻辑前束范式
    习题

    第4章关系
    4.1关系的定义及其表示
    4.1.1有序对与笛卡儿积
    4.1.2二元关系的定义
    4.1.3二元关系的表示
    4.2关系的运算
    4.2.1关系的基本运算
    4.2.2关系的幂运算
    4.3关系的性质
    4.3.1关系性质的定义和判别
    4.3.2关系的闭包
    4.4等价关系与偏序关系
    4.4.1等价关系
    4.4.2等价类和商集
    4.4.3集合的划分
    4.4.4偏序关系
    4.4.5偏序集与哈斯图
    习题

    第5章函数
    第6章图
    第7章树及其应用
    第8章组合计数基础
    第9章容斥原理
    第10章递推方程与生成函数
    第11章初等数论
    第12章离散概率
    第13章初等数论和离散概率的应用
    第14章代数系统
    参考文献
查看详情
相关图书 / 更多
离散数学
离散数学解题指导(第3版)
贲可荣;袁景凌;谢茜
离散数学
离散数学(第二版)
古天龙;徐周波;常亮
离散数学
离散数学(第二版)
邹丽娜;董丽薇
离散数学
离散数学(第2版)
蔡之华
离散数学
离散数学学习指导与习题解析
王庆先 顾小丰 王丽杰
离散数学
离散与组合数学手册:第二版(上下)英文
[美]肯尼斯·H.罗森(Kenneth;H.Rosen
离散数学
离散数学
胡新启;季霞;杨志坚
离散数学
离散与计算几何手册——第三版(上中下)英文
[美]雅各布·E.古德曼(Jacob E.Goodman);[美]约瑟夫·奥罗克;[美]乔鲍·D.托特
离散数学
离散数学及其应用
孙志海
离散数学
离散数学/成人高等教育教材
陈启浩 陈启浩
离散数学
离散数学
张淑丽 主编;张晓晶 马超 谢孔峰 副主编
离散数学
离散数学习题解答与学习指导(第4版)
屈婉玲;刘田;耿素云;张立昂
您可能感兴趣 / 更多
离散数学
算法设计与分析习题解答与学习指导(第3版)
屈婉玲;刘田;张立昂;王捍贫
离散数学
算法设计与分析(第3版)
屈婉玲;刘田;张立昂;王捍贫
离散数学
离散数学习题解答与学习指导(第4版)
屈婉玲;刘田;耿素云;张立昂
离散数学
离散数学(第4版)
屈婉玲;刘田;耿素云;张立昂
离散数学
离散数学及其应用(第2版)
屈婉玲 耿素云 张立昂
离散数学
离散数学(第3版 在线教学版)/普通高等教育精品教材
屈婉玲、耿素云、张立昂 著
离散数学
离散数学(修订版)
屈婉玲 编;耿素云
离散数学
离散数学
屈婉玲,耿素云,张立昂,屈婉玲,耿素云,张立昂
离散数学
离散数学(修订版)——学习指导与习题解析
屈婉玲 编;耿素云
离散数学
离散数学题解
屈婉玲
离散数学
代数结构与组合数学
屈婉玲
离散数学
离散数学(上)
屈婉玲 编;陈进元