新华集团 直发
-
作者:
杨圣洪
-
出版社:
中国科技出版传媒股份有限公司
-
ISBN:
9787030720771
-
出版时间:
2021-08
-
装帧:
平装
-
开本:
其他
-
作者:
杨圣洪
-
出版社:
中国科技出版传媒股份有限公司
-
ISBN:
9787030720771
-
出版时间:
2021-08
售价
¥
28.20
5.9折
定价
¥48.00
品相
全新
上书时间2023-12-25
卖家超过10天未登录
手机购买
微信扫码访问
-
-
商品描述:
-
目录
第1章命题逻辑1.1命题及联结词1.1.1命题1.1.2联结词1.2命题公式及其赋值习题1.3等值式1.4析取范式与合取范式1.5实验一习颗1.6推理理论习题1.7消解法1.8实验二习题综合练习第2章谓词逻辑2.1基本概念2.2谓词公式及其解释2.2.1合法的谓词公式2.2.2个体变元的身份2.2.3解释谓词公式2.2.4谓词公式的类型习题2.3谓词公式等值演算2.4谓词公式的范式习题2.5谓词推理习题综合练习第3章集合与关系3.1基本概念3.2集合运算与性厢3.3有穷集的计数习题3.4序偶3.5直积或笛卡儿积3.6关系3.7关系的复合3.8关系分类3.9关系的闭包3.10等价关系与集合的划分3.11偏序关系3.12实验习题综合练习第4章代数系统4.1什么是代数运算4.2运算的定义4.3运算的性质4.4代数系统的定义与性质4.5实验4.6半群4.7群4.8子群4.9群的陪集分解4.10循环群4.11置换群4.12环、域习题综合练习第5章图论·5.1图的概念与描述5.2图的连通性5.3欧拉图5.4哈密顿图5.5平面图与四色猜想5.6树与生成树5.7最短路径5.8网络流图5.9实验习题综合练习第6章组合数学6.1加法法则与乘法法则6.2一 一对应法则6.3排列6.4圆排列6.5组合6.6允许重复的组合6.7不相邻的组合6.8组合等式6.9鸽巢原理习题6.10母函数6.11指数型母函数6.12利用特征根法求递推关系习题参考文献
内容摘要
本书总结编者多年的教学经验,采用接近学生思维习惯的平实语言,并参考国内外多种同类教材编写而成。全书共分6章。第1章为命题逻辑,第2章为谓词逻辑,第3章为集合与关系,第4章为代数系统,第5章为图论,第6章为组合数学。各章相对独立又有机联系,证明力求平实,定理、例题、习题、实验题互相呼应,深人浅出。本书配有多媒体课件,扫描书中二维码可观看教学视频。
本书既可作为高等院校计算机科学与技术、软件工程、电子商务、数据科学与大数据技术、物联网、信息安全、人工智能及相关专业的教材也可供相关专业人员自学与参考。
精彩内容
本书总结编者多年的教学经验,采用接近学生思维习惯的平实语言,并参考国内外多种同类教材编写而成。全书共分6章。第1章为命题逻辑,第2章为谓词逻辑,第3章为集合与关系,第4章为代数系统,第5章为图论,第6章为组合数学。各章相对独立又有机联系,证明力求平实,定理、例题、习题、实验题互相呼应,深人浅出。本书配有多媒体课件,扫描书中二维码可观看教学视频。
本书既可作为高等院校计算机科学与技术、软件工程、电子商务、数据科学与大数据技术、物联网、信息安全、人工智能及相关专业的教材也可供相关专业人员自学与参考。
孔网啦啦啦啦啦纺织女工火锅店第三课
开播时间:09月02日 10:30
即将开播,去预约
直播中,去观看