欢迎来到相识电子书!
标签:面向计算机科学的数理逻辑
-
面向计算机科学的数理逻辑
《面向计算机科学的数理逻辑》叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容,包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑.《面向计算机科学的数理逻辑》在选材时考虑了逻辑系统的特征,并且适应计算机科学的要求,《面向计算机科学的数理逻辑》研究各种逻辑的背景、语言、语义、形式推演,以及可靠性和完备性等问题。《面向计算机科学的数理逻辑》大部分章节附有习题。
热门标签
下载排行榜
- 1 梦的解析:最佳译本
- 2 李鸿章全传
- 3 淡定的智慧
- 4 心理操控术
- 5 哈佛口才课
- 6 俗世奇人
- 7 日瓦戈医生
- 8 笑死你的逻辑学
- 9 历史老师没教过的历史
- 10 1分钟和陌生人成为朋友