-
>
宇宙、量子和人类心灵
-
>
(精)BBC地球故事系列-星际旅行
-
>
从一到无穷大
-
>
图说相对论(32开平装)
-
>
一本有趣又有料的化学书
-
>
刘薰宇的数学三书:原来数学可以这样学全3册
-
>
光学零件制造工艺学
离散数学-(第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 谓词演算的形式推理
- >
月亮虎
月亮虎
¥18.7¥48.0 - >
推拿
推拿
¥12.2¥32.0 - >
伯纳黛特,你要去哪(2021新版)
伯纳黛特,你要去哪(2021新版)
¥15.9¥49.8 - >
伊索寓言-世界文学名著典藏-全译本
伊索寓言-世界文学名著典藏-全译本
¥6.1¥19.0 - >
回忆爱玛侬
回忆爱玛侬
¥14.1¥32.8 - >
大红狗在马戏团-大红狗克里弗-助人
大红狗在马戏团-大红狗克里弗-助人
¥3.3¥10.0 - >
有舍有得是人生
有舍有得是人生
¥19.4¥45.0 - >
小考拉的故事-套装共3册
小考拉的故事-套装共3册
¥35.4¥68.0
-
矩阵论
¥9.5¥28 -
高等代数专题研究学习指导书
¥5.9¥12 -
2022图书×抽奖盲袋
¥9.9¥25 -
2023读书月阅读盲盒——天黑,闭眼,刀谁?
¥42.3¥158 -
2022读者节纪念徽章-三星会员专属
¥45¥45.6