查字典图书网

  

当前位置： 查字典 > 图书网 > > 面向计算机科学的数理逻辑 > 晕乎乎

陈炬对面向计算机科学的数理逻辑的书评发表时间：2007-10-16 22:10:34

晕乎乎

我看过的数理逻辑的书里边，这本书最让我感觉到晕。

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

展开全文

有用 3 无用 3

您对该书评有什么想说的？

发表

对“晕乎乎”的回应

Turing 2011-10-08 14:00:30

其实反差大的原因很简单，这是计算科学和计算应用技术的差别。

IIRFEWF 2010-08-05 11:17:17

为啥反差这么大？

dolphin 2009-12-02 22:18:22

不然，我虽然理解也不深刻，但是我认为这本书是我见过的比较好的数理逻辑教材，感觉来龙去脉很清楚……，尤其是语言、元语言和语法（形式语言）语义，可能设计到一些形式系统的东西，我感觉说的还是很清楚的，至少比较完全和严格

图书栏目

查看更多