-
>
宇宙、量子和人类心灵
-
>
气候文明史
-
>
南极100天
-
>
考研数学专题练1200题
-
>
希格斯:“上帝粒子”的发明与发现
-
>
神农架叠层石:10多亿年前远古海洋微生物建造的大堡礁
-
>
声音简史
离散数学-(第3版) 版权信息
- ISBN:9787560541549
- 条形码:9787560541549 ; 978-7-5605-4154-9
- 装帧:一般胶版纸
- 册数:暂无
- 重量:暂无
- 所属分类:>>
离散数学-(第3版) 本书特色
陈建明、曾明、刘国荣编著的《离散数学(第3版)》由集合论、代数系统、图论、数理逻辑、关于证明五部分组成。适用于理工科大学计算机专业,也可供其他专业使用。 在教材内容的安排上,力求做到选材既能满足计算机专业后继课程的需要,又比较精练。同时,考虑到计算机科学与技术发展对数理逻辑的要求,在教材中加强了数理逻辑部分,而且在形式推理部分采用了比较严格的符号规则,避开了p规则和t规则。我们认为这样的处理便于读者清楚地理解和掌握数理逻辑的形式推理过程。
离散数学-(第3版) 内容简介
陈建明、曾明、刘国荣编著的《离散数学(第3版)》系统地介绍了各种离散的数学结构,其中包括数理逻辑、集合论、代数系统和图论的基本内容。本书以证明方法和证明过程为重点,以关系的理念贯穿全书。在编写过程中力求内容精练、重点突出、深入浅出,有助于读者自我学习。书中内容可满足计算机专业后继课程的需要。 《离散数学(第3版)》可作为计算机软件专业、计算机通信专业、计算机制造专业和各类相关信息专业的本科生“离散数学”课程的教科书及教学参考书,同时也可供有关考研人员和自考人员学习和参考。
离散数学-(第3版) 目录
第1章 命题演算
1.1 命题与真值联结词
1.2 命题公式与真假性
1.3 命题公式间的逻辑等价关系
1.4 命题公式间的逻辑蕴涵关系
1.5 对偶定理
1.6 命题演算的形式推理
习题一
第2章 谓词演算
2.1 谓词与量词
2.2 谓词公式与真假性
2.3 谓词公式间的逻辑等价关系
2.4 谓词公式间的逻辑蕴涵关系
2.5 谓词演算的形式推理
- >
月亮与六便士
月亮与六便士
¥19.1¥42.0 - >
龙榆生:词曲概论/大家小书
龙榆生:词曲概论/大家小书
¥8.7¥24.0 - >
罗曼·罗兰读书随笔-精装
罗曼·罗兰读书随笔-精装
¥32.9¥58.0 - >
罗庸西南联大授课录
罗庸西南联大授课录
¥14.1¥32.0 - >
推拿
推拿
¥12.2¥32.0 - >
姑妈的宝刀
姑妈的宝刀
¥15.7¥30.0 - >
小考拉的故事-套装共3册
小考拉的故事-套装共3册
¥36.7¥68.0 - >
月亮虎
月亮虎
¥15.4¥48.0
-
线性代数应该这样学(第3版)
¥44.3¥69.8 -
代数学引论-(第二卷)(第3版)
¥36.3¥44.1 -
不良情绪应急处理包--孤独感
¥12.9¥30 -
不良情绪应急处理包--精神内耗
¥12.9¥30 -
孩子、家庭和外部世界
¥17.8¥56 -
北魏政治史(二)
¥26.2¥70
新书--同济博士论丛:非协调板壳元理论研究及在桥梁分析中的应用
¥38.1¥53.0