面向计算机科学的数理逻辑（第二版）（中国科学院研究生教学丛书）

作者: 陆钟万
ISBN: 9787030096579
页数: 263
定价: 19.0
出版社: 科学出版社
装帧: 平装
出版年: 2002-1-1

6.5

(10人评价)

0.0%
50.0%
30.0%
0.0%
20.0%
评价:

简介   · · · · · · 

　　本书叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑.本书在选材时考虑了逻辑系统的特征，并且适应计算机科学的要求，本书研究各种逻辑的背景、语言、语义、形式推演，以及可靠性和完备性等问题。本书大部分章节附有习题。
　　 本书读者对象:高校计算机专业师生，科研人员。

豆瓣成员常用的标签(共12个)   · · · · · · 

数理逻辑(9)  逻辑(4)  Logic(3)  计算机(3)  数学基础(2)  数学(2)  Theory(2)  教材(1)  

喜欢读"面向计算机科学的数理逻辑（第二版）（中国科学院研究生教学丛书）"的人也喜欢   · · · · · · 

自动机理论、语言和计算导论（原书第2版）--计算机科学丛书
月刊 宮地真緒 (SHINCHO MOOK 064)
鬼狐仙怪――聂小倩.杜子春
心灵本体的探索：神秘的原型
中庸
教学勇气--漫步教师心灵
魔方大厦
皮皮鲁和鲁西西
尼采的“查拉图斯特拉”
皮皮鲁外传(写给男孩子看的童话拼音读物)

书评  · · · · · · 
热门评论 最新评论

  • 晕乎乎

  • 陈炬
  • 陈炬  

    我看过的数理逻辑的书里边，这本书最让我感觉到晕。 语言晦涩难懂，证明莫名其妙，有些地方讲到“显然”，我想了整整一个下午才明白显然的意义。这样的书我觉得做教材不恰当。本科时候上过离散数学，数理逻辑相关课程，许多内容其实重复，那些东西我已经掌握比较熟练，可是看这本书还是觉得很累。一方面是我智力的因素，但不可否认，这本...... (1回应)

    2007-10-16     1/1有用

  • 非常好的一本书

  • Daydreaming
  • Daydreaming  

    言简意赅，掷地有声，薄薄一本书涵盖了非常多的东西。我是在学离散数学前大致读的本书(还有几十页实在IQ有限，理解不上去了)。可想而知再去学离散数学综合教程里那种数理逻辑的享受，简直就是一个天一个地，感觉普通离散数学教程中的数理逻辑部分读起来简直就不需要废一点脑筋，太容易懂啦。学完离散数学综合教程以后，又开始读了读这本书，......

    2009-06-03    

  • 很差的一本书

  • ohscar
  • ohscar  

    语言晦涩，让人难以理解。而且，关键的东西没好好讲，沉溺于证明之中，国内教材的通病！推荐读《A Mathematical Introduction to Logic, Second Edition 》（就是伯克利版的数理逻辑）：http://www.china-pub.com/28732 ......

    2009-01-15    

在哪儿买这本书?   · · · · · · 

以下豆列推荐 · · · · · ·

谁读这本书?

豌豆王子
豌豆王子
12月13日读过


野猪男
野猪男
11月9日读过


noza
noza
10月17日读过

tags:学科 计算机

child_z
child_z
10月13日想读


> 2人在读

> 17人读过

> 14人想读




订阅关于面向计算机科学的数理逻辑（第二版）（中国科学院研究生教学丛书）的评论:
feed: rss 2.0