0去购物车结算
购物车中还没有商品,赶紧选购吧!
当前位置: 图书分类 > 数学 > 数理逻辑/组合数学 > 数理逻辑基础(上册)

相同作者的商品

相同语种的商品

浏览历史

数理逻辑基础(上册)


联系编辑
 
标题:
 
内容:
 
回执地址:
 
  
数理逻辑基础(上册)
  • 书号:9787030464217
    作者:胡世华,陆钟万
  • 外文书名:
  • 丛书名:现代数学基础丛书·典藏版;1
  • 装帧:平装
    开本:B5
  • 页数:276
    字数:192
    语种:zh-Hans
  • 出版社:科学出版社
    出版时间:2016-10-29
  • 所属分类:
  • 定价: ¥98.00元
    售价: ¥78.40元
  • 图书介质:
    纸质书

  • 购买数量: 件  可供
  • 商品总价:

内容介绍

样章试读

用户评论

全部咨询

  本书介绍数理逻辑的基础知识,包括逻辑演算的基本内容。这些内容构成数理逻辑各个分支(模型论、证明论和构造性数学、递归论、集合论)的共同的基础。
  本书共六部分,分上、下两册。上册包括绪论、第一章和第二章。绪论对数理逻辑的性质,逻辑演算的大概内容。以及阅读以后各章所需要的预备知识作了简要的说明。第一章构造命题逻辑和一阶逻辑的形式系统,介绍演绎逻辑的基本规则。第二章研究逻辑演算的重要系统特征。
样章试读
  • 暂时还没有任何用户评论
总计 0 个记录,共 1 页。 第一页 上一页 下一页 最末页

全部咨询(共0条问答)

  • 暂时还没有任何用户咨询内容
总计 0 个记录,共 1 页。 第一页 上一页 下一页 最末页
用户名: 匿名用户
E-mail:
咨询内容:

目录

  • 目录
    序 ⅲ
    使用说明 ⅶ
    绪论 1
    00 数理逻辑 1
    01 逻辑演算(一) 4
    02 逻辑演算(二) 12
    03 集的基本概念 19
    04 数学归纳法 28
    第一章演绎逻辑的基本规则 37
    10 命题逻辑P的形成规则 37
    11 P的形式推理规则 53
    12 命题逻辑P* 74
    13 P和P*的关系 87
    14 命题常元、谢孚竖 96
    15 谓词逻辑F和F*的形成规则 101
    16 F和F*的形式推理规则 113
    17 函数词、等词 129
    18 摹状词 137
    19 偏函数 144
    第二章逻辑演算的系统特征 152
    20 等值公式的可替换性 152
    21 逻辑词的可定义性 157
    22 命题连接词的完全性和独立性 160
    23 代入定理 166
    24 合取范式和析取范式 177
    25 前束范式和斯柯伦范式 184
    26 根岑系统和对偶性 191
    27 无嵌套范式 206
    28 逻辑演算的归约 214
    符号汇编(上册) 226
帮助中心
公司简介
联系我们
常见问题
新手上路
发票制度
积分说明
购物指南
配送方式
配送时间及费用
配送查询说明
配送范围
快递查询
售后服务
退换货说明
退换货流程
投诉或建议
经营资质
营业执照
出版社经营许可证