出版社:科学出版社
年代:2005
定价:
本书在第1版的基础上进行修订再版,内容可分为4部分。第1部分讲述了与逻辑演算有密切关系的Boole代数理论,并以此为工具证明逻辑演算理论中的两个完备性定理。第2部分深入浅出地系统讲述命题演算与一阶谓词演算理论。第3部分清楚而严谨地讲述归结原理理论,给出了各个难点内容的完整证明。第4部分讲述多值逻辑演算理论,包括Lukasiewicz连续值逻辑及相关的MV代数理论以及由作者建立的逻辑系统和相关的R0代数理论。
书籍详细信息 | |||
书名 | 数理逻辑引论与归结原理站内查询相似图书 | ||
丛书名 | 现代数学基础丛书 | ||
9787030165831 如需购买下载《数理逻辑引论与归结原理》pdf扫描版电子书或查询更多相关信息,请直接复制isbn,搜索即可全网搜索该ISBN | |||
出版地 | 北京 | 出版单位 | 科学出版社 |
版次 | 2版 | 印次 | 1 |
定价(元) | 语种 | 简体中文 | |
尺寸 | 24 | 装帧 | 平装 |
页数 | 印数 |