Basic Computer Science: You'll need to know hexadecimal, binary and Boolean logic (at least!) inside out.
基本的计算机知识：你必须彻底掌握16进制，二进制，还有布尔逻辑(至少)。
Multiple-valued logic is an important branch of computer science and technology.
多值逻辑是计算机科学与技术的一个重要分支。
Propositional modal logic is now an effective tool in artificial intelligence and other areas of computer science, but predicate modal logic is not.
目前，命题模态逻辑已成为人工智能以及计算机科学等其他领域的有效工具，但谓词模态逻辑却不是。
Multiple-valued logic is an important branch of computer science.
多值逻辑是计算机科学中的一个重要学科分支。
Because the concept of bisimulations has emerged almost at the same time in computer science, modal logic and set theory, this paper attempts to give a general definition on this concept.
由于互模拟的概念几乎同时在计算机科学、模态逻辑和集合论中产生，本文试图给出一种能够刻画计算机科学、模态逻辑和集合论中互模拟概念的统一定义。
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.
本文对理论计算机科学，特别是对其在逻辑与语义方面的基本思想作了一个直观易懂的综述，旨在使上述思想能为希望在该领域开拓视野之士敞开大门。
Mathematical logic and computer science has a very close relationship. Also, the computational theory is based on mathematical logic.
数理逻辑和计算机科学有着十分密切的关系，数理逻辑是计算理论的基础。
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.
现代逻辑分为递归理论，模型理论，证据理论，是密切相关的理论计算机科学。
Based on the sufficient study on various logics in artificial intelligence and computer science, we in this project paid our main attention to the problem of model checking epistemic logic.
本项目在充分研究研究人工智能逻辑的基础上，着重对认识逻辑的模型检测问题进行研究。
Based on the sufficient study on various logics in artificial intelligence and computer science, we in this project paid our main attention to the problem of model checking epistemic logic.
本项目在充分研究研究人工智能逻辑的基础上，着重对认识逻辑的模型检测问题进行研究。
应用推荐