| 词条 | 面向计算机科学的数理逻辑 |
| 释义 | 基本信息出版社: 科学出版社; 第2版 (2002年1月1日) 丛书名: 中国科学院研究生教学丛书 平装: 263页 正文语种: 简体中文 开本: 32 ISBN: 9787030096579, 7030096576 条形码: 9787030096579 商品尺寸: 20 x 13.6 x 1.2 cm 商品重量: 259 g ASIN: B00116FN0E 商品描述内容简介《面向计算机科学的数理逻辑》叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑.《面向计算机科学的数理逻辑》在选材时考虑了逻辑系统的特征，并且适应计算机科学的要求，《面向计算机科学的数理逻辑》研究各种逻辑的背景、语言、语义、形式推演，以及可靠性和完备性等问题。《面向计算机科学的数理逻辑》大部分章节附有习题。 编辑推荐《面向计算机科学的数理逻辑》由科学出版社出版。读者对象为高校计算机专业师生，科研人员。 |
| 随便看 |
百科全书收录4421916条中文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。