数理逻辑引论与归结原理
2025-02-17 10:06:12
文学小说
5
【🔥扫码右侧二维码】
【📱扫码极速下载】浏览器自动唤起 💎独家资源·限时共享内容简介：
《数理逻辑引论与归结原理》讲述了与逻辑演算有密切关系的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&
评论