【数理逻辑及其应用】朱保平.pdf
数理逻辑及其应用 朱保平编
目录 第一章命题演算基础 1命题和联结词 1命题联结词合式公式 1关于公式的表示法 1真假性 1解释 1等价公式 1联结词的完备集 1.
(谓词演算公式子句的形成 6一般归结 6归结反演系统的应用 6.🔒 下载高清完整版
解锁价格：39.00 元
支付成功后自动显示下载地址，无需注册，可长期查看。
已经购买过？查询 / 恢复下载权限
完整订单号或支付交易号可直接恢复；也可以输入购买邮箱查询历史订单。问题反馈：cuwen#foxmail.com (#换@)