发现好书期刊,享受阅读乐趣

海量图书期刊资源,随时随地畅享阅读乐趣

数理逻辑引论与归结原理

数理逻辑引论与归结原理

王国俊著
  • 作者王国俊著
  • 出版社北京:科学出版社
  • 标注页数258 页
  • 文件页数271 页
  • 文件大小10.17 MB
  • 出版时间2006
  • ISBN7030165837
内容简介
本书在第1版的基础上进行修订再版,内容可分为4部分。第1部分讲述了与逻辑演算有密切关系的Boole代数理论,并以此为工具证明逻辑演算理论中的两个完备性定理。第2部分深入浅出地系统讲述命题演算与一阶谓词演算理论。第3部分清楚而严谨地讲述归结原理理论,给出了各个难点内容的完整证明。第4部分讲述多值逻辑演算理论,包括Lukasiewicz连续值逻辑及相关的MV代数理论以及由作者建立的逻辑系统和相关的R0代数理论。
← 返回【学霸图书馆】主页