| 查看: 1719 | 回复: 31 | |||||
| 【奖励】 本帖被评价30次，作者star_zhang增加金币 23.6 个 | |||||
| 当前只显示满足指定条件的回帖，点击这里查看本话题的所有回帖 | |||||
[资源]
【英美经典教材】《Proofs and Computations》【已搜索，无重复】
|
|||||
|
【英美经典教材】《Proofs and Computations》【已搜索，无重复】 我的这本书： 作者：Helmut Schwichtenberg, Stanley S. Wainer 2012年，480 页，PDF，2.8 MB。 Language: English . 封面： 。  。 简介： Driven by the question, 'What is the computational content of a (formal) proof?', this book studies fundamental interactions between proof theory and computability. It provides a unique self-contained text for advanced students and researchers in mathematical logic and computer science. Part I covers basic proof theory, computability and Gödel's theorems. Part II studies and classifies provable recursion in classical systems, from fragments of Peano arithmetic up to Π11-CA0. Ordinal analysis and the (Schwichtenberg-Wainer) subrecursive hierarchies play a central role and are used in proving the 'modified finite Ramsey' and 'extended Kruskal' independence results for PA and Π11-CA0. Part III develops the theoretical underpinnings of the first author's proof assistant MINLOG. Three chapters cover higher-type computability via information systems, a constructive theory TCF of computable functionals, realizability, Dialectica interpretation, computationally significant quantifiers and connectives and polytime complexity in a two-sorted, higher-type arithmetic with linear logic. ========================================== 敬请各位朋友，下载之后，给个回帖评价。我也好继续推出下一个最新科技书籍。 (不下载，也可以评价。) 谢谢！ |
回复此楼» 本帖附件资源列表
-
欢迎监督和反馈：小木虫仅提供交流平台，不对该内容负责。
本内容由用户自主发布，如果其内容涉及到知识产权问题，其责任在于用户本人，如对版权有异议，请联系邮箱：xiaomuchong@tal.com - 附件 1 : Proofs_and_Computations_2012.pdf
2014-06-25 03:20:15, 3.67 M
» 收录本帖的淘帖专辑推荐
 专业书籍（外文版）WM | 好书！ | 书籍 |
» 猜你喜欢
2026年机械制造与材料应用国际会议 （ICMMMA 2026）
已经有4人回复
-
磺酰氟产物，毕不了业了！
已经有6人回复
-
求助:我三月中下旬出站，青基依托单位怎么办？
已经有9人回复
-
Cas 72-43-5需要30g，定制合成，能接单的留言
已经有8人回复
-
北京211副教授，35岁，想重新出发，去国外做博后，怎么样？
已经有8人回复
-
论文终于录用啦！满足毕业条件了
已经有25人回复
-
自荐读博
已经有3人回复
-
不自信的我
已经有5人回复
-
投稿Elsevier的杂志（返修），总是在选择OA和subscription界面被踢皮球
已经有8人回复
15楼2014-06-26 17:55:26
13楼2014-06-26 15:59:46
简单回复
2014-06-25 04:14
回复
五星好评 顶一下，感谢分享！ [ 发自手机版 http://muchong.com/3g ]
konexgsp3楼
2014-06-25 08:24
回复
五星好评 顶一下，感谢分享！
2014-06-25 08:32
回复
五星好评 顶一下，感谢分享！
alazong5楼
2014-06-25 10:01
回复
五星好评 顶一下，感谢分享！
supervb6楼
2014-06-25 14:12
回复
五星好评 顶一下，感谢分享！
2014-06-25 14:26
回复
五星好评 顶一下，感谢分享！
2014-06-26 09:08
回复
五星好评 顶一下，感谢分享！
胡不归9楼
2014-06-26 10:14
回复
五星好评 顶一下，感谢分享！
lantianbihb10楼
2014-06-26 12:38
回复
五星好评 顶一下，感谢分享！
springcxliu11楼
2014-06-26 12:40
回复
五星好评 顶一下，感谢分享！
qzma12楼
2014-06-26 13:57
回复
五星好评 顶一下，感谢分享！
meixiangling14楼
2014-06-26 16:33
回复
五星好评 顶一下，感谢分享！