会员
周边
捐助
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
Waye_S
博客园
首页
新随笔
联系
管理
订阅
2019年2月27日
【数理逻辑】预备知识
摘要: 1. 元语言和对象语言: 对象语言:被讨论的语言 元语言:讨论对象语言时用的语言(解释说明) 2. 语义 给形式语言以 解释 真假 赋值 $\upsilon$给公式$A$指派的值记作$A^\upsilon$ 要证明一个公式是可满足的,只要找到一个模型$(M,\sigma)$,即一个论域$M$,一个解
阅读全文
posted @ 2019-02-27 14:51 Waye_S
阅读(627)
评论(0)
推荐(0)
编辑
公告