面向计算机科学的数理逻辑

图书标准信息

• 作者 陆钟万 著
• 出版社 科学出版社
• 出版时间 2016-12
• 版次 31
• ISBN 9787030096579
• 定价 29.00元
• 装帧 平装
• 开本 大32开
• 纸张 胶版纸
• 页数 284页
• 正文语种 简体中文
• 丛书 中国科学院研究生教学丛书

【内容简介】

《面向计算机科学的数理逻辑》叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑.《面向计算机科学的数理逻辑》在选材时考虑了逻辑系统的特征，并且适应计算机科学的要求，《面向计算机科学的数理逻辑》研究各种逻辑的背景、语言、语义、形式推演，以及可靠性和完备性等问题。《面向计算机科学的数理逻辑》大部分章节附有习题。