查询词典 incompleteness

Topics covered include: programming and computability theory based on a term-rewriting,"substitution" model of computation by Scheme programs with side-effects; computation as algebraic manipulation: Scheme evaluation as algebraic manipulation and term rewriting theory; paradoxes from self-application and introduction to formal programming semantics; undecidability of the Halting Problem for Scheme; properties of recursively enumerable sets, leading to Incompleteness Theorems for Scheme equivalences; logic for program specification and verification; and Hilbert's Tenth Problem.

其所包含的主题：程序和运算理论是基于根据算数和具有一些副作用的计划纲要的条款重写和"代入"模式之上的、关于代数学计算的算数：关于代数学计算和术语重写理论的评价方案作计划、应用程序自己和说明的自相矛盾到形式上的程序语义、关于计划Halting 问题的不可判定性、可递归可列举集合的属性、导致对于等同计划的不完整规则、对于逻辑和证明程序的规范和Hilbert的第十问题。

The custom problem is mainly caused by: managers do not fully understand regulations and audit approach of customs, incompleteness of related laws of China, low level of local law and order, complicated file declaration process, improper internal business management.

本研究主要结：发生海关问题之主因多为经营者对法认知足、对海关稽核方式了解、大陆相关法周全、当地法制程高、报关作业程序繁琐及公司内部管当等。

The reasons that lead to the difficulties mainly are the incompleteness of the athletics policy, the grimness of the whole employment status, the lack of necessary knowledge about athletes themselves and the lag of the

导致退役运动员再就业困难的原因主要是政策的不完善、整体就业形势的严峻、运动员自身科学文化知识的匮乏和竞技体育体制改革的滞后。

Rough Set theory is an effective approach of imprecision, vagueness and incompleteness in classification analysis and knowledge discovery.

粗糙集理论在对不精确、不确定和不完全的数据进行分类分析和知识获取中具有突出的优势。

Rough set theory is an effective approach to imprecision, vagueness, and incompleteness in classification analysis and knowledge discovery.

粗糙集理论在对不精确、不确定和不完全的数据进行分类分析和知识获取中具有突出的优势。

In this paper, our work begins with the classification of inde- finite information presented in the first chapter and these classes include randomicity, fuzziness, non-partitionality, incomparability, incompleteness and unreliability. And the corresponding theories and methods of studying these information are simply described.

摘要本文第一章从不确定问题的定性描述出发，将不确定性信息分为了随机性不确定性信息、模糊性不确定信息、不可区分性不确定信息、不可比较性不确定性信息、不完全性不确定性信息和不可*性不确定信息，并对各种不确定信息的产生和处理方法进行了简单的概述。

And this idea improved our understanding of the Incompleteness Theorem.

这一思想方法还有助于我们理解哥德尔不完全性定理。

Incompleteness theorem that: All the mathematical representation of physical phenomena does not mean that the law itself.

不完备定理认为：所有的物理现象的数学陈述并不代表规律的本身。

The key idea of Incompleteness Theorem lies in the proof that aclass of strong subsystem of mathematics is incomplete.

真和可证的区别有两层意思：一是真和可证的命题集不是重合的，二是在形式算术中真不能作谓词而可证可以作谓词。

The paper also uses Godel's incompleteness theorem to shake the dominating position of Reductionism from logical angle.

论证了哥德尔不完备性定理从逻辑上动摇了还原论，纯粹的还原论不可能描述多元化的复杂世界。

After explaining total design of automated test system for microcircuit , the thesis introduces GPIB standard .

文章在说明了微电路模块自动测试系统的总体设计后，对GPIB标准进行了介绍。

He interceded in my behalf.

他替我说情。