MATHEMATICAL LOGIC - перевод на Русском

• математической логике
• математическая логика
• математическую логику
• математической логики

Примеры использования Mathematical logic на Английском языке и их переводы на Русский язык

run in mathematical logic by the social structure.
выполняемом в среде математической логики социальной системой.

In mathematical logic, a theory is complete if,
В математической логике теория называется полной,

In 1928, Ackermann helped David Hilbert turn his 1917- 22 lectures on introductory mathematical logic into a text, Principles of Mathematical Logic..
В 1928 году Аккерман помогал Давиду Гильберту подготовить к публикации лекции 1917- 1922 гг. по введению в математическую логику- Основы теоретической логики нем. Grundzüge der theoretischen Logik.

he was a founder of mathematical logic and set theory, to which he contributed much notation.
он был одним из основателей математической логики и теории множеств.

In mathematical logic and computer science, the Kleene star(or Kleene operator or Kleene closure) is a unary operation, either on sets of strings or on sets of symbols or characters.
Звезда́ Кли́ни( или замыка́ние Кли́ни) в математической логике и информатике- унарная операция над множеством строк либо символов.

plunge into the world of illusion and mathematical logic.
окунуться в мир иллюзии и математической логики.

is an important limitative result in mathematical logic, the foundations of mathematics,
важный ограничивающий результат в математической логике, основаниях математики

There are also substantial connections with complexity theory, mathematical logic, the study of Lie Groups
Также она связана с теорией сложности, математической логикой, исследованием групп Ли и их дискретных подгрупп,

both have been substantially subsumed by mathematical logic in academia.
обе эти дисциплины существенно связаны с математической логикой.

geometry, mathematical logic, applications in economics, linguistics etc.).
геометрия, логика, математика, прикладная экономика, лингвистика и т. д.).

Alonzo Church mentions this notation in his classic book on mathematical logic as worthy of remark in notational systems even contrasted to Alfred Whitehead and Bertrand Russell's logical notational exposition and work in Principia Mathematica.
Алонзо Черч упоминал эту нотацию в своей классической книге по математической логике, как достойную внимания систему нотации и даже противопоставлял экспозиции логических нотаций Альфреда Уайтхеда и Бертрана Рассела в Principia Mathematica.

he claims that his findings in mathematical logic and algorithmic information theory show there are"mathematical facts that are true for no reason, that are true by accident.
что его открытия в математической логике и алгоритмической теории информации показали, что существуют математические факты, истинность которых нельзя объяснить никакой теорией.

discrete analysis, mathematical logic and theory of algorithms,
дискретный анализ, математическая логика и теория алгоритмов,

a theory of the Russian revolution, mathematical logic, a critique of evolutionism,
теории русской революции, математической логике, критики эволюционизма,

solution, mathematical logic, etc., What is the natural basis for ideological situation: gene
решение, математическая логика и т. д., то это естественное основание для принятия мировоззренческого положения:

go to its logical operations like quantum computer[14] and in mathematical logic with a well-developed, purely mental operations involving the abstract concept of zero 8.
переход на его логические операции как квантового компьютера[ 14] и на математическую логику с использованием запредельных, чисто ментальных операций с привлечением абстрактного понятием нуля 8.

if such a bound could be proven it would also imply the existence of non-polynomial bounds on certain types of Frege system in mathematical logic.
предположений о теоретической сложности, и если такие границы будут доказаны, немедленно будет следовать существование неполиномиальных границ некоторых типов систем Фреге в математической логике.

uses technical machinery from mathematical logic to augment the real number system with infinitesimal
использует технические средства из математической логики для расширения системы вещественных чисел бесконечно малыми

as a forum wherein articles would be published about the applications of techniques such as mathematical logic, engineering, statistics, etc. to the legal study and development.
of Logic in Law) в качестве площадки, где публикуются статьи о применении таких методов, как математическая логика, инженерия, статистика и т. д. для изучения и развития области права.

Leibniz with Philipp P. Wiener and mathematical logic and linguistics with Alfred Tarski.
Лейбница у Филиппа П. Винера и математическую логику и лингвистику у Альфреда Тарского.