数学建模社区-数学中国

标题: 基础证明理论第二版（英文），自动定理证明和对逻辑程序设计感兴趣的读者必读！ [打印本页]

作者: madio 时间: 2020-7-21 07:58
标题: 基础证明理论第二版（英文），自动定理证明和对逻辑程序设计感兴趣的读者必读！
有几本关于证明理论的专著（Schiette[19601977]，Takeuti[1987]，波勒斯[1989]），灵感来自希尔伯特的计划和问题这就产生了，比如“测量”分析子系统的强度关于可定义井序的超限归纳法的可证实例（更准确地说，是序数符号）。波勒斯[1989]尤其如此
推荐作为证明理论这一分支的导论。吉拉德[1987b]提出了一个更广泛的证明理论全景图。

basic proof theory.pdf

6.14 MB, 下载次数: 2, 下载积分: 体力 -2 点

售价: 5 点体力 [记录]

欢迎光临数学建模社区-数学中国 (http://www.madio.net/)