陆钟万详细信息

面向计算机科学的数理逻辑（第二版）（中国科学院研究生教学丛书）

作者：陆钟万 著

出版社：科学出版社

出版日期：2002-01-01

内容简介

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

本书读者对象:高校计算机专业师生，科研人员。