只需一步,快速开始
举报
我擦嘞 发表于 2014-8-15 10:14 我粗略地想了一下,你指的大概是形式系统的完全性,以及判定问题 一阶谓词逻辑和命题逻辑是完全的,这倒 ...
tiwwcb 发表于 2014-8-15 12:49 不是完全性……咱虽然看不懂推导过程但知道有完全性这个概念。平庸是指一个系统的公理可以推出A 例如假设 ...
RamonZoe 发表于 2014-8-9 21:38 因为看不懂,所以我要把符号全部跳过 跳过...... 跳过......
本版积分规则 发表回复 回帖并转播 回帖后跳转到最后一页
手机版|Archiver|轻之国度
JS of wanmeiff.com and vcpic.com Please keep this copyright information, respect of, thank you!JS of wanmeiff.com and vcpic.com Please keep this copyright information, respect of, thank you!
GMT+8, 2024-5-21 08:06
Powered by Discuz! X3.4 Licensed
Copyright © 2001-2020, Tencent Cloud.