新書推薦:
《
迷人的化学(迷人的科学丛书)
》
售價:NT$
653.0
《
宋代冠服图志(详尽展示宋代各类冠服 精美插图 考据严谨 细节丰富)
》
售價:NT$
398.0
《
形似神异:什么是中日传统政治文化的结构性差异
》
售價:NT$
254.0
《
养育不好惹的小孩
》
售價:NT$
352.0
《
加加美高浩的手部绘画技法 II
》
售價:NT$
407.0
《
卡特里娜(“同一颗星球”丛书)
》
售價:NT$
398.0
《
伟大民族:从路易十五到拿破仑的法国史(方尖碑)
》
售價:NT$
857.0
《
古今“书画同源”论辨——中国书法与中国绘画的关系问题兼中国画笔墨研究
》
售價:NT$
602.0
編輯推薦:
本书特色:1.内容简明扼要,深入浅出,语言准确,易于阅读。为了让学生理解和掌握离散数学的基本知识,基本概念和主要定理尽可能直观化、形象化;重视基本运算和基本能力的掌握。2.力求例题、习题配置合理,难易适中,形式多样.教材每一章配备了一定数量的习题,书后给出了大部分的习题解答,以便学生加深对基本概念的理解和基本方法的掌。
內容簡介:
离散数学是现代数学的重要分支,是计算机科学理论的基础。本书内容包括四部分:*部分为数理逻辑,包括第1章命题逻辑、第2章谓词逻辑;第二部分为集合论,包括第3章集合、第4章二元关系和函数;第三部分为图论,包括第5章图简介、第6章特殊的图、第7章树;第四部分为代数系统,包括第8章代数系统简介、第9章几个典型的代数系统。本书适合作为普通高等院校计算机类专业的教材,也可供计算机软件从业人员学习与参考。
關於作者:
周淑云,女,汉族,河南省洛阳市人,1964年4月生,理学硕士,广东培正学院计算机科学与工程系教授,多年从事代数学的教学和科研工作。主讲离散数学、高等代数、代数学、高等数学、线性代数等课程,主要研究方向:Rota-Baxter代数、半群代数及其应用。主持参与完成多项校级课题,在Algebra Colloquium、Pure Mathematics and Applications等国际、国内期刊上发表论文20余篇,
目錄 :
第一部分数理逻辑第1章命题逻辑411命题与联结词412命题公式与类型813命题公式的等值式与蕴含式1014对偶式与联结词全功能集1415主范式1716命题逻辑的推论理论23习题127第2章谓词逻辑3021个体、谓词与量词3022谓词公式3323谓词逻辑的等值式与前束范式3724谓词逻辑的推理理论40习题243第二部分集合论第3章集合4631集合的基本概念4632集合的基本运算4933集合的运算性质51习题353第4章二元关系与函数5641笛卡儿积与二元关系5642关系的运算6043关系的性质6544关系的闭包运算7045等价关系和偏序关系7346函数的基本概念8147复合函数和反函数8548集合的基数88习题493第三部分图论第5章图简介9851图的基本概念9852通路、回路和图的连通性10453图的矩阵表示10754最短路径,关键路径与着色110习题5115第6章特殊的图11861二部图11862欧拉图12163哈密顿图12364平面图125习题6131第7章树13571无向树及生成树13572根树及其应用138习题7144第四部分代数系统第8章代数系统简介15081二元运算及其性质15082代数系统157习题8162第9章几个典型的代数系统16391半群与群16392环与域17193格与布尔代数173习题9183习题参考答案185参考文献201
內容試閱 :
离散数学是现代数学的重要分支,是计算机科学理论的基础。为了保证本书的教学适用性,编者根据多年的教学实践和体会,在编写过程中力求突显其构筑知识体系基础。本书具有以下特点:(1)简明扼要,深入浅出,语言准确,易于阅读。为了让学生理解和掌握离散数学的基本知识,基本概念和主要定理尽可能直观化、形象化,重视基本运算和基本能力的培养。(2)例题、习题配置合理,难易适中,形式多样。每一章配备了一定数量的习题,书后给出了大部分习题的参考答案,以便学生加深对基本概念的理解和对基本方法的掌握。本书由周淑云任主编,姚志敏、魏文芬任副主编。具体编写分工如下:周淑云编写第1~4章,姚志敏编写第5~7章,并绘制了第4章图和第9章部分图,魏文芬、周淑云共同编写第8、9章。廖金祥教授对本书做了认真细致的审阅,提出了许多宝贵的意见,在此表示衷心的感谢!本书的每一部分着重于基本概念和基本理论的论述和应用,适合作为普通高等院校计算机类专业教材,也可供计算机软件从业人员学习与参考。由于编者水平有限,书中难免有不妥和疏漏之处,恳请专家、同行和读者批评指正。编者2018年4月