无名图书的logo
无名图书
收藏
  • 最近更新
  • 文学
  • 社会文化
  • 历史
  • 经济
  • 理工科
  • 政治
  • 健康
  • 自然科学
  • 计算机
  • 设计
  • 美食旅行
  • 思想
  • 生物
  • 建筑
  • 绘本
  • 天文

[德] Tobias Nipkow的作品

[德] Tobias Nipkow的图书会按更新时间持续补充,适合从代表作和同主题书继续延展阅读。

  • 高阶逻辑辅助证明系统

    高阶逻辑辅助证明系统

    [德] Tobias Nipkow

    评分 暂无

    《高阶逻辑辅助证明系统》是在高阶逻辑中使用Isabelle辅助证明系统进行交互式证明的导论,适用于Isabelle系统的潜在使用者,自成体系,分为三部分:第一部分是基本技巧:介绍在高阶逻辑中如何进行函数式程序建模,提供了表(1ist)和自然数的简单证明实例。大多数证明只要两步完成:对所选变量进行归纳以及使用自动策略(auto)。当然,这些粗浅的例子仍然涵盖了嵌套递归和交叉递归等技术。第二部分