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.
目前,命题模态逻辑已成为人工智能以及计算机科学等其他领域的有效工具,但谓词模态逻辑却不是。
应用推荐