《面向计算机科学的数理逻辑》叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑.《面向计算机科学的数理逻辑》在选材时考虑了逻辑系统的特征，并且适应计算机科学的要求，《面向计算机科学的数理逻辑》研究各种逻辑的背景、语言、语义、形式推演，以及可靠性和完备性等问题。《面向计算机科学的数理逻辑》大部分章节附有习题。
具体描述
读后感
言简意赅，掷地有声，薄薄一本书涵盖了非常多的东西。我是在学离散数学前大致读的本书(还有几十页实在IQ有限，理解不上去了)。可想而知再去学离散数学综合教程里那种数理逻辑的享受，简直就是一个天一个地，感觉普通离散数学教程中的数理逻辑部分读起来简直就不需要废一点脑筋...
评分敢问国内还有哪本书是通过semantic-syntax，model-theoretical的方式讲数理逻辑的。。 摆脱各位如果真想搞computer SCIENCE，就读它吧，其他那些根本不能称之为数学。。 读英文的更好，推荐这本http://www.amazon.com/Computer-Scientists-Modern-Birkh%C3%A4user-Classics/dp/...
评分我看过的数理逻辑的书里边，这本书最让我感觉到晕。 语言晦涩难懂，证明莫名其妙，有些地方讲到“显然”，我想了整整一个下午才明白显然的意义。这样的书我觉得做教材不恰当。本科时候上过离散数学，数理逻辑相关课程，许多内容其实重复，那些东西我已经掌握比较熟练，可是看...
评分敢问国内还有哪本书是通过semantic-syntax，model-theoretical的方式讲数理逻辑的。。 摆脱各位如果真想搞computer SCIENCE，就读它吧，其他那些根本不能称之为数学。。 读英文的更好，推荐这本http://www.amazon.com/Computer-Scientists-Modern-Birkh%C3%A4user-Classics/dp/...
评分敢问国内还有哪本书是通过semantic-syntax，model-theoretical的方式讲数理逻辑的。。 摆脱各位如果真想搞computer SCIENCE，就读它吧，其他那些根本不能称之为数学。。 读英文的更好，推荐这本http://www.amazon.com/Computer-Scientists-Modern-Birkh%C3%A4user-Classics/dp/...
用户评价
一定要配合老爷子那29讲视频来看，讲得极好，清楚明白，详略得当。
评分国内唯一一本这样的书籍，内容不够充实。
评分O M G W T F
评分这个教材也许有所谓的理论高度，但是与实际完全脱节，根本不适合做教材。初学者容易被其单调的排版读成盲视。建议看邢滔滔的教材。
评分看了前六章(即非经典逻辑没看)，当真写的简洁明了。不过有时确实太简洁了。。。跳过了一阶逻辑的完备性和第五章两个定理的证明，有心情时候再看看。
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有