Abastract: the information theory establishment, proposed the information, the information entropy concept, met the people to propose the codetheorem.
信息论理论的建立，提出了信息、信息熵的概念，接着人们提出了编码定理。
2
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和自动化定理证明，从而验证了操作系统中和运行时复杂的低级代码的安全性。
3
Demonstrates that a small amount of code verified with automated theorem proving can support an arbitrary large amount of TAL code.