作者:
Martin Davis
出版社: Dover Publications
出版年: 1985-12-01
页数: 288
定价: USD 14.95
装帧: Paperback
ISBN: 9780486614717
出版社: Dover Publications
出版年: 1985-12-01
页数: 288
定价: USD 14.95
装帧: Paperback
ISBN: 9780486614717
这本书的其他版本 · · · · · · ( 全部2 )
以下书单推荐 · · · · · · ( 全部 )
- 理论计算机科学——算法与可计算性 (网络流)
- & Martin Davis (枘坊)
- T (dhcn)
- logic (❤️)
- 1## 数理逻辑 (枘坊)
谁读这本书? · · · · · ·
二手市场
· · · · · ·
- 在豆瓣转让 有40人想读,手里有一本闲着?
订阅关于Computability and Unsolvability的评论:
feed: rss 2.0
1 有用 1败家1 2019-04-19 19:36:03
讲的非常好,至少前后不矛盾,认真看能看懂。图灵机和godel数的转化。
0 有用 JESERAI 2024-05-08 07:44:11 美国
文言文启蒙读本
1 有用 邱志坚 2020-04-01 15:29:30
作者是希尔伯特第十问题的解决者,作为递归论的深入,该作品堪称神作
0 有用 JESERAI 2024-05-08 07:44:11 美国
文言文启蒙读本
1 有用 邱志坚 2020-04-01 15:29:30
作者是希尔伯特第十问题的解决者,作为递归论的深入,该作品堪称神作
1 有用 1败家1 2019-04-19 19:36:03
讲的非常好,至少前后不矛盾,认真看能看懂。图灵机和godel数的转化。