本文对理论计算机科学，特别是对其在逻辑与语义方面的基本思想作了一个直观易懂的综述，旨在使上述思想能为希望在该领域开拓视野之士敞开大门。
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.
数理逻辑和计算机科学有着十分密切的关系，数理逻辑是计算理论的基础。
Mathematical logic and computer science has a very close relationship. Also, the computational theory is based on mathematical logic.
理论上来说，基于DNA的分子逻辑门是DNA计算机体系结构的产生基础和DNA计算机实现技术的硬件基础。
In theory, the molecular logic gate based on DNA is considered a fundamental unit of both DNA computer architecture and implement.
绝大部分文献资料显示，产生式理论主要应用于计算机、物理、数学等逻辑性很强的领域，很少有文献资料涉及产生式理论在化学教学中的应用。
It's indicated that productive theory is mainly used in logical fields such as computer, physics, mathematics, but it is unusually used in chemical teaching.
你对禅宗理论，数学，分形，逻辑，悖论，无穷，艺术，语言，计算机科学，物理，音乐，智力，意识和统一理论感兴趣吗？
Are you interested in zen Buddhism, math, fractals, logic, paradoxes, infinities, art, language, computer science, physics, music, intelligence, consciousness and unified theories?
现代逻辑分为递归理论，模型理论，证据理论，是密切相关的理论计算机科学。
Modern logic is divided into recursion theory, model theory, and proof theory, and is closely linked to theoretical computer science.
计算机应用于会计工作的逻辑基础问题是会计信息系统领域的根本性理论问题；
The logic foundation of computer applications in accounting is the elementary theoretic problem in the domain of AIS (Accounting Information System);
计算机应用于会计工作的逻辑基础问题是会计信息系统领域的根本性理论问题；
The logic foundation of computer applications in accounting is the elementary theoretic problem in the domain of AIS (Accounting Information System);
应用推荐