面向计算机科学的数理逻辑
内容简介
《面向计算机科学的数理逻辑》叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑.《面向计算机科学的数理逻辑》在选材时考虑了逻辑系统的特征，并且适应计算机科学的要求，《面向计算机科学的数理逻辑》研究各种逻辑的背景、语言、语义、形式推演，以及可靠性和完备性等问题。《面向计算机科学的数理逻辑》大部分章节附有习题。
该书热门标签
- 最新
- 热门
-
0
coyotey
2012-01-10
国内唯一一本这样的书籍，内容不够充实。
-
0
Frau_
2013-12-02
用词节省到极致，而附注对理解起不到帮助，完备性那块非优美常流畅，一阶逻辑u的运用是败笔，云里雾里的
-
0
奔跑的肉夹馍
2011-12-01
偏理论的书，好吧，其实是数理逻辑课的教材
-
0
cacoo
2016-04-27
没看懂…
-
0
尾生
2012-03-05
这个教材也许有所谓的理论高度，但是与实际完全脱节，根本不适合做教材。初学者容易被其单调的排版读成盲视。建议看邢滔滔的教材。
-
0
Nameless
2013-01-03
O M G W T F
-
0
pesemire
2012-06-10
很是一般
-
0
票贩子
2012-02-17
每每看到这个新加坡人的名字的时候我都不寒而栗。。。
-
0
TheLadiesChoice
2015-12-28
证明有点儿难。。
-
0
woodbean
2016-05-03
这本书应该比较适合有大学数理逻辑基础知识的人看。我当初学习完备性定理的时候看其他书都看不懂，通过这本书才看懂的。
-
0
coyotey
2012-01-10
国内唯一一本这样的书籍，内容不够充实。
-
0
Frau_
2013-12-02
用词节省到极致，而附注对理解起不到帮助，完备性那块非优美常流畅，一阶逻辑u的运用是败笔，云里雾里的
-
0
奔跑的肉夹馍
2011-12-01
偏理论的书，好吧，其实是数理逻辑课的教材
-
0
cacoo
2016-04-27
没看懂…
-
0
尾生
2012-03-05
这个教材也许有所谓的理论高度，但是与实际完全脱节，根本不适合做教材。初学者容易被其单调的排版读成盲视。建议看邢滔滔的教材。
-
0
Nameless
2013-01-03
O M G W T F
-
0
pesemire
2012-06-10
很是一般
-
0
票贩子
2012-02-17
每每看到这个新加坡人的名字的时候我都不寒而栗。。。
-
0
TheLadiesChoice
2015-12-28
证明有点儿难。。
-
0
woodbean
2016-05-03
这本书应该比较适合有大学数理逻辑基础知识的人看。我当初学习完备性定理的时候看其他书都看不懂，通过这本书才看懂的。
- 最新
- 热门
-
很差的一本书
2有用 ohscar 2009-01-15
语言晦涩，让人难以理解。而且，关键的东西没好好讲，沉溺于证明之中，国内教材的通病！推荐读《AMathematicalIntroductiontoLogic,SecondEdition》（就是伯克利版的... 查看全部>>
-
给这本书正正身
1有用 波多野丽猪 2011-11-09
敢问国内还有哪本书是通过semantic-syntax，model-theoretical的方式讲数理逻辑的。。摆脱各位如果真想搞computerSCIENCE，就读它吧，其他那些根本不能称之为数学。... 查看全部>>
-
晕乎乎
3有用 陈炬 2007-10-16
我看过的数理逻辑的书里边，这本书最让我感觉到晕。语言晦涩难懂，证明莫名其妙，有些地方讲到“显然”，我想了整整一个下午才明白显然的意义。这样的书我觉得做教材不恰当。本科时候上过离散数学，数理逻辑相关课程... 查看全部>>
-
绝对经典的书
3有用 边城剑客 2012-07-07
这本书没有废话，严谨程度不亚于国外经典名著，命题逻辑、一阶逻辑、完备性和可靠性证明，逐步深入，其核心是命题逻辑的形式推演，弄清楚了这个再来看一阶逻辑和完备性、可靠性的证明，非常顺畅。但是，最好要有一些... 查看全部>>
-
非常好的一本书
2有用 Daydreaming 2009-06-03
言简意赅，掷地有声，薄薄一本书涵盖了非常多的东西。我是在学离散数学前大致读的本书(还有几十页实在IQ有限，理解不上去了)。可想而知再去学离散数学综合教程里那种数理逻辑的享受，简直就是一个天一个地，感觉... 查看全部>>
-
晕乎乎
3有用 陈炬 2007-10-16
我看过的数理逻辑的书里边，这本书最让我感觉到晕。语言晦涩难懂，证明莫名其妙，有些地方讲到“显然”，我想了整整一个下午才明白显然的意义。这样的书我觉得做教材不恰当。本科时候上过离散数学，数理逻辑相关课程... 查看全部>>
-
绝对经典的书
3有用 边城剑客 2012-07-07
这本书没有废话，严谨程度不亚于国外经典名著，命题逻辑、一阶逻辑、完备性和可靠性证明，逐步深入，其核心是命题逻辑的形式推演，弄清楚了这个再来看一阶逻辑和完备性、可靠性的证明，非常顺畅。但是，最好要有一些... 查看全部>>
-
很差的一本书
2有用 ohscar 2009-01-15
语言晦涩，让人难以理解。而且，关键的东西没好好讲，沉溺于证明之中，国内教材的通病！推荐读《AMathematicalIntroductiontoLogic,SecondEdition》（就是伯克利版的... 查看全部>>
-
非常好的一本书
2有用 Daydreaming 2009-06-03
言简意赅，掷地有声，薄薄一本书涵盖了非常多的东西。我是在学离散数学前大致读的本书(还有几十页实在IQ有限，理解不上去了)。可想而知再去学离散数学综合教程里那种数理逻辑的享受，简直就是一个天一个地，感觉... 查看全部>>
-
给这本书正正身
1有用 波多野丽猪 2011-11-09
敢问国内还有哪本书是通过semantic-syntax，model-theoretical的方式讲数理逻辑的。。摆脱各位如果真想搞computerSCIENCE，就读它吧，其他那些根本不能称之为数学。... 查看全部>>
评价“面向计算机科学的数理逻辑”