| 词汇 | collocation_english_logic |
| 释义 | Collocations with logicThese are words often used in combination with logic. Click on a collocation to see more examples of it. basic logic The basic logic of this approach is as follows. boolean logic Backjumping for quantified boolean logic satisfiability. certain logic The sparsity of resources within a mobile animal's domain compels a certain logic, one that all energy-consuming autonomous agents must follow. classical logic Unlike in classical logic, we have no reason to expect that possible truth would be definable propositionally in terms of necessary truth. deductive logic On this program, the axioms of arithmetic were theorems of deductive logic and thus regarded as known by inference from the axioms of logic. first-order logic The majority of the work in knowledge discovery via evolutionary computation has used various restricted forms of first-order logic as a hypothesis language. formal logic Let us move to formal logic. inductive logic Learning semantic grammars with constructive inductive logic programming. inexorable logic The social scientific explanation describes anonymous structural forces, the "resource curse" of the "rentier state," and how these have shaped politics and markets with their inexorable logic. informal logic One surprise for informal logic is that the technique of argument diagramming was not invented within the recent research in informal logic and argumentation theory. inner logic An inner logic, elusive and yet compelling, lends an unexpected substance to this work of modest dimensions. internal logic Then g =.() fold f holds in the internal logic. linear logic The linear logic rule that combines the two premises is implication elimination. logic controller Results show that the fuzzy logic controller is effective in controlling the leg machine. logic function Thus, in the above example, the logic function simplifies to the exclusive 'or' function, which is the negation of the equivalence. logic programming Unlike most of these previous works on abduction in the logic programming framework, in this paper we study abduction with penalization from logic programs. modal logic In this paper we have also shown how lax logic can be embedded naturally in modal logic with necessity and possibility. perverse logic It is unable to get away from the perverse logic of national contributions and step up the debate. From Europarl Parallel Corpus - English programmable logic The control store on some minicomputers was one or more programmable logic array chips. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. propositional logic This calculus has a notion of type assignment that corresponds nicely to implicational propositional logic, in the framework of natural deduction. pure logic As a matter of pure logic, this does not follow. quantum logic All the axioms and rules of traditional quantum logic are satisfied by our testable formulas. sound logic I submit that that is sound logic, and it is an absolutely precise test. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 strict logic We were to a certain extent, in relation to close corporations, departing only from the strict logic of the original proposals. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 structural logic That this element has a more than structural, utilitarian, profane role, is underlined by it being asymmetrical when structural logic would demand symmetry. symbolic logic Philosophy best advanced through the study of the then-new symbolic logic and of the sciences most subject to mathematical representation. temporal logic We accomplish automated verification using a temporal logic and model-checking techniques, allowing us to reuse existing algorithms and results for trace effect verification. underlying logic It is motivated by applications to legal disputes, reflected by is its underlying logic, which was especially developed for modelling legal reasoning. These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors. |
反思网英语在线翻译词典收录了377474条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。