×
暂无评论
信谊绘本专场|折上9折
微瑕书特惠专场
图文详情
  • ISBN：9787030304001
  • 装帧：暂无
  • 册数：暂无
  • 重量：暂无
  • 开本：16开
  • 页数：147
  • 出版时间：2011-03-01
  • 条形码：9787030304001 ; 978-7-03-030400-1

内容简介

全书共分为5章，内容包括命题逻辑、谓词逻辑、集合与关系、代数系统和图论。

目录

前言
第1章 命题逻辑
    1.1 命题及联结词
    1.2 命题公式及其赋值
    1.3 等值式
    1.4 析取范式与合取范式
    1.5 实验
    1.6 推理理论
    1.7 消解法
第2章 谓词逻辑
    2.1 基本概念
    2.2 谓词公式及其解释
    2.3 谓词公式等值演算
    2.4 谓词公式的范式
    2.5 谓词推理
展开全部
本类五星书
更多>>
浏览历史
本类畅销

预估到手价 ×

预估到手价是按参与促销活动、以最优惠的购买方案计算出的价格（不含优惠券部分），仅供参考，未必等同于实际到手价。

确定
客服
收藏
购物车
加入购物车
快速
导航