0去购物车结算
购物车中还没有商品,赶紧选购吧!
当前位置: > 数理逻辑基础 上册

浏览历史

数理逻辑基础 上册


联系编辑
 
标题:
 
内容:
 
联系方式:
 
  
数理逻辑基础 上册
  • 书号:
    作者:
  • 外文书名:
  • 装帧:
    开本:
  • 页数:0
    字数:192000
    语种:
  • 出版社:科学出版社
    出版时间:
  • 所属分类:O14 数理逻辑、数学基础
  • 定价: ¥1.15元
    售价: ¥0.91元
  • 图书介质:
    纸质书

  • 购买数量: 件  缺货,请选择其他介质图书!
  • 商品总价:

相同系列
全选

内容介绍

用户评论

全部咨询

内容简介
本书介绍数理逻辑的基础知识,包括逻辑演算的基本内容.这些内容构成数理逻辑各个分支(模型论、证明论和构造性数学、递归论、集合论)的共同的基础.
本书共六部分,分上、下两册.上册包括绪论、第一章和第二章.绪论对数理逻辑的性质,逻辑演算的大概内容,以及阅读以后各章所需要的预备知识作了简要的说明.第一章构造命题逻辑和一阶逻辑的形式系统,介绍演绎逻辑的基本规则.第二章研究逻辑演算的重要系统特征.
本书可以用作数学专业和其他专业数理逻辑课程的教材或教学参考书,或供有关工作人员参考.当用作其他专业的教材时,内容可删减.使用本书时一般要求读者具有相当于大学高年级程度的数学训练.
  • 暂时还没有任何用户评论
总计 0 个记录,共 1 页。 第一页 上一页 下一页 最末页

全部咨询(共0条问答)

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

目录


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