当前位置：首页 > TAG信息列表 > 数理逻辑
数理逻辑
-
-
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
（德）Michael Huth （英）Mark Ryan著 何伟 樊磊译 2007 年出版277 页ISBN：7111213971本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
-
数理逻辑基础与粒计算
闫林著 2007 年出版259 页ISBN：9787030198280粒计算是近年来计算机科学许多领域关注和研究的热点，对它的研究思路和处理的方法就是把大的问题分解为小的问题，把整体的概念分解为细小的概念，把复杂的处理分解为简单的处理，总之就是把整体分解为粒。然后再通...
-
-
-
-
面向计算机科学的数理逻辑
陆钟万著 2002 年出版263 页ISBN：7030096576《面向计算机科学的数理逻辑（第2版）》叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑。《面向计算机科学的数理逻辑（第2版）》在选材...
-
-
-
-
-
数学基础研究三十年 1930至1964年数理逻辑和数学基础研究发展状况讲演录
（波）安德热依·莫斯托夫斯基（A.Mostowski）著 郭世铭译 1983 年出版195 页ISBN：13255018 -
-
-
-
-
-
-
数理逻辑是什么
（英）John N. Crossley等著 2018 年出版160 页ISBN：9787518420957本书是一本关于数理逻辑的导论书，面向的是没有任何数学基础的读者，主要介绍了数理逻辑中谓词演算的完全性、模型论、递归函数、哥德尔不完全性定理、集合论等，以帮助读者掌握关于数理逻辑的一般知识，提高其在日...
-
