数理逻辑引论与归结原理

书籍目录

第一章 预备知识

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&

作者简介

《数理逻辑引论与归结原理》讲述了与逻辑演算有密切关系的Boole代数理论；命题演算与一阶谓词演算理论；归结原理理论以及多值逻辑演算理论等内容。

 数理逻辑引论与归结原理下载