0去购物车结算
购物车中还没有商品,赶紧选购吧!
当前位置: 图书分类 > 自然科学总论 > 科技哲学 > 模态对应理论

浏览历史

模态对应理论


联系编辑
 
标题:
 
内容:
 
联系方式:
 
  
模态对应理论
  • 书号:9787030278654
    作者:张清宇,刘新文译
  • 外文书名:
  • 装帧:平脊精装
    开本:B5
  • 页数:264
    字数:333
    语种:
  • 出版社:科学出版社
    出版时间:2010-06-30
  • 所属分类:B81 逻辑学(论理学)
  • 定价: ¥56.00元
    售价: ¥44.24元
  • 图书介质:

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

相同系列
全选

内容介绍

样章试读

用户评论

全部咨询

本书是由我们翻译的世界著名逻辑学家范.本特姆的14篇论文组成,约35万字。我们以语言逻辑为核心挑选出了14篇引用率最高的论文。论文的发表时间从1970年代到2007年,内容涵盖了关于自然语言形式化的研究,形式语言中的量词理论,范畴语法,特别是,形式语言与可计算性和人类的语言认知能力的关系等热门问题。读者对象:逻辑专业、数学专业,对计算机专业的学生和学者也同样适用。
样章试读
  • 暂时还没有任何用户评论
总计 0 个记录,共 1 页。 第一页 上一页 下一页 最末页

全部咨询(共0条问答)

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

目录

  • 丛书序
    作者序
    译者序
    前言
    上篇 模态逻辑和经典逻辑
    引言
    记号和术语
    第一部分 模态命题逻辑的简要概述
    1 历史背景
    2 可能世界语义
    3 可定义性
    4 模态代数
    5 公理化理论
    6 完全性
    第二部分 模态公式的一阶可定义性
    7 局部的和全局的一阶可定性
    8 一阶可定义性的模型论刻画
    9 代入方法
    10 否证一阶可定义性
    11 相对的一阶可定义性
    12 模态谓词逻辑
    13 模态公式的保持类
    第三部分 模态可定义性
    14 模态可定义的初等框架类
    15 一阶公式的保持结果
    16 模态可定义的框架类
    第四部分 高阶可定义性
    17 全称二阶语句
    18 二阶逻辑
    19 有穷类型论
    参考文献
    下篇 模态对应理论新进展
    1 极小谓词、不动点和可定义性
    2 模态框架对应和不动点
    3 事情总要翻过来看!
    附录
    附录一 约翰·范本特姆小传
    附录二 英汉/汉英专业术语、人名对照表
    致谢
帮助中心
公司简介
联系我们
常见问题
新手上路
发票制度
积分说明
购物指南
配送方式
配送时间及费用
配送查询说明
配送范围
快递查询
售后服务
退换货说明
退换货流程
投诉或建议
版权声明
经营资质
营业执照
出版社经营许可证