-
>
宇宙、量子和人类心灵
-
>
考研数学专题练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 谓词演算的形式推理
- >
姑妈的宝刀
姑妈的宝刀
¥9.6¥30.0 - >
上帝之肋:男人的真实旅程
上帝之肋:男人的真实旅程
¥19.3¥35.0 - >
山海经
山海经
¥20.4¥68.0 - >
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
¥6.3¥14.0 - >
苦雨斋序跋文-周作人自编集
苦雨斋序跋文-周作人自编集
¥6.9¥16.0 - >
诗经-先民的歌唱
诗经-先民的歌唱
¥15.1¥39.8 - >
大红狗在马戏团-大红狗克里弗-助人
大红狗在马戏团-大红狗克里弗-助人
¥6.2¥10.0 - >
二体千字文
二体千字文
¥29.4¥40.0
-
无理数引论
¥23¥58 -
高等代数-第五版
¥18.5¥28.2 -
4.23文创礼盒A款--“作家言我精神状态”
¥42.3¥206 -
4.23文创礼盒B款--“作家言我精神状态”
¥42.3¥206 -
一句顶一万句 (印签版)
¥40.4¥68 -
百年书评史散论
¥14.9¥38