-
>
宇宙、量子和人类心灵
-
>
考研数学专题练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 谓词演算的形式推理
- >
山海经
山海经
¥20.4¥68.0 - >
烟与镜
烟与镜
¥15.4¥48.0 - >
史学评论
史学评论
¥23.2¥42.0 - >
自卑与超越
自卑与超越
¥29.9¥39.8 - >
唐代进士录
唐代进士录
¥25.9¥39.8 - >
罗曼·罗兰读书随笔-精装
罗曼·罗兰读书随笔-精装
¥17.4¥58.0 - >
名家带你读鲁迅:朝花夕拾
名家带你读鲁迅:朝花夕拾
¥10.5¥21.0 - >
朝闻道
朝闻道
¥15.0¥23.8
-
无理数引论
¥23¥58 -
高等代数-第五版
¥18.5¥28.2 -
4.23文创礼盒A款--“作家言我精神状态”
¥42.3¥206 -
4.23文创礼盒B款--“作家言我精神状态”
¥42.3¥206 -
一句顶一万句 (印签版)
¥40.4¥68 -
百年书评史散论
¥14.9¥38