首页 > 刻本

【数理逻辑及其应用】朱保平.pdf

【数理逻辑及其应用】朱保平.pdf

数理逻辑及其应用朱保平编

目录第一章命题演算基础 1命题和联结词 1命题联结词合式公式 1关于公式的表示法 1真假性 1解释 1等价公式 1联结词的完备集 1.

(谓词演算公式子句的形成 6一般归结 6归结反演系统的应用 6.

支付成功后系统会自动返回下载地址！有问题：cuwen@foxmail.com（截图）