数理逻辑

baozii
来自: baozii (广州) 2009-06-22创建   2009-06-25更新

7人
126 人关注
来自:豆瓣读书
8.9 (32人评价)
作者: 汪芳庭
出版社: 科学出版社
出版年: 2001-09-01
评语:包含了一些基本的集合论内容,很不错
回复
来自:豆瓣读书
(9人评价)
作者: 王世强
出版社: 科学出版社
出版年: 2007-1
评语:这本书的内容很大一部分取材与Chang和Keisler那本model theory,后面的2个附录是关于模型论在数学中的应用
回复
来自:豆瓣读书
(6人评价)
作者: 莫绍揆
出版社: 科学出版社
出版年: 1987-1
评语:这本书集中讲解了递归论的基础部分,也涉及一点不可解度,分层,作者莫绍揆是中国数理逻辑的奠基人之一
回复
来自:豆瓣读书
(3人评价)
作者: Piergiorgio Odifreddi
出版年: 1992-2
评语:本书的特点是涵盖面广,比如第一章就把各种计算模型都讲了一遍,作者希望它可以当手册用。原来只有一卷,后来追加的卷II是对卷I的补充
回复
来自:豆瓣读书
(0人评价)
作者: Baldwin, John T.
出版年: 1987-12
来自:豆瓣读书
(0人评价)
作者: Buechler, Steven
来自:豆瓣读书
(1人评价)
作者: Saharon Shelah
出版社: Springer
出版年: 1998-1-15
评语:由proper forcing的引入者shelah所写
回复
来自:豆瓣读书
(0人评价)
作者: A. Dodd
出版年: 1982-3
来自:豆瓣读书
(1人评价)
作者: K. J. Devlin
评语:内模型的入门书,作者还是个科普作家,有两本科普书被翻译成了中文
回复
来自:豆瓣读书
(4人评价)
作者: Akihiro Kanamori
出版社: Springer
出版年: 2003-07-29
评语:目前标准的集合论高级教材
回复
来自:豆瓣读书
(4人评价)
作者: Andre Nies
出版社: Oxford University Press, USA
出版年: 2009-1-29
评语:有关算法信息论的一本书,nies是这个领域的老大之一
回复
来自:豆瓣读书
(3人评价)
作者: Yiannis N. Moschovakis
出版社: American Mathematical Society
出版年: 2009-6-30
评语:长期以来描述集合论的标准教材
回复
来自:豆瓣读书
(6人评价)
作者: Kechris, Alexander S.
出版社: Springer
出版年: 1995-1
评语:同样也是一本描述集合论的经典教材,内容基于作者91-92年在加州理工学院开的课
回复
来自:豆瓣读书
(2人评价)
作者: Gerald E. Sacks
出版社: Springer
评语:“beyond classical recursion theory”,作者是上一辈逻辑学界的领袖
回复
来自:豆瓣读书
8.6 (17人评价)
作者: Thomas Jech
出版社: 世界图书出版公司
出版年: 2007-1
评语:经典集合论教科书,也是一本手册,几乎囊括了集合论的各个方向
回复
来自:豆瓣读书
(5人评价)
作者: Kunen, Kenneth
出版社: Elsevier Science Ltd
出版年: 1980
评语:研究生级别的集合论入门书
回复
来自:豆瓣读书
(4人评价)
作者: Wilfrid Hodges
出版社: Cambridge University Press
出版年: 2008-6-19
评语:模型论的一本现代教材(hodges 还写了另外一本薄的),涵盖了许多新的发展方向,正在取代Chang和Keisler的那本
回复
来自:豆瓣读书
(5人评价)
作者: 马克
出版社: 科学出版社
出版年: 2007-1
评语:模型论的新书,主要包含了模型论在代数和几何中的应用,作者希望可以引导读者进一步阅读关于稳定性的高级教材(比如下面那两本)
回复
来自:豆瓣读书
9.5 (12人评价)
作者: C.C. Chang / H.J. Keisler
出版社: North Holland
出版年: 1990-06-01
评语:经典的模型论教材
回复
来自:豆瓣读书
7.5 (17人评价)
作者: Anil Nerode Richard A.Shore
出版社: 机械工业出版社
出版年: 2007-7
评语:逻辑演算的入门书,特色是消解部分,内容紧密结合计算机,后面有一个超棒的书单
回复
来自:豆瓣读书
(4人评价)
作者: Joseph R. Shoenfield
出版社: Routledge
出版年: 2001-2-9
评语:写得比较简要,对1967年的逻辑做了均衡的概括,有很多习题
回复
来自:豆瓣读书
8.7 (36人评价)
作者: Nigel Cutland
出版社: Cambridge University Press
出版年: 1980
评语:用图灵机来讲解计算理论
回复
来自:豆瓣读书
(6人评价)
作者: Hartley Rogers
出版社: The MIT Press
出版年: 1967
评语:经典的递归论教材,有许多非形式化的讲解
回复
来自:豆瓣读书
9.2 (15人评价)
作者: 索尔
出版社: 科学
出版年: 2007-1
评语:目前标准的递归论教材,里面集中讲优先方法。现在这本书正在更新中,新书名《Computability Theory and Applications》,在原有的基础上加入可计算模型论,可计算代数结构,力迫法,随机性和描述复杂性,递归论在微分几何中的应用等内容
回复

什么是豆列  · · · · · ·

豆列是收集好东西的工具。

在网上看到喜欢的,无论它是否来自豆瓣,都可以收到你自己的豆列里,方便以后找到。

你还可以关注感兴趣的豆列,看看其他人收集的好东西。

这个豆列的标签  · · · · · ·

最新留言  · · · · · ·  ( 全部 )

baozii的其它豆列  · · · · · ·  ( 全部 )