| 查看: 1787 | 回复: 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期刊呀，最好在一个月之内的，研三孩子求毕业
已经有6人回复
-
求调剂
已经有6人回复
-
307中医考研调剂
已经有9人回复
-
327求调剂
已经有30人回复
-
294求调剂
已经有15人回复
-
0854求调剂
已经有27人回复
-
300求调剂
已经有12人回复
-
291求调剂
已经有10人回复
-
一志愿沪9，326求生物学调剂
已经有12人回复
-
生物学调剂
已经有10人回复
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
回复
五星好评 顶一下，感谢分享！
20
