| 查看: 1937 | 回复: 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 | 好书！ | 书籍 |
» 猜你喜欢
售SCI文章，我:8O5.5.1.O.54,科目齐全,可+急
已经有7人回复
-
现代”学阀”该如何界定
已经有3人回复
-
售SCI一区T0P文章，我:8.O55.1.O.54,科目全,可十急
已经有3人回复
-
国社科系统bug了，是不是要放榜了？
已经有9人回复
-
申博发邮件
已经有9人回复
-
各位大神，目前国内有哪些比较好用的逆合成软件？
已经有9人回复
-
上海工程技术大学激光智能制造课题组｜2027级博士研究生招生公告
已经有8人回复
-
上海工程技术大学激光智能制造课题组招收博士研究生
已经有8人回复
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
回复
五星好评 顶一下，感谢分享！