很差的一本书

Item: 面向计算机科学的数理逻辑
Rating: 1
Author: ohscar

2009-01-15 08:08:39

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

有关键情节透露