您要查找的是不是:
- 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. 正在做着语义构造,至今可计算性逻辑仍没有完全开发出证明论。
- 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. 文字处理机:用电脑逻辑接收,贮存和提取文件,跟着作编辑和以打字款式输出的机器。
- Hence meaningful concepts of "intuitionistic truth" and "linear-logic truth" can be derived from the semantics of computability logic. 因为"直觉真理"和"线性逻辑真理"的有意义的概念可从可计算性逻辑的语义中推导出来。
- Web-strewn diagrams of interlinked behavior modules in ethology textbooks appear to computer scientists as computer logic flow charts. 在计算机科学家的眼睛里,行为学教科书上画的那些相互关联的行为模块的网状示意图,其实就是计算机的逻辑流程图。
- 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. 除了经典逻辑之外,线性逻辑(在不严格的意义上理解)和直觉逻辑也转变成可计算性逻辑的自然片段了。
- At this point your logic is at fault. 在这一点上你的推理是错误的。
- Loosely, a mathematical or logic operator. 不严格地说,一种数学或逻辑运算符。
- A practitioner of a system of logic. 逻辑学家使用某一逻辑体系的人
- There is no logic in what she says. 她讲的话没有道理。
- Socrates laid the foundations of logic. 苏格拉底奠定了逻辑学的基础。
- His thinking goes against all logic. 他的思维完全不合逻辑。
- There's no logic in spending money on things you don't need. 把钱花在不需要的东西上是没有道理的。
- As a computational facility, Undo has no merit. 作为计算机的一项功能,撤销没有什么优点。
- The number of inputs available to a given logic circuit. 扇入,输入可在逻辑电路得到的输入端数目
- He turns to computational aids for help. 他运用计算工具。
- He argues with learning and logic. 他的辩论既有学问又合逻辑。