mathematical logic

collocation in English

meanings of mathematicaland logic

These words are often used together. Click on the links below to explore the meanings.
mathematical
adjective
uk /ˌmæθ.əmˈæt.ɪ.kəl/ us /ˌmæθˈmæt̬.ɪ.kəl/
relating ...
See more at mathematical
logic
noun[ U ]
uk /ˈlɒdʒ.ɪk/ us /ˈlɑː.dʒɪk/
a particular way of thinking, especially one that is reasonable and based on ...
See more at logic

Examples of mathematical logic

mathematical logic
In economics, historical methods of inquiry were yielding to a powerful new reformulation of the neoclassical tradition in the language of mathematicallogic and set theory.
Computability theory is central to large areas of theoretical computer science and mathematicallogic.
Unlike other parts of mathematicallogic, and for a variety of reasons, the number of researchers of the area of nonmonotonic logic was (and may still be) immense.
Philosophical inquiries bedeviled by both skepticism and mathematicallogic have been impossible quests for purity, for boundaries which are absolute and categories that are neatly defined.
Mathematicallogic is sometimes useful for rational thought, but it is not the whole of rational thought or its criterion of adequacy.
These relationships can never be grasped as merely causal, obeying some clear principle of mathematicallogic.
Resemblance to mathematicallogic in itself however does not suggest a purpose for formality.
His research interests are in artificial intelligence, as well as in mathematicallogic, group theory, and linear algebra.
In addition, evolution is certainly is not guided by mathematicallogic.
So, this is indeed mostly a mathematicallogic text, but an interdisciplinary one.
The axioms were statements formulated in a first-order mathematicallogic with identity, and they were thought to establish properties about the so-called 'theoretical terms'.
The distance of the intellectual tourist was nowhere evident in his early work in mathematicallogic and the philosophy of mathematics.
In the last couple of years a number of excellent textbooks on mathematicallogic for computer science students have appeared.
At times, formality in ontologies seems to mean the degree to which the ontology resembles mathematicallogic.
In the discipline of mathematicallogic, this is usually referred to simply as a ' 'theory' '.
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条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。