《面向计算机科学的数理逻辑》叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑.《面向计算机科学的数理逻辑》在选材时考虑了逻辑系统的特征，并且适应计算机科学的要求，《面向计算机科学的数理逻辑》研究各种逻辑的背景、语言、语义、形式推演，以及可靠性和完备性等问题。《面向计算机科学的数理逻辑》大部分章节附有习题。
具体描述
读后感
敢问国内还有哪本书是通过semantic-syntax，model-theoretical的方式讲数理逻辑的。。 摆脱各位如果真想搞computer SCIENCE，就读它吧，其他那些根本不能称之为数学。。 读英文的更好，推荐这本http://www.amazon.com/Computer-Scientists-Modern-Birkh%C3%A4user-Classics/dp/...
评分我看过的数理逻辑的书里边，这本书最让我感觉到晕。 语言晦涩难懂，证明莫名其妙，有些地方讲到“显然”，我想了整整一个下午才明白显然的意义。这样的书我觉得做教材不恰当。本科时候上过离散数学，数理逻辑相关课程，许多内容其实重复，那些东西我已经掌握比较熟练，可是看...
评分语言晦涩，让人难以理解。而且，关键的东西没好好讲，沉溺于证明之中，国内教材的通病！推荐读《A Mathematical Introduction to Logic, Second Edition 》（就是伯克利版的数理逻辑）：http://www.china-pub.com/28732
评分语言晦涩，让人难以理解。而且，关键的东西没好好讲，沉溺于证明之中，国内教材的通病！推荐读《A Mathematical Introduction to Logic, Second Edition 》（就是伯克利版的数理逻辑）：http://www.china-pub.com/28732
评分语言晦涩，让人难以理解。而且，关键的东西没好好讲，沉溺于证明之中，国内教材的通病！推荐读《A Mathematical Introduction to Logic, Second Edition 》（就是伯克利版的数理逻辑）：http://www.china-pub.com/28732
用户评价
证明有点儿难。。
评分偏理论的书，好吧，其实是数理逻辑课的教材
评分作为教材，还成
评分看了前六章(即非经典逻辑没看)，当真写的简洁明了。不过有时确实太简洁了。。。跳过了一阶逻辑的完备性和第五章两个定理的证明，有心情时候再看看。
评分用词节省到极致，而附注对理解起不到帮助，完备性那块非优美常流畅，一阶逻辑u的运用是败笔，云里雾里的
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 qciss.net All Rights Reserved. 小哈图书下载中心 版权所有