| 查看: 1914 | 回复: 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 | 好书！ | 书籍 |
» 猜你喜欢
让我中一个面上吧！
已经有10人回复
-
科研孤儿太难了
已经有14人回复
-
言之凿凿，明天官网会通知放榜？
已经有17人回复
-
时间戳又变了
已经有17人回复
-
今天系统多次维护，明天很可能放榜！
已经有11人回复
-
时间戳变了，能看出什么问题？
已经有23人回复
-
只有每年这种时候来逛逛小木虫
已经有22人回复
-
放榜前的不淡定
已经有12人回复
-
重要消息，中午系统在维护
已经有12人回复
-
今天基金会出结果吗？20260819
已经有15人回复
13楼2014-06-26 15:59:46
15楼2014-06-26 17:55:26
简单回复
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
回复
五星好评 顶一下，感谢分享！
lanlandeyue16楼
2014-06-26 18:06
回复
五星好评 顶一下，感谢分享！
qqchun17楼
2014-06-26 18:16
回复
五星好评 顶一下，感谢分享！
httpftp18楼
2014-06-26 22:46
回复
五星好评 顶一下，感谢分享！
baiplf19楼
2014-06-27 06:36
回复
五星好评 顶一下，感谢分享！
yinxzy20楼
2014-06-27 16:09
回复
五星好评 顶一下，感谢分享！
Jeffreyak21楼
2014-06-27 18:37
回复
五星好评 顶一下，感谢分享！
jh0522楼
2014-06-27 23:19
回复
三星好评 顶一下，感谢分享！
anmingkang23楼
2014-06-28 08:13
回复
五星好评 顶一下，感谢分享！
sunbin_bsu24楼
2014-07-01 05:36
回复
三星好评 感谢分享！
locustzhang25楼
2014-07-01 07:28
回复
五星好评 顶一下，感谢分享！
peteryoung26楼
2014-07-01 09:03
回复
五星好评 顶一下，感谢分享！
yumujj27楼
2014-07-01 19:41
回复
五星好评 顶一下，感谢分享！
httpftp28楼
2014-08-11 11:51
回复
顶一下，感谢分享！
zhengj198029楼
2016-05-07 22:10
回复
五星好评 顶一下，感谢分享！
guli052030楼
2016-05-08 20:36
回复
五星好评 顶一下，感谢分享！
hwjok31楼
2016-05-08 20:48
回复
五星好评 顶一下，感谢分享！
void41432楼
2016-05-13 15:16
回复
五星好评 顶一下，感谢分享！
