版权所有：内蒙古大学图书馆 技术提供：维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
面向计算机科学的数理逻辑
普通高等教育“九五”国家级重点教材#中国科学院研究生教学丛书 zhong guo ke xue yuan yan jiu sheng jiao xue cong shu丛 书 名：中国科学院研究生教学丛书
版本说明：2版
I S B N：(纸本) 9787030096579
出 版 社：科学出版社
出 版 年：2002年
页 数：13,263页页
学科分类：01[哲学] 12[管理学] 0101[哲学-哲学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 010104[哲学-逻辑学] 07[理学] 08[工学] 070104[理学-应用数学] 0701[理学-数学] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 070101[理学-基础数学]
馆 藏 号：201374468...
摘 要：《面向计算机科学的数理逻辑》叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑.《面向计算机科学的数理逻辑》在选材时考虑了逻辑系统的特征，并且适应计算机科学的要求，《面向计算机科学的数理逻辑》研究各种逻辑的背景、语言、语义、形式推演，以及可靠性和完备性等问题。《面向计算机科学的数理逻辑》大部分章节附有习题。
