查询词典 proof theory

Proof theory grew out of David Hilbert 's ambitious program to formalize all the proofs in mathematics.

证据理论中衍生出来的大卫希尔伯特的雄心勃勃的计划，正式的所有证据在数学。

Firstly, we construct the epistemic systems EK1-EK3, give some results of their proof theory.

首先，我们构造认知系统EK1-EK3，给出它们的一些证明论结果。

Standard of proof is not only the core of the proof theory,but also a question of first importance in the application of proof in judicial practice.

证明标准是证据制度中证明理论的核心内容，也是司法实践中证据运用的首要问题。

Firstly, we construct the dynamic epistemic conditional system DEC1, give some results of its proof theory.

首先，我们构造动态认知条件句系统DEC1，给出它的一些证明论结果。

The core of the theory of Topics of Science is the multi-dimensional proof theory.

复兴被遗忘的古老"论题学"智慧，结合现代科学哲学的研究成果，构建具有时代精神特征的科学论题学方法，是当代科学哲学发展的重要趋向。

Based on the analysis of the theory of data-fusion, the application of Bayes-fusion judgment and the D-S proof theory in the MMW detecting system is studied in this dissertation.

本文在分析了数据融合理论的基础上，探讨了Bayes融合判决和D-S证据理论在毫米波主、被动探测系统中的应用。

Mathematical logic is the formal study of mathematical structures and systems; its subparts include proof theory and model theory.

数理逻辑是数学结构和系统的正式研究，其子部分包括证明理论和模型理论。

Furthermore cognition of criminal procedural testification standard is not only the inevitable demand of litigation civilization and progress ,but also the inevitable outcome of Chinese traditional proof theory blending and conflicting with west countries' litigation theory and culture conventions .

对于刑事诉讼证明标准的再认识不仅是诉讼文明进步的必然要求，也是我国传统证据理论与现代西方国家诉讼理念、文化传统的交融与冲突的必然结果。

Dummett's views on intuitionism logic can be divided into three levels that are proof theory, semantics, and the theory of meaning. He expounded and proved the arguments; intuitionism logical rules are self-defended, and their semantic interpretations can be avoided cyclic argument while he demonstrated the philosophical-logical intentions of the dispute between classic logic and intuitionism logic.

他对直觉主义逻辑的辩护包括证明论、模型论或语义学、意义理论三个层次，他论证了直觉主义逻辑规律是自我辩护的、其语义解释可以避免循环论证，阐明了直觉主义逻辑和经典逻辑之争的逻辑哲学内涵。

The fire-proof theory, system capability and constructing method were introduced in detail.

本文重点介绍了防火性能优异的多种外墙外保温系统，除了介绍每种系统的防火原理外，还包括其它的系统性能以及施工方法等。

In the United States, chronic alcoholism and hepatitis C are the most common ones.

在美国，慢性酒精中毒，肝炎是最常见的。

If you have any questions, you can contact me anytime.

如果有任何问题，你可以随时联系我。