Книга по математической логике - перевод на английский язык, синонимы, произношение, примеры предложений, антонимы
поваренная книга - cookbook
обрядовая церковная книга - processional
дневная книга - day book
книга в твердом переплете - hardcover book
книга о заселении исландии - book on the settlement of Iceland
книга узлов - The Ashley book of knots
книга цветов - color Books
книга инвойсов - invoice book
книга записи акций - stock register
книга учета дебиторских задолженностей - accounts receivable ledger
Синонимы к книга: труд, исследование, роман, рассказ, кодекс, том, книжка, источник знаний, издание
Антонимы к книга: телевизор, реферат, кино
Значение книга: Произведение печати в виде сброшюрованных, переплетённых листов бумаги с каким-н. текстом.
по всей поверхности - all over the surface
расположенный по всему размаху закрылок - full-span flap
отрасль разработки ПО - software development industry
турнир по бриджу - bridge tournament
бюджет по видам работ - activities budget
выражать соболезнование по поводу несчастья - commiserate a misfortune
движение солнца и планет по небесной сфере - movement of the sun and planets on the celestial sphere
по мерке - to-measure
завод по производству этанола - ethanol plant
план по управлению связями с подрядчиками - contractor relationship management plan
Синонимы к по: на, в области, по мнению, за, от, о, до, после, город
математический маятник - simple pendulum
математический тест - math test
математический сопроцессор - math coprocessor
математический элемент - math element
математический оператор - math operator
золотой ключик (математический конкурс) - golden key (mathematical competition)
математический аппарат - mathematical apparatus
математический расчет - mathematical calculation
математический кружок - mathematical circle for young students
механико-математический факультет МГУ - MSU Faculty of Mechanics and Mathematics
Синонимы к математический: общематематический, символический, точный, ясный
Существуют компьютерные языки, а также языки, используемые в математике и логике. |
There are computer languages, and languages used in mathematics and logic. |
Утверждается, что некоторые варианты теории когерентности описывают существенные и внутренние свойства формальных систем в логике и математике. |
Some variants of coherence theory are claimed to describe the essential and intrinsic properties of formal systems in logic and mathematics. |
От логики Бертрана Рассела они стремились свести математику к логике. |
From Bertrand Russell's logicism they sought reduction of mathematics to logic. |
Его применение можно найти в теоретической информатике, теоретической лингвистике, формальной семантике, математической логике и других областях. |
Its applications are found in theoretical computer science, theoretical linguistics, formal semantics, mathematical logic, and other areas. |
В начале своей карьеры Уайтхед писал в основном о математике, логике и физике. |
In his early career Whitehead wrote primarily on mathematics, logic, and physics. |
В математике и логике пустая истина-это условное или универсальное утверждение, которое истинно только потому, что предшествующее не может быть удовлетворено. |
In mathematics and logic, a vacuous truth is a conditional or universal statement that is only true because the antecedent cannot be satisfied. |
Термины синтез и анализ используются в математике в более особом смысле, чем в логике. |
The terms synthesis and analysis are used in mathematics in a more special sense than in logic. |
Изучение самореференции привело к важным достижениям в логике и математике в XX веке. |
The study of self-reference led to important developments in logic and mathematics in the twentieth century. |
В современной математической логике сигнатура меняется в зависимости от применения. |
In contemporary mathematical logic, the signature varies by application. |
Я был недоволен этим утром, увидев, что форматирование рефератов в математической логике полностью изменилось. |
I was unhappy this morning to see that the formatting of the refs at Mathematical logic had completely changed. |
В логике и математике необходимость и достаточность-это термины, используемые для описания условной или импликационной связи между двумя утверждениями. |
In logic and mathematics, necessity and sufficiency are terms used to describe a conditional or implicational relationship between two statements. |
Форма теорий изучается формально в математической логике, особенно в теории моделей. |
The form of theories is studied formally in mathematical logic, especially in model theory. |
В математической логике это часто делается в терминах теории моделей. |
In mathematical logic, this is often done in terms of model theory. |
В математической логике формальная теория - это набор предложений, выраженных на формальном языке. |
In mathematical logic, a formal theory is a set of sentences expressed in a formal language. |
Его интеллектуальные корни лежат в искусственном интеллекте, математической логике и психологии развития. |
Its intellectual roots are in artificial intelligence, mathematical logic and developmental psychology. |
Критический рационалист Ганс Альберт утверждает, что невозможно с уверенностью доказать какую-либо истину, даже в логике и математике. |
The critical rationalist Hans Albert argues that it is impossible to prove any truth with certainty, even in logic and mathematics. |
Например, в символической логике и математической логике доказательства людей могут быть получены с помощью компьютера. |
For example, in symbolic logic and mathematical logic, proofs by humans can be computer-assisted. |
Секция математики говорила таким тоном, как будто пыталась оправдать красоту математики. |
→ The Mathematics section had a tone as if it were trying to justify the beauty in math. |
Я размышлял о том, что ждёт меня впереди... и как лучше взяться за математику. |
I was thinking about what pictures to watch, and how to discover the charms of mathematics. |
Ты знаешь, он вроде бы восстановился, и очень надеюсь, что это небольшое сотрясение улучшит его способности в математике. |
You know, he's made a full recovery and I'm hoping that his mild concussion will result in improved math skills. |
Атомы образуют то, что математики называют «частично упорядоченным множеством», ряд, в котором каждый элемент связан с прилегающим к нему элементом в определенной последовательности. |
The atoms form what mathematicians call a “partially ordered set” — an array in which each element is linked to an adjacent element in a particular sequence. |
Сидящий в последнем ряду длинноногий математик Стетнер поднимает руку.— Это число PHI. — Произносит он его как фи-и. |
A long-legged math major in back raised his hand. That's the number PHI. He pronounced it fee. |
Мы рассчитываем математику, необходимую для запуска и приземления в космической программе. |
We calculate the mathematics necessary to enable launch and landing for the Space Program. |
И великие математики, например, Эрдёш и другие венгерские математики, давно пытаются найти последовательность, до сих пор компьютеры сражаются, пытаясь найти её. |
And great mathematicians like Erdos, the great Hungarian mathematicians, have always tried to find some system behind it and, to this day, computers are battling away trying to find it. |
Математическая команда Вейверли Хиллз убедила меня, что квадратные уравнения могут быть горячее, чем миллион Меган Фокс! |
The Waverly Hills math team made me realize that quadratic equations are hotter than a million Megan Foxes. |
Трудолюбию, честности и куче математики, которая мне не пригодилась. |
Hard work, integrity, a lot of math I'll never use. |
Если честно, мои навыки в математике заканчиваются на подсчете чаевых, так что... |
To be honest, my higher math ends at calculating my tip, so... |
Математик или мудрец дадут вам неправильный ответ. |
A mathematician or a wit would give you the wrong answer. |
В математику термин введен в семнадцатом веке, Джоном Уоллисом. |
Introduced into mathematics in the mid 17th century by John Wallis. |
Мы верим, что всё в этом мире можно объяснить математически. И для нас важен принцип равноценного обмена в алхимии. |
We think of the world's composition as something which can be mathematically determined, ...and have high regard for the equivalent exchange of alchemy. |
Я опубликовал книгу с математическими головоломками. и,..довольно скоро получил от Ноя и-мэйл. |
I published a book of number puzzles, and, uh, shortly after, Noah e-mailed me. |
Нам пришлось ждать, пока мир повзрослеет, пока информационный век станет достаточно быстрым, чтобы мы могли в массовом масштабе производить математические вычисления. |
Well, we had to wait until the world grew up, until the information age became fast enough so we could crunch the numbers on a massive scale. |
Я не успеваю проводить математические исследования. |
I need to catch up on my maths. |
Он плохо учится, потому что изучать у вас математику - все равно что смотреть, как сохнет краска. |
He's never quite there 'because your maths class is like watching paint dry. |
Теперь подумайте, что более вероятно: что ваш муж... математик, не имеющий никакой военной подготовки... |
Now, which is more likely? That your husband, a mathematician with no military training, is a government spy fleeing the Russians... |
Но в наши дни любой студент-математик знает название полей, содержащих конечное число элементов. |
But nowdays, any student in Mathematics, knows the name of fields containing a finite number of elements. |
Если бы вы могли вычислить объем жира, вы могли бы сделать математику объема, но мне кажется, что легче рассмотреть вес. |
If you could figure out the fat volume, you might be able to do volume math, but it seems easier to me to consider weight. |
Он просто немного разрознен, немного труден для понимания и не имеет достаточной математики относительно раздела размерной аналогии. |
It's just a bit disjointed, a bit difficult to follow, and has not enough maths relative to the dimensional analogy section. |
Многие классы задач выпуклой оптимизации допускают алгоритмы полиномиального времени, тогда как математическая оптимизация в целом является NP-жесткой. |
Many classes of convex optimization problems admit polynomial-time algorithms, whereas mathematical optimization is in general NP-hard. |
Это проявилось в его попытке использовать математические концепции для решения психологических проблем. |
It emerged in his attempt to use mathematical concepts to deal with psychological problems. |
Чжоуби суаньцзин, написанный в форме диалога и с регулярно представляемыми проблемами, посвящен применению математики к астрономии. |
The Zhoubi suanjing, written in dialogue form and with regularly presented problems, is concerned with the application of mathematics to astronomy. |
Таким образом, синтаксическое правило APL отличается от того, что преподается в математике, где, например, умножение выполняется перед сложением в порядке операций. |
APL's syntax rule is therefore different from what is taught in mathematics where, for example multiplication is performed before addition, under order of operations. |
Польский народ внес значительный вклад в развитие науки, техники и математики. |
The Polish people have made considerable contributions in the fields of science, technology and mathematics. |
Каждый год присуждались тысячи новых докторских степеней по математике, и рабочие места были доступны как в преподавании, так и в промышленности. |
Every year, thousands of new Ph.D.s in mathematics were awarded, and jobs were available in both teaching and industry. |
I worked very hard on this article, to make it brilliant. |
|
Впервые он был описан математически Джоном Мейнардом Смитом. |
It was first described mathematically by John Maynard Smith. |
Эти теоремы были доказаны Куртом Геделем в 1931 году и имеют важное значение в философии математики. |
The theorems were proven by Kurt Gödel in 1931, and are important in the philosophy of mathematics. |
Сохранившиеся карты средневекового периода не были сделаны в соответствии с математическими принципами. |
Surviving maps from the medieval period were not done according to mathematical principles. |
В 1847 году Тиндалл решил стать преподавателем математики и геодезии в Квинвудском колледже, школе-интернате в Хэмпшире. |
In 1847 Tyndall opted to become a mathematics and surveying teacher at Queenwood College, a boarding school in Hampshire. |
Это транслитерация восклицания, приписываемого древнегреческому математику и изобретателю Архимеду. |
It is a transliteration of an exclamation attributed to Ancient Greek mathematician and inventor Archimedes. |
Религия ислама не включает в себя математику, здесь нет никакой связи. |
The religion of Islam does not include math, there is no connection. |
Наблюдаемость и управляемость системы - это математические двойники. |
The observability and controllability of a system are mathematical duals. |
Задача наименьшего круга была первоначально предложена английским математиком Джеймсом Джозефом Сильвестром в 1857 году. |
The smallest-circle problem was initially proposed by the English mathematician James Joseph Sylvester in 1857. |
В 1803 году математик Лазар Карно опубликовал работу под названием фундаментальные принципы равновесия и движения. |
In 1803, mathematician Lazare Carnot published a work entitled Fundamental Principles of Equilibrium and Movement. |
Он был математическим вундеркиндом, но в 1969 году оставил свою академическую карьеру, чтобы вести более примитивный образ жизни. |
He was a mathematics prodigy, but he abandoned his academic career in 1969 to pursue a more primitive lifestyle. |
Это представлено математически путем присвоения морской поверхности коэффициента отражения минус 1 вместо плюс одного. |
This is represented mathematically by assigning a reflection coefficient of minus 1 instead of plus one to the sea surface. |
Практическая математика была человеческой деятельностью еще с тех времен, когда существовали письменные записи. |
Practical mathematics has been a human activity from as far back as written records exist. |
Многие известные математики этого периода были персидскими учеными, такими как Аль-Хорезми, Омар Хайям и Шараф аль-Дин аль-Туси. |
Many notable mathematicians from this period were Persian, such as Al-Khwarismi, Omar Khayyam and Sharaf al-Dīn al-Ṭūsī. |
Бактериология изменила лицо медицинских проблем, и статистика стала все более математическим инструментом. |
Bacteriology had changed the face of the medical issues, and statistics became an increasingly mathematic tool. |
Предлагаем Вашему вниманию современный англо-русский и русско-английский словарь EnglishLib, в котором содержиться более 2 000 000 слов и фраз. На этой странице содержится полезная информации о фразе «книга по математической логике».
А именно, здесь можно найти перевод (значение) «книга по математической логике» на английском языке, синонимы, антонимы, краткое определение слов: книга, по, математической, логике . Также, к фразе «книга по математической логике» представлено грамотно составленные примеры предложений для лучшего восприятия слова в контексте.
