漫游鲸二手书店
淘二手好书+回收闲置图书
面向计算机科学的数理逻辑
陆钟万 | 科学出版社
ISBN:9787030096579
原价: ￥29.00
销售价:￥4.90元
参与书籍回收后，可享更低价格
分类
计算数学
作者
陆钟万
出版社
科学出版社
图书简介
本书叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑。本书在选材时考虑了逻辑系统的特征，并且适应计算机科学的要求，本书研究各种逻辑的背景、语言、语义、形式推演，以及可靠性和完备性等问题。本书大部分章节附有习题。本书读者对象:高校计算机专业师生，科研人员。
阅读更多
相关推荐
更多低价好书购买/书籍回收
扫码访问微信小程序
