讨厌泰国读过的书 >
-
递归可枚举集和图灵度
(12人已评价)索尔 | 科学 | 2007-1《递归可枚集合和图灵度:可计算函数与可计算生成集研究(影印版)》主要内容包括:AnInformalDescriptionFormalDefinitionsofComputableFunctionsPr...
-
数理逻辑
(10人已评价)复旦大学出版社 | 2014-11-1本书是“逻辑与形而上学教科书系列”中的一本。书中从零起点开始,介绍了集合论基本知识,命题逻辑、一阶逻辑的语法和语义,哥德尔完全性定理,递归论基本知识,简化版本的自然数模型,哥德尔不完全性定理等内容。本...
-
宇宙尽头的餐馆
(3914人已评价)[英] 道格拉斯·亚当斯 | 上海译文出版社 | 2012-5宇宙尽头的餐馆是餐饮史上最了不起的风险投资,整个餐馆被一个巨大的时间泡包裹,并沿时间轴向前投射至宇宙终结的那个时刻。餐馆里,客人各自挑选座位坐下,吃着美食,观看整个宇宙在周围爆炸。你可以随意就座,无需...
-
再会,谢谢所有的鱼
(1360人已评价)[英] 道格拉斯·亚当斯 | 上海译文出版社 | 2013-5亚瑟·邓特横穿银河系,结束了他最漫长也最危险的一次搭车。飞碟最后把他放在一颗小型行星上,午夜时分,滂沱大雨。他耐心等待。一辆车经过。他回到了地球。为超空间旁道让路而被摧毁的地球不知怎的回来了。地球被毁...