- 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”人才;多次获西北大学优秀教师称号。
-
落洼物语
¥8.7¥28.0 -
当代中国政府与政治(新编21世纪公共管理系列教材)
¥32.6¥48.0 -
中国当代文学名篇选读
¥19.1¥53.0 -
中医基础理论
¥50.7¥59.0 -
北大人文课(平装)
¥13.9¥45.0 -
外国教育史-第2版
¥24.4¥40.0 -
宪法-第二版
¥12.2¥29.0 -
先进防伪技术
¥81.3¥98.0 -
当代中国政府与政治 第二版
¥57.8¥68.0 -
EPLAN电气设计
¥29.9¥39.8 -
闯进数学世界――探秘历史名题
¥21.3¥32.8 -
企业法务教程
¥34.8¥49.0 -
习近平新时代中国特色社会主义思想概论
¥18.2¥26.0 -
毛泽东思想和中国特色社会主义理论体系概论(2021年版)
¥6.8¥25.0 -
金融学
¥29.9¥49.0 -
计算机操作系统教程(第4版)(清华大学计算机系列教材)
¥31.9¥49.0 -
古代汉语(第四册)
¥16.1¥35.0 -
管理学:原理与方法(第7版)(博学.大学管理类)/周三多
¥30.9¥49.0 -
(平装)北大必修课:北大口才课
¥12.2¥45.0 -
海商法-第四版
¥30.2¥48.0