成功加入购物车
王宏 、 杨明 著 / 清华大学出版社 / 2001-08 / 平装
售价 ¥ 5.00 3.1折
定价 ¥16.00
品相 九品
优惠 满包邮
延迟发货说明
上书时间2024-05-20
卖家超过10天未登录
数理逻辑与集合论
本书是清华大学计算机系列教材《数理逻辑与集合论》(第二版)一书的配套教材。全书分为两大部分:第1部分是主教材《数理逻辑与集合论》(第2版)各章的内容精要与学习指导,包括主教材中的基本概念、基本公式、定义、定理以完成习题所涉及的内容,相当于主教材内容的精华与复习提纲。第2部分是主教材相应章节的习题解答,附有主教材全部习题的参考解答或证明。部分习题除给出详细解答或证明过程外,还列出解题思路、提示,容易出现的错误和多种解法等。书中注重学习方法与逻辑思维能力的培养和训练,并照顾到不同需求和不同层次的读者。本书读者对象为大专院校计算机系或相关专业的师生,也可供从事离散数学、计算机科学、人工智能、计算语言学等领域的自学者和科技人员参考。
一,命题逻辑的基本概念二,命题逻辑的等值和推理演算三,命题逻辑的公理化四,谓词逻辑的基本概念五,谓词逻辑的等值和推理演算六,谓词逻辑的公理化七,一阶形式理论及模型八,证明论中的逻辑系统九,集合十,关系十一,函数十二,实数集合与集合的基数习题解答
展开全部
图2
图3
配送说明
...
相似商品
为你推荐
开播时间:09月02日 10:30