[放大封面]
[放大封底]
|
| 【相关下载】 |
|
|
|
| 【二手书】 |
 |
本产品共有 0 册二手书出售,
最低价:¥.00 [查看] |
|
|
|
| 【读者评论】 |
 |
|
 |
内容简介
数理逻辑与集合论是离散数学的主要组成部分,是计算机科学的数学基础.
全书共12章.前8章介绍数理逻辑,包括命题和谓词逻辑的基本概念、等值和推理演算、公理系统、模型论和证明论.后4章介绍集合论,包括集合、关系、函数、实数集与基数.
本书可作为大学离散数学的教科书.也可供从事计算机科学、人工智能等方面的科技人员参考.
|
目录
伸缩显示: [弹出查看]
伸缩显示: [弹出查看] |
|