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

资源最后更新于 2020-08-23 08:22:24

作者：陆钟万

出版社：科学出版社

出版日期：2002-01

ISBN：9787030096579

文件格式： pdf

标签： 数理逻辑 计算机 数学 逻辑 计算机科学 面向计算机科学的数理逻辑 Logic 教材

简介· · · · · ·

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