会员
周边
捐助
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
jjppp的博客
那就这样吧!@#$%^&*_
新随笔
联系
订阅
管理
2022年1月24日
数理逻辑02 推演系统
摘要: 写在前面 在上一章给出了命题逻辑的语法、语义,公理化的定义,以及一种判定公式是否可满足/永真的算法,但是这还不够,因为: 并不是所有逻辑都有Decision Procedure,因此这种方法不够普遍 即使有,在有无穷多的公理时,Decision Procedure很可能没法处理无穷项的公式(算法不一
阅读全文
posted @ 2022-01-24 18:53 jjppp
阅读(448)
评论(0)
推荐(1)
编辑
公告