- ISBN:9787040504668
- 装帧:一般胶版纸
- 册数:暂无
- 重量:暂无
- 开本:16开
- 页数:359
- 出版时间:2019-07-01
- 条形码:9787040504668 ; 978-7-04-050466-8
本书特色
本书是普通高等教育“十二五”*规划教材,较全面地介绍了计算机科学与技术、软件工程及相关专业所必需的数学知识。全书共分为数理逻辑、集合论、近世代数与图论4篇。*篇包括命题逻辑、谓词逻辑和非经典逻辑;第二篇包括集合、关系、函数和粗糙集;第三篇包括代数系统的概念、半群、群、环、域、格和布尔代数;第四篇包括图的基本概念、欧拉图、哈密顿图、树、二分图和平面图。各篇相对独立而又有机联系,书中的证明力求严格完整。书中的例题、习题具有一定的典型性。全书内容深入浅出,便于自学。各章有复习提要,便于读者总结和提高。本书可作为高等院校计算机科学与技术、软件工程及相关专业离散数学课程的教材,也可作为考研及相关专业技术人员的参考书。
内容简介
本书是普通高等教育“十二五”国家级规划教材,较全面地介绍了计算机科学与技术、软件工程及相关专业所必需的数学知识。全书共分为数理逻辑、集合论、近世代数与图论4篇。**篇包括命题逻辑、谓词逻辑和非经典逻辑;第二篇包括集合、关系、函数和粗糙集;第三篇包括代数系统的概念、半群、群、环、域、格和布尔代数;第四篇包括图的基本概念、欧拉图、哈密顿图、树、二分图和平面图。各篇相对独立而又有机联系,书中的证明力求严格完整。书中的例题、习题具有一定的典型性。全书内容深入浅出,便于自学。各章有复习提要,便于读者总结和提高。 本书可作为高等院校计算机科学与技术、软件工程及相关专业离散数学课程的教材,也可作为考研及相关专业技术人员的参考书。
目录
作者简介
陈莉,西北大学信息科学与技术学院教授、博士生导师,陕西省高等学校教学名师。现为中国计算机学会高级会员、中国人工智能学会离散智能计算专委会副主任委员、中国体视学学会图像分析分会常务理事;陕西省计算机学会及陕西省信号处理学会常务理事。主持和承担国家科技支撑计划课题、科技部重大仪器专项、国家自然科学基金、国防973及省部级项目多项,是国家科技支撑计划项目的首席专家;发表学术论文100余篇,其中三大检索论文30余篇;获发明专利2项,获软件著作权10余项;获陕西省高等学校科学技术一等奖。主持和承担省部级教学研究项目和校级教学研究项目多项;是国家、省级教学团队骨干成员;获国家教学成果二等奖、陕西省教学成果特等奖、一等奖及二等奖多项;获陕西省优秀教材奖;获陕西省优秀青年教师称号;获西北大学教学成果特等奖、一等奖及二等奖数项;获西北大学优秀教学质量一等奖和青年教师讲课比赛一等奖;主持省、校级精品课程“离散数学”;主编“十一五”“十二五”普通高等教育本科国家级规划教材,出版专著及教材4部,发表教学研究类论文20余篇。 刘晓霞,西北大学信息科学与技术学院教授,硕士生导师。作为访问学者在美国伊利诺伊大学厄巴纳一香槟分校(UIUC)计算机系和丹麦哥本哈根大学计算机系开展合作研究。主要从事智能信息处理方面的研究工作。主持和承担国家自然科学基金、航空科学基金、陕西省自然科学基金、陕西省教育厅专项基金等多项科研项目;在核心期刊发表论文30余篇;主持和承担国家、省级、校级精品课程,校重点课程,校质量工程双语课程建设等多项教学项目;出版教材2部,其中普通高等教育“十一五”国家级规划教材1部;获省级教学成果奖、省优秀教材奖等多项奖励;是国家、省级教学团队骨干成员;西北大学“112”人才;多次获西北大学优秀教师称号。
-
当代中国政府与政治(新编21世纪公共管理系列教材)
¥33.6¥48.0 -
落洼物语
¥8.9¥28.0 -
中医基础理论【中医 针灸专业用】
¥18.0¥25.0 -
中医基础理论
¥50.7¥59.0 -
习近平总书记教育重要论述讲义
¥13.3¥35.0 -
世界现代设计史-[第二版]
¥40.8¥120.0 -
习近平新时代中国特色社会主义思想概论
¥18.2¥26.0 -
新世纪高等学校教材 心理学基础课系列教材普通心理学(第5版)/彭聃龄
¥29.6¥78.0 -
外国教育史-第2版
¥19.6¥40.0 -
断代(八品)
¥21.4¥42.0 -
宪法-第二版
¥21.8¥29.0 -
先进防伪技术
¥81.3¥98.0 -
企业法务教程
¥36.3¥49.0 -
[社版]大汉战神:霍去病传
¥15.6¥40.0 -
经络腧穴学
¥59.3¥69.0 -
工程图学
¥53.1¥59.0 -
马克思主义基本原理2021年版
¥6.9¥23.0 -
中国古代简史(插图本)
¥57.2¥88.0 -
计算机网络 第8版
¥37.7¥59.8 -
新闻学概论(第七版)(新闻与传播学系列教材(新世纪版))
¥15.0¥50.0