| 开本：16开 |
| 纸张：胶版纸 |
| 包装：平装-胶订 |
| 是否套装：否 |
| 国际标准书号ISBN：9787302686682 |
| 丛书名：计算机新形态实用教材 |
| 所属分类：图书>教材>研究生/本科/专科教材>理学 |
离散数学理论与数学实验紧密结合的探索性教材 配套章教学课件，个实验，个例题，道课后习题及答案，分钟视频讲解产品特色
编辑推荐
本书在总结教学团队丰富教学经验的基础上，从离散数学原理、应用与实验的角度出发，阐述了离散数学的基本概念、定理、应用和实验，并配套相应的教学课件、教学软件、视频教程、程序源码、课后习题及其参考答案等。力争理论与实践相结合，培养读者的离散数学思维，提高利用离散数学建模并求解计算机科学与技术、智能科学与技术等专业复杂工程问题的能力。
●易教易学：以其精心设计的教材结构和全方位的教学支持，确保了学习过程的顺畅。书中的内容既深入浅出，又紧密联系实际，使读者在学习离散数学的同时，能够通过实验操作加深理解。
●资源丰富：将理论与实践相结合，通过详细的讲解和直观的实验，使抽象的离散数学知识变得具体易懂。加之提供的丰富教学资源，极大地促进了读者的自主学习。
●前后衔接：每章节的内容都是基于前一章的知识点逐步展开的，使读者能够自然过渡到更复杂的主题。书中的实例、实验和课后习题都是对前述理论的深化和应用，加之提供的程序源码和参考答案，形成了一个闭环的学习路径。
内容简介
本书主要内容包括数理逻辑、集合代数、二元关系、函数、图论的基本定义、定理、方法、例题、实验和习题。以使用广泛的语言作为实验语言。既注重基本概念、定理和方法的表达和证明，又注重通过编程实验手段探究性质及定理的验证，达到理论与实践的有机结合，为复杂工程问题提供从原理、应用到实践的解决方法。
本书共章，分为部分。第部分是数理逻辑，包括第章命题逻辑和第章一阶逻辑。第部分是集合论，包括第章集合代数、第章二元关系和第章函数。第部分是第章图论。每章均包含丰富的习题及部分习题的参考答案，针对重要的知识点设计了线上参考资源，包括教学课件和交互式可视化教学软件，读者可下载。
本书既可作为计算机科学与技术、智能科学与技术等专业的教材，也可以作为其他信息相关专业离散数学教材。同时，本书可作为其他专业技术人员或学生的参考读物。
作者简介
黄迎春，计算机科学与技术专业副教授，中国计算机学会会员，硕士生导师。入选辽宁省百千万人才工程“千人层次”，获沈阳市高校青年教师教学能手、校优秀主讲教师等荣誉称号，主讲多门数学、计算机及智能科学类本科生和研究生课程，主持教学改革项目多项，公开发表教学改革论文多篇，获教学成果奖多项，指导大学生创新创业项目多项，指导大学生获科技类竞赛奖多项，主持、参与国家、省部级课题余项，获国家国防科技进步二等奖项，在国内外重点学术期刊上公开发表论文多篇，授权发明专利、软件著作权多项。
目 录
教学课件（）
本书源码及教学软件
第章命题逻辑（）
命题与联结词
数理逻辑与命题
联结词
从自然语言到联结词
命题公式及其赋值
命题公式
命题公式的赋值教学课件（）本书源码及教学软件第章命题逻辑（）命题与联结词数理逻辑与命题联结词从自然语言到联结词命题公式及其赋值命题公式命题公式的赋值命题公式真值表实验与应用命题逻辑等值演算命题公式的等值式命题公式的对偶命题公式的析取范式和合取范式真值函数与联结词的完备集命题公式的实验与应用命题逻辑的推理理论推理的形式结构自然推理系统命题逻辑推理的实验与应用习题第章一阶逻辑（）一阶逻辑的基本概念一阶逻辑命题符号化个体词和谓词量词一阶逻辑公式一阶语言与谓词公式谓词公式的解释和赋值谓词公式的类型一阶逻辑的等值演算一阶逻辑等值式一阶逻辑的前束范式一阶逻辑的推理理论一阶逻辑实验习题第章集合代数（）集合的基本概念集合的定义集合的表示集合的关系集合的基本概念实验集合的运算集合的基本运算集合的广义运算集合的基本运算实验集合的恒等式有穷集合的计数及其应用有穷集合的计数有穷集合计数应用与实验习题第章二元关系（）有序对与笛卡儿积二元关系的定义与表示二元关系的定义二元关系的表示关系的运算关系的基本运算关系基本运算的性质关系的幂运算关系的性质关系性质的定义关系性质的判别关系的闭包关系闭包的定义关系闭包的性质关系闭包的图生成和矩阵计算等价关系等价关系与等价类划分与商集偏序关系与其他的序关系偏序关系与全序关系良序关系拟序关系格相容关系二元关系实验关系基本的单目运算实验关系的合成运算与幂运算实验关系的闭包实验关系的性质判定实验习题第章函数（）函数的定义与性质函数的定义函数的性质函数的复合与反函数函数的复合反函数双射函数与集合的基数函数实验函数及其性质判断实验主关键字查找函数实验定义在自然数集合上的函数实验习题第章图论（）图的基本概念无向图和有向图简单图子图通路与回路及图的连通性通路与回路带权图与最短路径连通性图的矩阵表示关联矩阵邻接矩阵可达矩阵图的矩阵应用树无向树最小生成树根树位置树与二叉树最优二叉树几种特殊的图欧拉图哈密顿图二部图与匹配平面图习题附录课后部分习题参考答案
显示全部信息
前 言
近年来，中国发布了《关于开展新工科研究与实践的通知》《关于推荐新工科研究与实践项目的通知》，提出培养造就一大批多样化、创新型卓越工程科技人才，为我国产业发展和国际竞争提供智力和人才支撑，既是当务之急，也是长远之策。与此同时，积极推行工程教育专业认证，是“五位一体”高等教育教学评估制度的重要组成部分。在这样的背景下，出版与时俱进的教材尤为关键。本教材的主要特色是首先，在“离散数学”“离散数学及其应用”的基础上，提出
“离散数学与数学实验”这样的教材主题，其核心思想是将离散数学理论与工程实践有机结合起来，在重要知识点处加入编程实验部分，使学生能够生动地理解所学理论的实际意义，避免只学习枯燥的数学理论带来的弊端，做到理论与实践之间“无缝衔接”，达到知行合一的学习效果； 其次，针对计算机应用人才的培养目标，考虑目前大多数高等学校教学课程学时短（通常为学时）的教学特点，在教材编写时不追求知识点的多而全，而追求突出重点、清晰易懂。近年来，中国发布了《关于开展新工科研究与实践的通知》《关于推荐新工科研究与实践项目的通知》，提出培养造就一大批多样化、创新型卓越工程科技人才，为我国产业发展和国际竞争提供智力和人才支撑，既是当务之急，也是长远之策。与此同时，积极推行工程教育专业认证，是“五位一体”高等教育教学评估制度的重要组成部分。在这样的背景下，出版与时俱进的教材尤为关键。本教材的主要特色是首先，在“离散数学”“离散数学及其应用”的基础上，提出
“离散数学与数学实验”这样的教材主题，其核心思想是将离散数学理论与工程实践有机结合起来，在重要知识点处加入编程实验部分，使学生能够生动地理解所学理论的实际意义，避免只学习枯燥的数学理论带来的弊端，做到理论与实践之间“无缝衔接”，达到知行合一的学习效果； 其次，针对计算机应用人才的培养目标，考虑目前大多数高等学校教学课程学时短（通常为学时）的教学特点，在教材编写时不追求知识点的多而全，而追求突出重点、清晰易懂。
离散数学是研究离散结构及其形式的学科，被广泛应用于实际问题的建模、分析与求解，对培养离散计算思维具有重要作用，是计算机科学与技术、智能科学与技术等相关专业的核心课程之一。本书主要包括基本知识、基本理论、基本方法、基本应用和基本实验方面的内容。为了帮助读者更好地掌握离散数学的有关概念和方法，同时便于教学，本书针对重要知识点设计了个实验，实验程序均采用语言编程实现； 每章提供丰富的习题及部分习题的参考答案； 针对重要的知识点设计了线上参考资源，包括教学课件和交互式可视化教学软件。本书的第章、第章、第章由黄迎春完成，第章由张德慧、黄迎春完成，第章由李响、黄迎春完成，第章由张德育、黄迎春完成，李筱筱老师为本书英文参考资料的翻译和书稿整理做了工作，学生凌坤铧为本书配套视频制作做了工作。在本书的编写过程中，参考了国内外的一些离散数学教材，在此向其作者表示衷心的感谢； 并在此感谢中软国际教育科技股份有限公司企业陈伟俊为本书提供的实践案例，将离散数学的理论知识与实际应用紧密结合，既注重理论的严谨性，又关注其在计算机科学及相关专业领域的应用价值。
由于作者的阅历和水平有限，书中难免存在疏漏和不足，希望读者热心指正。资源下载提示素材（源码）等资源扫描目录上方的二维码下载。视频等资源扫描封底的文泉云盘防盗码，再扫描书中相应章节的二维码，可以在线学习。
作者
年月
于沈阳
显示全部信息
编辑推荐
本书在总结教学团队丰富教学经验的基础上，从离散数学原理、应用与实验的角度出发，阐述了离散数学的基本概念、定理、应用和实验，并配套相应的教学课件、教学软件、视频教程、程序源码、课后习题及其参考答案等。力争理论与实践相结合，培养读者的离散数学思维，提高利用离散数学建模并求解计算机科学与技术、智能科学与技术等专业复杂工程问题的能力。
●易教易学：以其精心设计的教材结构和全方位的教学支持，确保了学习过程的顺畅。书中的内容既深入浅出，又紧密联系实际，使读者在学习离散数学的同时，能够通过实验操作加深理解。
●资源丰富：将理论与实践相结合，通过详细的讲解和直观的实验，使抽象的离散数学知识变得具体易懂。加之提供的丰富教学资源，极大地促进了读者的自主学习。
●前后衔接：每章节的内容都是基于前一章的知识点逐步展开的，使读者能够自然过渡到更复杂的主题。书中的实例、实验和课后习题都是对前述理论的深化和应用，加之提供的程序源码和参考答案，形成了一个闭环的学习路径。
内容简介
本书主要内容包括数理逻辑、集合代数、二元关系、函数、图论的基本定义、定理、方法、例题、实验和习题。以使用广泛的语言作为实验语言。既注重基本概念、定理和方法的表达和证明，又注重通过编程实验手段探究性质及定理的验证，达到理论与实践的有机结合，为复杂工程问题提供从原理、应用到实践的解决方法。
本书共章，分为部分。第部分是数理逻辑，包括第章命题逻辑和第章一阶逻辑。第部分是集合论，包括第章集合代数、第章二元关系和第章函数。第部分是第章图论。每章均包含丰富的习题及部分习题的参考答案，针对重要的知识点设计了线上参考资源，包括教学课件和交互式可视化教学软件，读者可下载。
本书既可作为计算机科学与技术、智能科学与技术等专业的教材，也可以作为其他信息相关专业离散数学教材。同时，本书可作为其他专业技术人员或学生的参考读物。
作者简介
黄迎春，计算机科学与技术专业副教授，中国计算机学会会员，硕士生导师。入选辽宁省百千万人才工程“千人层次”，获沈阳市高校青年教师教学能手、校优秀主讲教师等荣誉称号，主讲多门数学、计算机及智能科学类本科生和研究生课程，主持教学改革项目多项，公开发表教学改革论文多篇，获教学成果奖多项，指导大学生创新创业项目多项，指导大学生获科技类竞赛奖多项，主持、参与国家、省部级课题余项，获国家国防科技进步二等奖项，在国内外重点学术期刊上公开发表论文多篇，授权发明专利、软件著作权多项。
目 录
教学课件（）
本书源码及教学软件
第章命题逻辑（）
命题与联结词
数理逻辑与命题
联结词
从自然语言到联结词
命题公式及其赋值
命题公式
命题公式的赋值教学课件（）本书源码及教学软件第章命题逻辑（）命题与联结词数理逻辑与命题联结词从自然语言到联结词命题公式及其赋值命题公式命题公式的赋值命题公式真值表实验与应用命题逻辑等值演算命题公式的等值式命题公式的对偶命题公式的析取范式和合取范式真值函数与联结词的完备集命题公式的实验与应用命题逻辑的推理理论推理的形式结构自然推理系统命题逻辑推理的实验与应用习题第章一阶逻辑（）一阶逻辑的基本概念一阶逻辑命题符号化个体词和谓词量词一阶逻辑公式一阶语言与谓词公式谓词公式的解释和赋值谓词公式的类型一阶逻辑的等值演算一阶逻辑等值式一阶逻辑的前束范式一阶逻辑的推理理论一阶逻辑实验习题第章集合代数（）集合的基本概念集合的定义集合的表示集合的关系集合的基本概念实验集合的运算集合的基本运算集合的广义运算集合的基本运算实验集合的恒等式有穷集合的计数及其应用有穷集合的计数有穷集合计数应用与实验习题第章二元关系（）有序对与笛卡儿积二元关系的定义与表示二元关系的定义二元关系的表示关系的运算关系的基本运算关系基本运算的性质关系的幂运算关系的性质关系性质的定义关系性质的判别关系的闭包关系闭包的定义关系闭包的性质关系闭包的图生成和矩阵计算等价关系等价关系与等价类划分与商集偏序关系与其他的序关系偏序关系与全序关系良序关系拟序关系格相容关系二元关系实验关系基本的单目运算实验关系的合成运算与幂运算实验关系的闭包实验关系的性质判定实验习题第章函数（）函数的定义与性质函数的定义函数的性质函数的复合与反函数函数的复合反函数双射函数与集合的基数函数实验函数及其性质判断实验主关键字查找函数实验定义在自然数集合上的函数实验习题第章图论（）图的基本概念无向图和有向图简单图子图通路与回路及图的连通性通路与回路带权图与最短路径连通性图的矩阵表示关联矩阵邻接矩阵可达矩阵图的矩阵应用树无向树最小生成树根树位置树与二叉树最优二叉树几种特殊的图欧拉图哈密顿图二部图与匹配平面图习题附录课后部分习题参考答案
显示全部信息
前 言
近年来，中国发布了《关于开展新工科研究与实践的通知》《关于推荐新工科研究与实践项目的通知》，提出培养造就一大批多样化、创新型卓越工程科技人才，为我国产业发展和国际竞争提供智力和人才支撑，既是当务之急，也是长远之策。与此同时，积极推行工程教育专业认证，是“五位一体”高等教育教学评估制度的重要组成部分。在这样的背景下，出版与时俱进的教材尤为关键。本教材的主要特色是首先，在“离散数学”“离散数学及其应用”的基础上，提出
“离散数学与数学实验”这样的教材主题，其核心思想是将离散数学理论与工程实践有机结合起来，在重要知识点处加入编程实验部分，使学生能够生动地理解所学理论的实际意义，避免只学习枯燥的数学理论带来的弊端，做到理论与实践之间“无缝衔接”，达到知行合一的学习效果； 其次，针对计算机应用人才的培养目标，考虑目前大多数高等学校教学课程学时短（通常为学时）的教学特点，在教材编写时不追求知识点的多而全，而追求突出重点、清晰易懂。近年来，中国发布了《关于开展新工科研究与实践的通知》《关于推荐新工科研究与实践项目的通知》，提出培养造就一大批多样化、创新型卓越工程科技人才，为我国产业发展和国际竞争提供智力和人才支撑，既是当务之急，也是长远之策。与此同时，积极推行工程教育专业认证，是“五位一体”高等教育教学评估制度的重要组成部分。在这样的背景下，出版与时俱进的教材尤为关键。本教材的主要特色是首先，在“离散数学”“离散数学及其应用”的基础上，提出
“离散数学与数学实验”这样的教材主题，其核心思想是将离散数学理论与工程实践有机结合起来，在重要知识点处加入编程实验部分，使学生能够生动地理解所学理论的实际意义，避免只学习枯燥的数学理论带来的弊端，做到理论与实践之间“无缝衔接”，达到知行合一的学习效果； 其次，针对计算机应用人才的培养目标，考虑目前大多数高等学校教学课程学时短（通常为学时）的教学特点，在教材编写时不追求知识点的多而全，而追求突出重点、清晰易懂。
离散数学是研究离散结构及其形式的学科，被广泛应用于实际问题的建模、分析与求解，对培养离散计算思维具有重要作用，是计算机科学与技术、智能科学与技术等相关专业的核心课程之一。本书主要包括基本知识、基本理论、基本方法、基本应用和基本实验方面的内容。为了帮助读者更好地掌握离散数学的有关概念和方法，同时便于教学，本书针对重要知识点设计了个实验，实验程序均采用语言编程实现； 每章提供丰富的习题及部分习题的参考答案； 针对重要的知识点设计了线上参考资源，包括教学课件和交互式可视化教学软件。本书的第章、第章、第章由黄迎春完成，第章由张德慧、黄迎春完成，第章由李响、黄迎春完成，第章由张德育、黄迎春完成，李筱筱老师为本书英文参考资料的翻译和书稿整理做了工作，学生凌坤铧为本书配套视频制作做了工作。在本书的编写过程中，参考了国内外的一些离散数学教材，在此向其作者表示衷心的感谢； 并在此感谢中软国际教育科技股份有限公司企业陈伟俊为本书提供的实践案例，将离散数学的理论知识与实际应用紧密结合，既注重理论的严谨性，又关注其在计算机科学及相关专业领域的应用价值。
由于作者的阅历和水平有限，书中难免存在疏漏和不足，希望读者热心指正。资源下载提示素材（源码）等资源扫描目录上方的二维码下载。视频等资源扫描封底的文泉云盘防盗码，再扫描书中相应章节的二维码，可以在线学习。
作者
年月
于沈阳
显示全部信息