第八章介绍应用应用推理等价形式逻辑证明程序正确性。
Formal logic is applied to proving correctness properties of programs in Chapter 8.
本文利用线性空间笛卡儿积的思想,给出了关于上述结论的简洁的、严密的逻辑证明。
Given a simple rigorous proof for the theorem by structuring Cartesian product of linear Spaces.
然而,即使在处理抽象的数量概念的数学基础研究中,也不能达到最终逻辑证明的确定性。
However, we cannot reach the destination of certainty of logical justification ever in the foundational mathematical researches concerning the abstract digital concepts.
本文同意逻辑证明是检验现代数学真理的唯一标准,同时也讨论了逻辑证明是一种实践活动的问题。
The paper agrees that only logical proof can be criterion of modern mathematical truth, and also discusses that logical proof is an action of practice.
但回头看看,抵御这种“这次的情况很特殊,仅仅做这次应该是可以的吧”的逻辑证明是我一生中作出的最重要的决定之一。
But looking back on it, resisting the temptation whose logic was "in this extenuating circumstance, just this once, it's ok" has proven to be one of the most important decisions of my life.
针对基于SSL的安全通信模型中ssl握手协议部分在访问控制方面的缺陷,本文提出了一个基于pmi的全解决方案,并对改进设计进行了分析和BAN逻辑证明。
As for the flaws of the SSL handshake protocol part in the SSL based security communication model, the thesis proposes a PMI based solution and analyzes the design by using the BAN logic.
只有在每个逻辑步骤都由其他数学家验证之后,该证明才会被接受。
Only when each logical step has been checked by other mathematicians will the proof be accepted.
科学(和逻辑)以证明动物遭受和感觉痛苦,到科学能证明西兰花有个中枢神经系统使它们感到痛苦的时刻,我将重新评估我的饮食。
Science (and logic) has proven that animals suffer and feel pain. At such a time that science proves broccoli has a central nervous system allowing them to feel pain I will re-evaluate my diet.
凭借这是我们所确知事物的真相这一纯粹逻辑,是可以将其证明的。
We can proof it by pure logic that is the truth about the world that we know with absolute certainty.
但事实证明这些逻辑思考的例子要在计算机上实现其实并没有那么困难;所有它所需要的只是一些定义良好的规则和庞大的计算能力。
But it turned out that these examples of logical thinking are actually not so difficult for a computer to duplicate; all it takes is a few well-defined rules and a lot of computing power.
结构性失业的理论所衍生出来的某些逻辑推论很容易证明。
There are some logical implications of the structural unemployment story that are easy to test.
关于过去发生的事情会在未来发生,你能提供逻辑上的证明么?
Can you produce a logical proof that what's happened in the past will happen in the future?
他觉得没有必要不断打消自己伴侣的疑虑,因为他已经从逻辑和言辞上证明了他的感情。
He doesn't feel the need to constantly reassure his partner, because he has logically and verbally confirmed his feelings.
如果逻辑测试证明数据为false,则数据将不能通过过滤器。
If the data proves false against the logical test, it will not come through the filter.
高德的不完备定理的主要结论是,所有的逻辑体系都会存在无法证明或证伪的命题。因此,所有的逻辑体系都不“完备”。
The main conclusion of Gödel’s incompleteness theorems is that all logical systems will have statements that cannot be proven or disproven; therefore, all logical systems must be “incomplete.”
伦敦大学帝国理工学院的研究人员已经证明了他们能建立“逻辑门”,这是今日微处理器的建筑模块。
Researchers from Imperial College London have demonstrated they can build the 'logic gates' which are the building blocks of today's microprocessors.
也许这是因为他们一旦排外地使用了片断划分,单个的模型/逻辑单元就将被证明为并不方便作为发布该模型的基础。
Perhaps this is because, had they used Fragment partitioning exclusively, the single model/LU would have proven to be inconvenient as the basis for publishing the model.
但航天飞机已经被证明是一辆赶去空间站的小轿车,这是个封闭且不符合逻辑的理由。
But the space shuttle has been justified as a vehicle to reach the space station, which is a completely circular and illogical argument.
也许不太正确,但是按照逻辑上的法则,这就像我所想的那样,是布奇尔。法拉希所说的:激怒了一个议题两边的人并不能证明你“肯定是做对了”。
But as a logical principle, it's akin to what I think of, perhaps unfairly, as the Burchill Fallacy: enraging people on both sides of an issue doesn't prove you "must be doing something right".
但是为证明相关性而设计的逻辑严密的实验,未能证明食用大部分常规食品与癌症风险之间的关系。
But epidemiological studies that look for correlations have failed to show a link between eating larger portions of conventional produce and higher risks of cancer.
使用jMock和RMock将极大地减少代码中的bug,提高使用经过证明的方法测试编程逻辑的技巧。
Their use would drastically reduce bugs in code and improve your skill in using proven methods to test programming logic.
具有说服力词汇包括:证明、证据、事实和数字、研究、逻辑、尝试、安全及理由。
Power words that work well include: proof, evidence, facts and figures, research, logic, tried and tested, safe, reason.
这是一个用于一阶和逻辑方程序的自动理论证明器,用于支持语言处理中的推理。
This is an automated theorem prover for first-order and equational logic, used to support inference in language processing.
证明一个逻辑分析法能够查出根本原因是很重要的,这样客户才能够明白已经采取了哪些步骤来解决问题。
It's important to demonstrate a logical and analytical approach to verifying the root cause so the customer understands what steps have been taken to resolve the issue.
但尽管这一论证简单而明显的,却不能用句子逻辑理论证明它。
But this argument, simple and obvious as it is, cannot be proved using only the resources of sentential logic.
这并不是一个证明,这里不存在一个抽象的证明,你不可以同证明一个逻辑上的或数学上的声明一样证明月亮不是绿色奶酪做的。
This is not a proof, there is no metaphysical proof, like you can proof a statement in logic or math that the moon is not made of green cheese.
第二章详细介绍了罗素对其数学逻辑主义论题的证明。
In chapter two, how Russell proved his topic of mathematics logicism is introduced in detail.
排中律是思维的基本规律之一,它构成古典逻辑中所有证明的基础。
The law of excluded middle is one of the basic laws of thought, which underlies all demonstrations in the classical logic.
排中律是思维的基本规律之一,它构成古典逻辑中所有证明的基础。
The law of excluded middle is one of the basic laws of thought, which underlies all demonstrations in the classical logic.
应用推荐