Abastract: the information theory establishment, proposed the information, the information entropy concept, met the people to propose the code theorem.
信息论理论的建立，提出了信息、信息熵的概念，接着人们提出了编码定理。
Demonstration of automated techniques, TAL and automated theorem proving, to verify the safety of the complex low-level code in the operating system and run-time.
它演示了自动化技术、TAL和自动化定理证明，从而验证了操作系统中和运行时复杂的低级代码的安全性。
Demonstrates that a small amount of code verified with automated theorem proving can support an arbitrary large amount of TAL code.
它演示了少量带有自动化定理证明功能，经过验证的代码它能够支持任意数量的TAL代码。
Publishing the source code of a program is the equivalent of publishing the proof of a theorem.
公布一个程序的源代码与公布一个定理的证明是一样的。
Such as the establishment of the safe absolute quantum code system, based on the quantum no-cloning theorem which forbids the quantum information be copied as the classical information.
又如，量子不可克隆定理使得量子信息不能像经典信息那样可以被任意复制，这使得人们能够建立起绝对安全的量子密码系统。
Such as the establishment of the safe absolute quantum code system, based on the quantum no-cloning theorem which forbids the quantum information be copied as the classical information.
又如，量子不可克隆定理使得量子信息不能像经典信息那样可以被任意复制，这使得人们能够建立起绝对安全的量子密码系统。
应用推荐