Book on mathematical logic - перевод, синонимы, произношение, примеры предложений, антонимы, транскрипция
noun: книга, книжка, журнал, книжечка, том, текст, часть, литературное произведение, сценарий, библия
adjective: книжный
verb: заказывать, зарегистрировать, заносить в книгу, ангажировать, вносить в книгу, регистрировать, брать, брать билет, принимать заказы на билеты, выдавать билет
in my book - в моей книге
prayer book - молитвенник
cash-book - кассовая книга
ragged old book - старая истрепанная книга
quarto book - книга в формате кварто
book salesman - книготорговец
book smasher - переплетный пресс
arrivals book - книга поступлений
local phone book - локальная телефонная книга
service book - сервисная книжка
Синонимы к book: volume, storybook, title, novel, tome, anthology, pocket book, manual, e-book, hardback
Антонимы к book: exonerate, cancel, free, let-go, bow-out
Значение book: a written or printed work consisting of pages glued or sewn together along one side and bound in covers.
preposition: на, по, о, в, об, относительно, за, из, у, после
adverb: согласно
adjective: желающий принять участие, знающий тайну или секрет, удачный, хороший
noun: левая сторона
build on - основываться на
glue on - приклеивать
reliance on - опора на
war on want - организация Война нужде
run up on - подходить
international council on monuments and sites - Международный совет по охране памятников и исторических мест
on the open sea - в открытом море
earliest 16th century monasteries on the slopes of popocatepetl - монастырь начала 16 в. на склоне вулкана Попокатепетль
to set on fire - поджечь
carry on the back - носить на спине
Синонимы к on: resting on, touching the (upper) surface of, supported by, resting atop, to the (upper) surface, on to, so as to be resting on, onto, along, in operation
Антонимы к on: underneath, off, under, below
Значение on: physically in contact with and supported by (a surface).
mathematical statement - математическая формулировка
master of mathematical finance - магистр финансовой математики
mathematical calculation - математическое вычисление
mathematical constant - математическая константа
mathematical economics - математическая экономика
mathematical equation - математическое уравнение
mathematical equipment - математическое оборудование
mathematical evidence - достоверное доказательство
mathematical formalization - математическая формализация
simple mathematical model - простая математическая модель
Синонимы к mathematical: geometric, trigonometric, arithmetical, algebraic, statistical, numerical, punctilious, meticulous, accurate, scientific
Антонимы к mathematical: verbal, inexact, questionable, amorphous, analogue, false, impossible, random, aimless, approximate
Значение mathematical: of or relating to mathematics.
diode logic - диодная логика
ground logic controller - наземный логический контроллер
discrete logic gate - дискретный логический элемент
logic module - логический модуль
informal logic - неформальная логика
transceiver logic - трансиверная логика
decision-making logic - решающая логика
multiple valued logic - многозначная логика
adaptive logic circuit - адаптивная логическая схема
logic gates - логические ворота
Синонимы к logic: good sense, common sense, logical thought, sense, judgment, sanity, reason, wisdom, rationality, horse sense
Антонимы к logic: foolishness, folly, play pool, madness, silliness, craziness, dullness, ignorance, incompetence, muddle
Значение logic: reasoning conducted or assessed according to strict principles of validity.
I fail to understand how reverse mathematics could be relevant to the claim that second order logic is needed for topology etc. |
Я не понимаю, как обратная математика может иметь отношение к утверждению, что логика второго порядка необходима для топологии и т. д. |
He was particularly prolific in the fields of metaphysics, logic and the philosophy of mathematics, the philosophy of language, ethics and epistemology. |
Он был особенно плодовит в области метафизики, логики и философии математики, философии языка, этики и эпистемологии. |
But I think this formulation misleadingly suggests that language, mathematics, and logic are on the same level. |
Но я думаю, что эта формулировка вводит в заблуждение, предполагая, что язык, математика и логика находятся на одном уровне. |
From Bertrand Russell's logicism they sought reduction of mathematics to logic. |
От логики Бертрана Рассела они стремились свести математику к логике. |
Blemmydes studied medicine, philosophy, theology, mathematics, astronomy, logic, and rhetoric. |
Блеммидес изучал медицину, философию, теологию, математику, астрономию, логику и риторику. |
This was a sequel to the Hilbert-Ackermann book Principles of Mathematical Logic from 1928. |
Это было продолжение книги Гильберта-Акермана принципы математической логики от 1928 года. |
Appeals and analogies are sometimes made to the incompleteness theorems in support of arguments that go beyond mathematics and logic. |
Апелляции и аналогии иногда делаются к теоремам неполноты в поддержку аргументов, выходящих за пределы математики и логики. |
Counting set theory as a part of mathematical logic I have kept set theoriticians on the list. |
Считая теорию множеств частью математической логики, я оставил теоретиков множеств в этом списке. |
While the roots of formalised logic go back to Aristotle, the end of the 19th and early 20th centuries saw the development of modern logic and formalised mathematics. |
В то время как корни формализованной логики восходят к Аристотелю, конец XIX-начало XX веков ознаменовались развитием современной логики и формализованной математики. |
The study of self-reference led to important developments in logic and mathematics in the twentieth century. |
Изучение самореференции привело к важным достижениям в логике и математике в XX веке. |
Логику... ..и математику и как впасть в депрессию. |
|
In 1854, British mathematician George Boole published a landmark paper detailing an algebraic system of logic that would become known as Boolean algebra. |
В 1854 году британский математик Джордж Буль опубликовал эпохальную работу, в которой подробно описал алгебраическую систему логики, ставшую известной как булева алгебра. |
Proofs employ logic expressed in mathematical symbols, along with natural language which usually admits some ambiguity. |
Доказательства используют логику, выраженную в математических символах, наряду с естественным языком, который обычно допускает некоторую двусмысленность. |
The University of Vienna hosts the Kurt Gödel Research Center for Mathematical Logic. |
В Венском университете находится исследовательский центр математической логики имени Курта Геделя. |
Hilbert is known as one of the founders of proof theory and mathematical logic. |
Гильберт известен как один из основоположников теории доказательств и математической логики. |
Nowadays engineers, statisticians and programmers often represent fuzzy concepts mathematically, using fuzzy logic, fuzzy values, fuzzy variables and fuzzy sets. |
В настоящее время инженеры, статистики и программисты часто представляют нечеткие понятия математически, используя нечеткую логику, нечеткие значения, нечеткие переменные и нечеткие множества. |
It provides the foundation of modern mathematical logic. |
Она обеспечивает основу современной математической логики. |
In order to clarify the foundations of mathematics, the fields of mathematical logic and set theory were developed. |
Для выяснения основ математики были разработаны области математической логики и теории множеств. |
In most mathematical literature, proofs are written in terms of rigorous informal logic. |
В большинстве математической литературы доказательства написаны в терминах строгой неформальной логики. |
In his early career Whitehead wrote primarily on mathematics, logic, and physics. |
В начале своей карьеры Уайтхед писал в основном о математике, логике и физике. |
Philosophical writing spans from humanistic prose to formal logic, the latter having become extremely technical to a degree similar to that of mathematics. |
Философская литература простирается от гуманистической прозы до формальной логики, причем последняя становится чрезвычайно Технической в той же степени, что и математика. |
Some variants of coherence theory are claimed to describe the essential and intrinsic properties of formal systems in logic and mathematics. |
Утверждается, что некоторые варианты теории когерентности описывают существенные и внутренние свойства формальных систем в логике и математике. |
It is a key topic of the field of computability theory within mathematical logic and the theory of computation within computer science. |
Это ключевая тема в области теории вычислимости в рамках математической логики и теории вычислений в рамках информатики. |
Its intellectual roots are in artificial intelligence, mathematical logic and developmental psychology. |
Его интеллектуальные корни лежат в искусственном интеллекте, математической логике и психологии развития. |
It seems to me rather that logic is a formalization of certain aspects of language, and that mathematics makes use of this formalization. |
Мне кажется скорее, что логика-это формализация определенных аспектов языка, и что математика использует эту формализацию. |
If Carroll is doing anything there, he's demonstrating a misuse of symbolic logic, which was one of his fields, not real mathematical principles. |
Если Кэрролл и делает что-то там, то он демонстрирует неправильное использование символической логики, которая была одной из его областей, а не реальных математических принципов. |
The Greeks used logic to derive conclusions from definitions and axioms, and used mathematical rigor to prove them. |
Греки использовали логику для вывода выводов из определений и аксиом и использовали математическую строгость для их доказательства. |
Following Harris's advice, he studied logic, philosophy, and mathematics. |
Следуя совету Гарриса, он изучал логику, философию и математику. |
With symbolic logic and Einstein's mathematics... I can conclusively prove that two and two are two. |
Используя символическую логику и математику Эйнштейна, я могу окончательно доказать это - два и два это всегда два. |
At the age of fifteen, Taney was sent to Dickinson College, where he studied ethics, logic, languages, mathematics, and other subjects. |
В возрасте пятнадцати лет Тани отправили в колледж Дикинсона, где он изучал этику, логику, языки, математику и другие предметы. |
As Von Neumann had predicted, what Price has also done was bring rationality and a clear logic of mathematics into a new field, into the heart of being human. |
Как предсказывал фон Нейман, также Прайс привнес рациональность и беспристрастную логику математики в новую область, в сердце человеческого бытия. |
Inductive logic should not be confused with mathematical induction. |
Индуктивную логику не следует путать с математической индукцией. |
First-order logic is the standard for the formalization of mathematics into axioms and is studied in the foundations of mathematics. |
Логика первого порядка является стандартом для формализации математики в аксиомы и изучается в основах математики. |
In mathematical logic, this is often done in terms of model theory. |
В математической логике это часто делается в терминах теории моделей. |
In contemporary mathematical logic, the signature varies by application. |
В современной математической логике сигнатура меняется в зависимости от применения. |
The proof of the theorem makes extensive use of methods from mathematical logic, such as model theory. |
Доказательство теоремы широко использует методы математической логики, такие как теория моделей. |
In logic and mathematics, necessity and sufficiency are terms used to describe a conditional or implicational relationship between two statements. |
В логике и математике необходимость и достаточность-это термины, используемые для описания условной или импликационной связи между двумя утверждениями. |
The Münchhausen trilemma, also called Agrippa's trilemma, purports that it is impossible to prove any certain truth even in fields such as logic and mathematics. |
Трилема Мюнхгаузена, также называемая трилемой Агриппы, утверждает, что невозможно доказать какую-либо определенную истину даже в таких областях, как логика и математика. |
In mathematical logic, a formal theory is a set of sentences expressed in a formal language. |
В математической логике формальная теория - это набор предложений, выраженных на формальном языке. |
Its applications are found in theoretical computer science, theoretical linguistics, formal semantics, mathematical logic, and other areas. |
Его применение можно найти в теоретической информатике, теоретической лингвистике, формальной семантике, математической логике и других областях. |
For example, in symbolic logic and mathematical logic, proofs by humans can be computer-assisted. |
Например, в символической логике и математической логике доказательства людей могут быть получены с помощью компьютера. |
I was unhappy this morning to see that the formatting of the refs at Mathematical logic had completely changed. |
Я был недоволен этим утром, увидев, что форматирование рефератов в математической логике полностью изменилось. |
The original application for Boolean operations was mathematical logic, where it combines the truth values, true or false, of individual formulas. |
Первоначальным применением булевых операций была математическая логика, где они объединяли истинностные значения, истинные или ложные, отдельных формул. |
There are computer languages, and languages used in mathematics and logic. |
Существуют компьютерные языки, а также языки, используемые в математике и логике. |
Combinatory logic and lambda calculus were both originally developed to achieve a clearer approach to the foundations of mathematics. |
Комбинаторная логика и лямбда-исчисление были первоначально разработаны для достижения более четкого подхода к основам математики. |
The use of computers to prove mathematical theorems using formal logic emerged as the field of automated theorem proving in the 1950s. |
Использование компьютеров для доказательства математических теорем с использованием формальной логики возникло как область автоматизированного доказательства теорем в 1950-х годах. |
Theories may be expressed mathematically, symbolically, or in common language, but are generally expected to follow principles of rational thought or logic. |
Теории могут быть выражены математически, символически или на общем языке, но обычно предполагается, что они следуют принципам рационального мышления или логики. |
The critical rationalist Hans Albert argues that it is impossible to prove any truth with certainty, even in logic and mathematics. |
Критический рационалист Ганс Альберт утверждает, что невозможно с уверенностью доказать какую-либо истину, даже в логике и математике. |
The Center for Applied Mathematics and Logic. |
Центр Прикладной Математики и Логики. |
With A. N. Whitehead he wrote Principia Mathematica, an attempt to create a logical basis for mathematics, the quintessential work of classical logic. |
Вместе с А. Н. Уайтхедом он написал Principia Mathematica, попытку создать логическую основу математики, квинтэссенцию классической логики. |
Only Muslims show a little logic in matters of male-female relations. |
Только у мусульман есть логика в отношениях мужчины и женщины. |
We had an excellent mathematician here in Yuriatin. |
Великолепный математик был у нас в Юрятине. |
Other systems of modal logic have been formulated, in part because S5 does not describe every kind of modality of interest. |
Были сформулированы и другие системы модальной логики, отчасти потому, что S5 не описывает все виды модальности, представляющие интерес. |
As such, I don't think this article adequately explains what defines second-order logic from first-order logic. |
Поэтому я не думаю, что эта статья адекватно объясняет, что определяет логику второго порядка от логики первого порядка. |
By using tri-state logic, the matrix can theoretically be expanded to any size, as long as pins are available. |
Используя логику трех состояний, матрица теоретически может быть расширена до любого размера, если имеются контакты. |
That year, he wrote the DARSIMCO language, which simplified the programming of mathematical operations. |
В том же году он написал язык ДАРСИМКО, который упростил Программирование математических операций. |
Fuzzy logic fails to scale well in knowledge bases; many AI researchers question the validity of chaining fuzzy-logic inferences. |
Нечеткая логика не может хорошо масштабироваться в базах знаний; многие исследователи ИИ сомневаются в обоснованности цепных выводов нечеткой логики. |
Nevertheless, the curve was not yet based on mathematical formulae, at least not explicitly. |
Тем не менее кривая еще не была основана на математических формулах, по крайней мере явно. |
Предлагаем Вашему вниманию современный англо-русский и русско-английский словарь EnglishLib, в котором содержиться более 2 000 000 слов и фраз. На этой странице содержится полезная информации о фразе «book on mathematical logic».
А именно, здесь можно найти перевод (значение) «book on mathematical logic» на русском языке, синонимы, антонимы, краткое определение слов: book, on, mathematical, logic , а также произношение и транскрипцию к «book on mathematical logic». Также, к фразе «book on mathematical logic» представлено грамотно составленные примеры предложений для лучшего восприятия слова в контексте.