The second inspect the two typical cases: computer proof of four-color conjecture and establishing of fractal geometry.
第二章考察了计算机在数学应用中的两个具体案例：四色猜想的计算机证明和分形几何的建立。
As proof of the amount owed to it, the hospital offered in evidence a computer printout of the services rendered to the defendant and the amounts owed for them.
为了证明所欠的款额，医院以一份为被告所服务的电脑打印件和所欠的款额作为证据。
That's not much compared to computer chips, but Tour says this tag is just a "proof of concept."
和计算机芯片相比，这算不了什么。不过图尔称，这种新标签还仅仅处于“验证设想”阶段。
Because hackers and identity thieves learn new ways to infiltrate computers everyday, it's important to make your computer as hacker - and identity theft-proof as possible.
因为黑客和身份小偷每天都会学习用新的方式去渗透电脑，所以，使你的电脑能尽可能的收集到黑客和身份小偷的证据是很重要的。
Because hackers and identity thieves learn new ways to infiltrate computers everyday, ita s important to make your computer as hacker - and identity theft-proof as possible.
因为黑客和身份小偷每天都会学习用新的方式去渗透电脑，所以，使你的电脑能尽可能的收集到黑客和身份小偷的证据是很重要的。
And, in fact, a computer program has come up with a proof that, as far as was known, nobody in the world had ever come up with before.
而实际上，电脑程序的证明方式，据目前所知，是前人们从未曾提出过的。
Before everyone panics, let's get one thing clear: the new Twitter worm is only a proof-of-concept devised by computer security researchers at Secure Science - it is not out in the wild.
在所有人恐慌之前，澄清一件事：最新的Twitter蠕虫只是由SecureScience的计算机安全人员发明的理论上可行的概念，不是在野外的虫子。
It shows that this study provides good theory proof and simple algorithm of high accuracy connecting electronic map in maritime or land over theory analysis, computer simulation and experiment.
理论分析、计算机仿真及实验表明：该项研究为结合电子地图的高精度陆上定位，以及高精度海上定位导航，提供了可靠的理论依据及简化算法。
Slow computer performance: it just takes one parasite like Proof Defender 2009 to slow your computer dramatically.
慢速计算机性能：它只是需要一个像2009年的证明后卫寄生虫缓慢电脑急剧增加。
The computer simulation of the distribution of the imaging space illumination under different parameters gives a straightforward proof of the imaging principle applied in this projection system.
经过模拟分析在不同参数条件下投影系统的空间光照度分布情况，直观地验证了上述投影系统的成像理论。
DT Part IV "program specification and proof" describes how to apply your logical understanding to a real computer science problem, the accurate description and verification of programs.
DT IV部分“程序说明书和证据”描述怎样把你的合乎逻辑的理解用于一个真正的计算机科学问题，计画的准确的描述和证实。
Modern logic is divided into recursion theory, model theory, and proof theory, and is closely linked to theoretical computer science.
现代逻辑分为递归理论，模型理论，证据理论，是密切相关的理论计算机科学。
It leads to a new way to find the non-computer-aided proof for four-color conjecture.
为四色问题的非计算机证明找到了一个新的途径。
Primary issuance of Bitcoin is determined by computer algorithms which require large amounts of computer power, to validate sequences (blocks) and proof-of-work.
初次发行比特币需要大量的计算机算法，以验证工作序列（块）和校对。
The method has been applied to proof-rending with computer for tow ancient editions of Xin Yu which are published in the Ming and Qing Dynasty. Satisfactory results have been achieved.
本方法在微机校对古籍《新语》的明朝和清朝两个版本中得到了应用，并取得了良好的效果。
This paper deals with a method of heuristic searching in proof-reading of ancient books by way of using computer.
本文讨论了用微机进行古籍校对时所采取的一种启发武搜索方法。
Computer room, program-controlled equipment room, electrical-controlled classroom, occasions that have the requirement of dust-proof and anti-static, and places need to be raised.
计算机机房、程控机房、电化教室，有防尘防静电及需要架空的场合。
Computer room, program-controlled equipment room, electrical-controlled classroom, occasions that have the requirement of dust-proof and anti-static, and places need to be raised.
计算机机房、程控机房、电化教室，有防尘防静电及需要架空的场合。
应用推荐