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




作者:陆钟万
中图分类:数理化 ->数学
学科分类:理学 ->数学 ->数理逻辑与数学基础
出版日期:1998-1-1
主题词:电子计算机-数理逻辑
分享到:



  
这个是隐藏的空行
内容简介

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

这个是隐藏的空行

最新评论