24小时热门版块排行榜    

查看: 2298  |  回复: 13

picklas

木虫 (著名写手)

定义证明,要明确数域条件先

发自小木虫IOS客户端
11楼2015-09-30 07:34:22
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

Jeviers

银虫 (小有名气)

引用回帖:
11楼: Originally posted by picklas at 2015-09-30 07:34:22
定义证明,要明确数域条件先

明确值域还有头绪。那么,如何用定义证明呢?

发自小木虫Android客户端
12楼2015-10-01 00:18:54
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

picklas

木虫 (著名写手)

正定的概念定义,无需啰嗦。证明主要是证明运算在所约束数域条件下的自洽,完备和紧致性证明。

发自小木虫IOS客户端
13楼2015-10-01 00:38:15
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

安-若

木虫 (正式写手)

14楼2015-10-01 01:42:50
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 Jeviers 的主题更新
信息提示
请填处理意见