0去购物车结算
购物车中还没有商品,赶紧选购吧!
当前位置: 图书分类 > 数学 > 数理逻辑/组合数学 > 数理逻辑:基本原理与形式演算(第二版)

浏览历史

数理逻辑:基本原理与形式演算(第二版)


联系编辑
 
标题:
 
内容:
 
联系方式:
 
  
数理逻辑:基本原理与形式演算(第二版)
  • 书号:9787030401557
    作者:李未
  • 外文书名:
  • 装帧:圆脊精装
    开本:B5
  • 页数:312
    字数:364
    语种:
  • 出版社:科学出版社
    出版时间:2016-01-20
  • 所属分类:O14 数理逻辑、数学基础
  • 定价: ¥128.00元
    售价: ¥101.12元
  • 图书介质:
    纸质书 电子书

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

相同系列
全选

内容介绍

用户评论

全部咨询

本书的内容共分十章,系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容,包括一阶语言的语法与模型,形式推理系统,可计算性与可表示性,哥德尔定理。后五章的内容是作者的研究成果。这部分内容包括:版本序列及其极限理论、修正演算系统、过程模式理论、归纳推理理论、三个语言环境的理论和元语言环境遵从的6个基本原理以及信息社会中科学研究的工作流程。
  • 暂时还没有任何用户评论
总计 0 个记录,共 1 页。 第一页 上一页 下一页 最末页

全部咨询(共0条问答)

  • 暂时还没有任何用户咨询内容
总计 0 个记录,共 1 页。 第一页 上一页 下一页 最末页
用户名: 匿名用户
E-mail:
咨询内容:
帮助中心
公司简介
联系我们
常见问题
新手上路
发票制度
积分说明
购物指南
配送方式
配送时间及费用
配送查询说明
配送范围
快递查询
售后服务
退换货说明
退换货流程
投诉或建议
版权声明
经营资质
营业执照
出版社经营许可证