| 单词 | mathematical logic |
| 释义 | BETA Examples ofmathematical logicDictionary> Examples ofmathematical logic mathematical logicisn’t in the Cambridge Dictionary yet. You can help! Add a definition In economics, historical methods of inquiry were yielding to a powerful new reformulation of the neoclassical tradition in the language ofmathematicallogicand set theory. From theCambridge English Corpus Computability theory is central to large areas of theoretical computer science andmathematicallogic. From theCambridge English Corpus Unlike other parts ofmathematicallogic, and for a variety of reasons, the number of researchers of the area of nonmonotonic logic was (and may still be) immense. From theCambridge English Corpus Philosophical inquiries bedeviled by both skepticism andmathematicallogichave been impossible quests for purity, for boundaries which are absolute and categories that are neatly defined. From theCambridge English Corpus Mathematicallogicis sometimes useful for rational thought, but it is not the whole of rational thought or its criterion of adequacy. From theCambridge English Corpus These relationships can never be grasped as merely causal, obeying some clear principle ofmathematicallogic. From theCambridge English Corpus Resemblance tomathematicallogicin itself however does not suggest a purpose for formality. From theCambridge English Corpus His research interests are in artificial intelligence, as well as inmathematicallogic, group theory, and linear algebra. From theCambridge English Corpus In addition, evolution is certainly is not guided bymathematicallogic. From theCambridge English Corpus So, this is indeed mostly amathematicallogictext, but an interdisciplinary one. From theCambridge English Corpus The axioms were statements formulated in a first-ordermathematicallogicwith identity, and they were thought to establish properties about the so-called 'theoretical terms'. From theCambridge English Corpus The distance of the intellectual tourist was nowhere evident in his early work inmathematicallogicand the philosophy of mathematics. From theCambridge English Corpus In the last couple of years a number of excellent textbooks onmathematicallogicfor computer science students have appeared. From theCambridge English Corpus At times, formality in ontologies seems to mean the degree to which the ontology resemblesmathematicallogic. From theCambridge English Corpus In the discipline ofmathematicallogic, this is usually referred to simply as a ' 'theory' '. From theCambridge English Corpus The basic idea of theorem provers is to provide computer support for proving statements within somemathematicallogic. From theCambridge English Corpus A logic program embodies a formulation of themathematicallogicbehind a problem. From theCambridge English Corpus I believe that this is a major accomplishment that computer scientists have made to the field ofmathematicallogic. From theCambridge English Corpus 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. |
| 随便看 |
|
英汉词典包含213609条英汉翻译词条，涵盖了常用英语单词及词组短语的翻译及用法，是英语学习的必备工具。