本文对理论计算机科学，特别是对其在逻辑与语义方面的基本思想作了一个直观易懂的综述，旨在使上述思想能为希望在该领域开拓视野之士敞开大门。
This paper provides an intuitive and easily understandable overview of some fundamental ideas in the area of theoretical computer science, especially those related to logic and semantics.
近年来，逻辑中语义的思想与方法在理论计算机科学的许多分支中的渗透与应用，已愈来愈受重视。
In recent years semantic ideas and methods have been emphasized in many branches of theoretical computer science.
由于冯。诺依曼式计算机的理论基础是数理逻辑，现今的计算机处理数理问题无比成功。
Due to the rationale of Von Neumann computer are based on mathematical logic, it did a wonderful job when dealing with mathematics problem.
应用推荐