出版物标示
新书
目录
系列
克努斯书
联系
作者专页
排序
搜索
CSLI出版物脸谱网 CSRI出版物RSS源
出版物新闻登记按钮
γ
防超盖

超验

Jon Barwise和John Etchemendy

超证是一种学习分析推理和证明构造原理的系统,它由文本和麦金塔软件程序组成。与传统的一阶逻辑处理不同,超验结合了图形和句子信息,提出了一组整合这些不同形式的信息的逻辑规则。这种策略允许学生关注证据的信息内容而不是句子的句法结构。它也反映了日常推理中遇到的信息的异质性。

使用超证明,学生学习构建证据的后果和后果的使用直观的证明系统,扩展标准的句子规则集,以结合图形表示的信息。也证明了一致性和不一致性以及独立性证明。超级验证软件检查每种证明的逻辑有效性。

超证明与各种自然演绎式证明系统兼容,包括作者在一阶逻辑语言中使用的系统。

超逻辑被设计用于逻辑的第一道课程中。由于它假定熟悉塔斯基的世界,它应该与教科书中的一阶逻辑语言或塔斯基世界的独立版本(塔斯基Lite)一起使用。目前,只有Macintosh才有超强证明。

Jon Barwise和John Etchemendy开发了几个其他的逻辑课件包。有关这些软件包的信息可以在HTTPS://www. Grand GrimdR.NET/.

乔恩巴斯维斯(1942—2000)是斯坦福大学符号系统计划和哲学教授的主管,也是CSLI的研究员。

约翰·埃齐门第斯坦福大学的哲学教授。

这本书和软件已经被逻辑推理——用图表和句子,用超证明

目录

  • 关于Hyperproof
    • 如何使用这本书
      • 用洛洛尔
      • 塔斯基精简版
    • 致谢
    • 讲师的便条
    • 万维网的超级证明
  • I基本概念
    • 塔斯基世界与超验的比较
      • 1.1世界与形势
      • 1.2一个新性质和新概念
      • 1.3种语言差异
      • 1.4 K海拔
      • 1.5证
    • 结果与后果的证明
      • 2.1观察
      • 2.2假设
      • 2.3检验假设的真实性(CTA)
      • 2.4句话目标
    • 句子后果规则
      • 3.1重言式结果
      • 3.2个逻辑后果
      • 3.3解析结果
    • 一致性和不一致性证明
      • 4.1句法闭合
      • 4.2语义相近
      • 4.3个一致性目标
  • 解题方式
    • 适用规则
      • 5.1应用
      • 5.2一些情况和目标
    • 案例推理
      • 6.1例衰竭
      • 6.2合并检查
      • 6.3递归闭合
      • 6.4名
      • 6.5复习练习题
    • 独立证明
      • 7.1后果、后果和独立性
      • 7.2个独立的目标
      • 7.3约束独立性及其后果
      • 7.4一些最终的形势目标
      • 7.5复习练习题
  • 句子推理
    • 句子连接规则
      • 8.1结合规则
      • 8.2析取规则
      • 8.3否定规则
      • 8.4条件规则
      • 8.5双规则
      • 风格8.6题
    • 量词与身份规则
      • 9.1标识规则
      • 9.2存在量词规则
      • 9.3通用量词规则
      • 9.4重量词
      • 9.5数值量词规则
      • 9.6次练习
    • 公理与分析结果
      • 10.1公理化方法
      • 10.2公理化形状
      • 10.3公理化尺寸
      • 10.4定位公理
    • 十一逻辑与观察
  • 使用超证明
    • A.1启动程序
    • A.2编辑情况
    • A.3证明的主体
    • A.4目标
    • A.5复制粘贴
    • A.6印刷样板
    • A.7功能键
    • A.8设置问题
    • A.9在类中突出超重证
  • 目标总结
  • 洛弗证明系统
  • 指数
  • 你尝试它的索引文件

1/1/94

ISBN(平装书):1881526119(9781881526117)

主题:计算机科学;逻辑学

加入购物车
查看购物车

退房

由分布式
大学
芝加哥出版社

酒馆@斯坦福大学教育学院