具体描述
《数理逻辑引论与归结原理》讲述了与逻辑演算有密切关系的Boole代数理论；命题演算与一阶谓词演算理论；归结原理理论以及多值逻辑演算理论等内容。
作者简介
目录信息
第一章 预备知识
1.1偏序集
1.2格
1.3Boole代数
第二章 命题演算
2.1命题及其符号化
2.2命题演算的语义理论
2.3命题演算的语构理论
第三章 一阶谓词演算的语义理论
3.1一阶语言
3.2解释、逻辑有效公式
3.3逻辑等价
第四章 一阶渭词演算的语构理论
4.1形式系统K&
4.2可证等价关系
4.3前束范式
4.4一阶系统K&
· · · · · · (收起)
1.1偏序集
1.2格
1.3Boole代数
第二章 命题演算
2.1命题及其符号化
2.2命题演算的语义理论
2.3命题演算的语构理论
第三章 一阶谓词演算的语义理论
3.1一阶语言
3.2解释、逻辑有效公式
3.3逻辑等价
第四章 一阶渭词演算的语构理论
4.1形式系统K&
4.2可证等价关系
4.3前束范式
4.4一阶系统K&
· · · · · · (收起)
读后感
评分
评分
评分
评分
评分
用户评价
评分
代数部分有点多余了，但很严谨
评分代数部分有点多余了，但很严谨
评分代数部分有点多余了，但很严谨
评分代数部分有点多余了，但很严谨
评分代数部分有点多余了，但很严谨
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有