Rewards
网页
图片
视频
学术
词典
地图
更多
航班
我的必应
笔记本
proof theory
美
英
网络
证明论;证明论教材;证明理论
英英
网络释义
n.
1.
the
part
of
the
theory
of
logic
concerned
with
the
exact
nature
of
deriving
propositions
and
conclusions
1.
证明论
在
证明论
(
proof theory
)和相关的数理逻辑的领域中,一个形式的演算(caluclus)相对于一个特定的逻辑(即相对于它的语义(sema…
www.chinabaike.com
|
基于46个网页
2.
证明论教材
科学网—数... ... Model Theory 现代模型论教材,它正在取代
Proof Theory
证明论教材
,可以跟前面那本互补,作者是个 …
blog.sciencenet.cn
|
基于11个网页
3.
证明理论
证明理论,Proof... ... )
Proof theory
证明理论
) Theoretical identification and application 理论证明与应用 ...
www.dictall.com
|
基于6个网页
4.
证蜜
数学专业英语词汇14_专业词汇 ... proof of existence 存在证明
proof theory
证蜜
propagation 传播 ...
e.3edu.net
|
基于4个网页
更多释义
收起释义
例句
释义:
全部
全部
,
证明论
证明论
,
证明论教材
证明论教材
,
证明理论
证明理论
类别:
全部
全部
,
口语
口语
,
书面语
书面语
,
标题
标题
,
技术
技术
来源:
全部
全部
,
字典
字典
,
网络
网络
难度:
全部
全部
,
简单
简单
,
中等
中等
,
难
难
更多例句筛选
收起例句筛选
1.
Firstly
,
we
construct
the
system
KA
of
knowing
agents
,
give
some
results
of
its
proof
theory
.
首先
,
我们
构造
知道
主体
的
系统
KA
,
给出
它
的
一些
证明
论
结果
。
www.sinoss.net
2.
Often
referred
to as
proof
theory
.
通常
称为
证明
论
。
bulo.hjenglish.com
3.
Firstly
,
we
construct
the
dynamic
epistemic
conditional
system
DEC1
,
give
some
results
of
its
proof
theory
.
首先
,
我们
构造
动态
认知
条件
句
系统
DEC1
,
给出
它
的
一些
证明
论
结果
。
www.sinoss.net
4.
The
core
of the
theory
of
Topics
of
Science
is
the multi-dimensional
proof
theory
.
科学
论题
学
的
核心
内容
是
“
论题
”
的
多元
论证
理论
。
www.ceps.com.tw
5.
Being
semantically
constructed
,
as
yet
computability
logic
does
not
have
a
fully
developed
proof
theory
.
正在
做
着
语义
构造
,
至今
可
计算
性
逻辑
仍
没有
完全
开发
出
证明
论
。
dictsearch.appspot.com
6.
The
burden
of
proof
theory
is
the
minor
premise
(
the
facts
)
to
play
a
role
in
situations
of
uncertainty
.
而
证明
责任
理论
就是
在
小
前提
(
案件
事实
)
不确定
的
情况下
发挥
作用
。
www.fabiao.net
7.
Firstly
,
we
construct
the
epistemic
systems
EK1-EK3
,
give
some
results
of
their
proof
theory
.
首先
,
我们
构造
认知
系统
EK1-EK3
,
给
出
它们
的
一些
证明
论
结果
。
www.ceps.com.tw
8.
Differentiation
and
Correction
of
Four
Groups
of
Opposite
Concepts
in
Proof
Theory
诉讼
证明
理论
中
的
四
组
相对
概念
之
辨
正
168.160.184.78
9.
Survey
:
Proof
Theory
Semantics
of
General
Logic
Program
综述
:
一般
逻辑
程序
的
证明
论语
义
www.ilib.cn
10.
Collusion
-
proof
Theory
and
Independent
Directors
System
of
China
防范
串
谋
理论
与
我国
的
独立
董事
制度
www.ilib.cn
1
2