您要查找的是不是:
- New styles of computer logic in turn force new questions and new perspectives from us. 新型的计算机逻辑反过来在我们身上强行获取了新疑问和新观点。
- Word processor: Machine using computer logic to accept, store and retrieve documents for subsequent editing and output in typewriter style. 文字处理机:用电脑逻辑接收,贮存和提取文件,跟着作编辑和以打字款式输出的机器。
- Web-strewn diagrams of interlinked behavior modules in ethology textbooks appear to computer scientists as computer logic flow charts. 在计算机科学家的眼睛里,行为学教科书上画的那些相互关联的行为模块的网状示意图,其实就是计算机的逻辑流程图。
- This makes classical logic a special fragment of computability logic. 这使经典逻辑成为可计算性逻辑的特殊片段。
- Being semantically constructed, as yet computability logic does not have a fully developed proof theory. 正在做着语义构造,至今可计算性逻辑仍没有完全开发出证明论。
- Hence meaningful concepts of "intuitionistic truth" and "linear-logic truth" can be derived from the semantics of computability logic. 因为"直觉真理"和"线性逻辑真理"的有意义的概念可从可计算性逻辑的语义中推导出来。
- Defining what such game-playing machines mean, computability logic provides a generalization of the Church-Turing thesis to the interactive level. 定义了这种游戏扮演机器所意味的东西,可计算性逻辑在交互层面提供了邱奇-图灵论题的一般化。
- Being a conservative extension of the former, computability logic is, at the same time, by an order of magnitude more expressive, constructive and computationally meaningful. 作为前者的保守扩展的同时,可计算性逻辑有着一个数量级之上的表达力、创造性和计算意义。
- Besides classical logic, linear logic (understood in a relaxed sense) and intuitionistic logic also turn out to be natural fragments of computability logic. 除了经典逻辑之外,线性逻辑(在不严格的意义上理解)和直觉逻辑也转变成可计算性逻辑的自然片段了。
- Hard copy is computer output on paper, printing or graphics. 硬拷贝是出现在纸上、印刷上或图表上的电脑输出。
- The computer has a normal qwerty keyboard. 这台计算机有标准的英文键盘。
- They kept badgering him to get a home computer. 他们一直纠缠着要他买一台电脑。
- What's the going rate of computer programmers? 计算机程序设计人员的一般工资是多少?
- The clerks figures up the sum on a computer. 办事员用计算机算出总教。
- A slide-rule is a simple analogue computer. 计算尺是简单的模拟计算机。
- The computer disk is sent in a sealed container. 计算机软盘装在密封的盒里寄出。
- The computer has printed out the results you want. 计算机已把你所需要的计算结果印出。
- The computer has read out the results you want. 计算机已把你所需的计算结果读出。
- All our information is up to date on the computer. 我们计算机上的信息都是最新的。
- The computer is more expensive than the typewriter. 这部电脑比这部打字机更贵。