 |
 |
 |
 |
 |
 |
||
 |
 |
 |
 |
 |
| 32 | 1/1 | 返回列表 |
| 查看: 1756 | 回復(fù): 31 | |||||
| 【獎(jiǎng)勵(lì)】 本帖被評價(jià)30次，作者star_zhang增加金幣 23.6 個(gè) | |||||
star_zhang禁蟲 (文學(xué)泰斗)
|
[資源]
【英美經(jīng)典教材】《Proofs and Computations》【已搜索，無重復(fù)】
|
||||
|
【英美經(jīng)典教材】《Proofs and Computations》【已搜索，無重復(fù)】 我的這本書： 作者：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. ========================================== 敬請各位朋友，下載之后，給個(gè)回帖評價(jià)。我也好繼續(xù)推出下一個(gè)最新科技書籍。 (不下載，也可以評價(jià)。) 謝謝！ |
回復(fù)此樓» 本帖附件資源列表
-
歡迎監(jiān)督和反饋：小木蟲僅提供交流平臺(tái)，不對該內(nèi)容負(fù)責(zé)。
本內(nèi)容由用戶自主發(fā)布，如果其內(nèi)容涉及到知識(shí)產(chǎn)權(quán)問題，其責(zé)任在于用戶本人，如對版權(quán)有異議，請聯(lián)系郵箱：xiaomuchong@tal.com - 附件 1 : Proofs_and_Computations_2012.pdf
2014-06-25 03:20:15, 3.67 M
» 收錄本帖的淘帖專輯推薦
 專業(yè)書籍（外文版）WM | 好書！ | 書籍 |
» 猜你喜歡
085600材料與化工
已經(jīng)有6人回復(fù)
-
281求調(diào)劑（0805）
已經(jīng)有24人回復(fù)
-
265求調(diào)劑
已經(jīng)有8人回復(fù)
-
0817 化學(xué)工程 299分求調(diào)劑 有科研經(jīng)歷 有二區(qū)文章
已經(jīng)有21人回復(fù)
-
295材料求調(diào)劑，一志愿武漢理工085601專碩
已經(jīng)有4人回復(fù)
-
0856調(diào)劑，是學(xué)校就去
已經(jīng)有9人回復(fù)
-
298-一志愿中國農(nóng)業(yè)大學(xué)-求調(diào)劑
已經(jīng)有9人回復(fù)
-
求調(diào)劑
已經(jīng)有4人回復(fù)
-
學(xué)校已經(jīng)提交到NSFC，還能修改嗎？
已經(jīng)有7人回復(fù)
-
材料學(xué)碩297已過四六級求調(diào)劑推薦
已經(jīng)有6人回復(fù)
13樓2014-06-26 15:59:46
15樓2014-06-26 17:55:26
簡單回復(fù)
2014-06-25 04:14
回復(fù)
五星好評 頂一下，感謝分享！ [ 發(fā)自手機(jī)版 http://www.gaoyang168.com/3g ]
konexgsp3樓
2014-06-25 08:24
回復(fù)
五星好評 頂一下，感謝分享！
2014-06-25 08:32
回復(fù)
五星好評 頂一下，感謝分享！
alazong5樓
2014-06-25 10:01
回復(fù)
五星好評 頂一下，感謝分享！
supervb6樓
2014-06-25 14:12
回復(fù)
五星好評 頂一下，感謝分享！
2014-06-25 14:26
回復(fù)
五星好評 頂一下，感謝分享！
2014-06-26 09:08
回復(fù)
五星好評 頂一下，感謝分享！
胡不歸9樓
2014-06-26 10:14
回復(fù)
五星好評 頂一下，感謝分享！
lantianbihb10樓
2014-06-26 12:38
回復(fù)
五星好評 頂一下，感謝分享！
springcxliu11樓
2014-06-26 12:40
回復(fù)
五星好評 頂一下，感謝分享！
qzma12樓
2014-06-26 13:57
回復(fù)
五星好評 頂一下，感謝分享！
meixiangling14樓
2014-06-26 16:33
回復(fù)
五星好評 頂一下，感謝分享！
lanlandeyue16樓
2014-06-26 18:06
回復(fù)
五星好評 頂一下，感謝分享！
qqchun17樓
2014-06-26 18:16
回復(fù)
五星好評 頂一下，感謝分享！
httpftp18樓
2014-06-26 22:46
回復(fù)
五星好評 頂一下，感謝分享！
baiplf19樓
2014-06-27 06:36
回復(fù)
五星好評 頂一下，感謝分享！
yinxzy20樓
2014-06-27 16:09
回復(fù)
五星好評 頂一下，感謝分享！
Jeffreyak21樓
2014-06-27 18:37
回復(fù)
五星好評 頂一下，感謝分享！
jh0522樓
2014-06-27 23:19
回復(fù)
三星好評 頂一下，感謝分享！
anmingkang23樓
2014-06-28 08:13
回復(fù)
五星好評 頂一下，感謝分享！
sunbin_bsu24樓
2014-07-01 05:36
回復(fù)
三星好評 感謝分享！
locustzhang25樓
2014-07-01 07:28
回復(fù)
五星好評 頂一下，感謝分享！
peteryoung26樓
2014-07-01 09:03
回復(fù)
五星好評 頂一下，感謝分享！
yumujj27樓
2014-07-01 19:41
回復(fù)
五星好評 頂一下，感謝分享！
httpftp28樓
2014-08-11 11:51
回復(fù)
頂一下，感謝分享！
zhengj198029樓
2016-05-07 22:10
回復(fù)
五星好評 頂一下，感謝分享！
guli052030樓
2016-05-08 20:36
回復(fù)
五星好評 頂一下，感謝分享！
hwjok31樓
2016-05-08 20:48
回復(fù)
五星好評 頂一下，感謝分享！
void41432樓
2016-05-13 15:16
回復(fù)
五星好評 頂一下，感謝分享！
相關(guān)版塊跳轉(zhuǎn)
我要訂閱樓主 star_zhang 的主題更新
| 32 | 1/1 | 返回列表 |
| 最具人氣熱帖推薦 [查看全部] | 作者 | 回/看 | 最后發(fā)表 | |
|---|---|---|---|---|
|
[考研] 0817 化學(xué)工程 299分求調(diào)劑 有科研經(jīng)歷 有二區(qū)文章 +21 | rare12345 2026-03-18 | 21/1050 |
|
|---|---|---|---|---|
|
[考研] 0856調(diào)劑，是學(xué)校就去 +8 | sllhht 2026-03-19 | 9/450 |
|
|
|
[考研] 本人考085602 化學(xué)工程 專碩 +18 | 不知道叫什么！ 2026-03-15 | 20/1000 |
|
|
|
[考研] 一志愿中南化學(xué)337求調(diào)劑 +4 | niko- 2026-03-19 | 5/250 |
|
|
|
[考研] 一志愿中國海洋大學(xué)，生物學(xué)，301分，求調(diào)劑 +5 | 1孫悟空 2026-03-17 | 6/300 |
|
|
|
[考研] 生物學(xué)調(diào)劑招人�。�！ +3 | 山海天嵐 2026-03-17 | 4/200 |
|
|
|
[考研] 復(fù)試調(diào)劑 +4 | z1z2z3879 2026-03-14 | 6/300 |
|
|
|
[考研] 286求調(diào)劑 +6 | lemonzzn 2026-03-16 | 10/500 |
|
|
|
[考研] 085600材料與化工求調(diào)劑 +6 | 緒幸與子 2026-03-17 | 6/300 |
|
|
|
[考研] 354求調(diào)劑 +4 | Tyoumou 2026-03-18 | 7/350 |
|
|
|
[考研] 材料專業(yè)求調(diào)劑 +5 | hanamiko 2026-03-18 | 5/250 |
|
|
|
[考研] 一志愿武理材料305分求調(diào)劑 +5 | 想上岸的鯉魚 2026-03-18 | 6/300 |
|
|
|
[考研] 331求調(diào)劑（0703有機(jī)化學(xué) +7 | ZY-05 2026-03-13 | 8/400 |
|
|
|
[考研] 0703化學(xué)求調(diào)劑 總分331 +3 | ZY-05 2026-03-13 | 3/150 |
|
|
|
[考研] 268求調(diào)劑 +6 | 簡單點(diǎn)0 2026-03-17 | 6/300 |
|
|
|
[考研] 290求調(diào)劑 +3 | p asserby. 2026-03-15 | 4/200 |
|
|
|
[論文投稿] 有沒有大佬發(fā)小論文能帶我個(gè)二作 +3 | 增銳漏人 2026-03-17 | 4/200 |
|
|
|
[考研] 070305求調(diào)劑 +3 | mlpqaz03 2026-03-14 | 4/200 |
|
|
|
[考研] 一志愿哈工大材料324分求調(diào)劑 +5 | 閆旭東 2026-03-14 | 5/250 |
|
|
|
[考研] 招收0805（材料）調(diào)劑 +3 | 18595523086 2026-03-13 | 3/150 |
|