ize-medium aligncenter” src=”https://unicover.duxiu.com/coverNew/CoverNew.dll?iid=61615F6862645F6663669C97569E9F8FA791A495A29D91A29B566131688414089120130″ />
书籍名称:离散结构
页数:177
作者:许蔓苓编著
出版时间:2007
ISBN:9787810779630
出版社:北京:北京航空航天大学出版社
简介:本书是根据国内《离散数学教学大纲》并参考美国CC2004计算机工程课程体系的“离散数学”教学要求而编写的,既凝聚了作者20多年的教学经验,也吸取了国内外数十本相关著作的精华。全书共8章,包括命题逻辑、一阶逻辑、集合、关系、函数、计数初步、图论、树。每章后面配有难易不等的习题,可供教学选用。最后配有部分习题的提示与解答。本书可作为高等院校、计算机科学与技术、应用数学、自动控制、电子工程、信息科学及相关专业的本科生的教材,也可供相关专业的工程技术人员参考。*本书备有电子课件,供教师参考,如需要,向本社发行部索取。
前部分目录
第1章 命题逻辑——1
1.1 命题和逻辑运算——1
1.1.1 命题——1
1.1.2 逻辑联结词和复合命题——2
1.2 合式公式——6
1.2.1 语法——6
1.2.2 语义(semantics)——7
1.3 逻辑等价——8
1.4 范式——12
1.4.1 析取范式——12
1.4.2 合取范式——13
1.4.3 用等价替换方法构造主范式——14
1.5 联结词的完备集及应用——15
1.5.1 联结词的完备集——15
1.5.2 一些计算机应用——16
1.6 蕴涵和演绎——19
······
······
······
声明:本站资源均来源于互联网,旨在给网友提供一个交流学习的平台,产生费用仅为网站运营赞助费。版权属于原作者,若有侵权,请联系微信客服告知,我们会立即处理。