Математическая логика - перевод на английский язык, синонимы, произношение, примеры предложений, антонимы
математический маятник - simple pendulum
математический инструмент - maths tool
математический с плавающей запятой - floating point math
математический алгоритм - math algorithm
математический анализ - mathematical analysis
Математический мост - mathematical bridge
золотой ключик (математический конкурс) - golden key (mathematical competition)
математический аппарат - mathematical apparatus
математический расчет - mathematical calculation
механико-математический факультет МГУ - MSU Faculty of Mechanics and Mathematics
Синонимы к математический: общематематический, символический, точный, ясный
Мне кажется скорее, что логика-это формализация определенных аспектов языка, и что математика использует эту формализацию. |
It seems to me rather that logic is a formalization of certain aspects of language, and that mathematics makes use of this formalization. |
В математике вероятность, нечеткая логика, теория нечетких множеств и другие темы в значительной степени направлены на это. |
In mathematics probability, fuzzy logic, fuzzy set theory, and other topics are largely directed to this. |
Но я думаю, что эта формулировка вводит в заблуждение, предполагая, что язык, математика и логика находятся на одном уровне. |
But I think this formulation misleadingly suggests that language, mathematics, and logic are on the same level. |
Однако логика, похоже, появляется из ниоткуда в обсуждении Фила математики. |
As a result, Bacha Khan and his followers felt a sense of betrayal by both Pakistan and India. |
Трилема Мюнхгаузена, также называемая трилемой Агриппы, утверждает, что невозможно доказать какую-либо определенную истину даже в таких областях, как логика и математика. |
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. |
Комбинаторная логика и лямбда-исчисление были первоначально разработаны для достижения более четкого подхода к основам математики. |
Combinatory logic and lambda calculus were both originally developed to achieve a clearer approach to the foundations of mathematics. |
В математике не логика, а что? |
Math isn't about logic but what? |
Формируя математические основы вычислительной техники, Булева логика заложила основы информационной эпохи. |
Forming the mathematical foundations of computing, Boolean logic laid the foundations for the information age. |
Первоначальным применением булевых операций была математическая логика, где они объединяли истинностные значения, истинные или ложные, отдельных формул. |
The original application for Boolean operations was mathematical logic, where it combines the truth values, true or false, of individual formulas. |
Я не понимаю, как обратная математика может иметь отношение к утверждению, что логика второго порядка необходима для топологии и т. д. |
I fail to understand how reverse mathematics could be relevant to the claim that second order logic is needed for topology etc. |
Логика первого порядка является стандартом для формализации математики в аксиомы и изучается в основах математики. |
First-order logic is the standard for the formalization of mathematics into axioms and is studied in the foundations of mathematics. |
Он подробно показывает, как подход в синтаксических структурах восходит непосредственно к работе математического логика Эмиля поста по формализации доказательства. |
He shows in detail how the approach in Syntactic Structures goes directly back to the work of the mathematical logician Emil Post on formalizing proof. |
Он хотел изучать математику, но его семья не могла позволить себе платить за уроки. |
He wanted to study mathematics, but his family could not afford to pay for lessons. |
Ты знаешь, он вроде бы восстановился, и очень надеюсь, что это небольшое сотрясение улучшит его способности в математике. |
You know, he's made a full recovery and I'm hoping that his mild concussion will result in improved math skills. |
Хотя мне не нравилась математика, я должен был выучить логарифмы. |
Although I did not like math, I had to study logarithms. |
В математике колчан - это ориентированный граф. |
In mathematics, a quiver is a directed graph. |
Все лучше постигается квантовая математика. |
And they're understanding more about quantum mathematics. |
Я изучал математику в колледже, а в свободное время, разрабатывал алгоритм для анализа климатических данных. |
I was a math major in college, and, in my spare time, I developed an algorithm for analyzing climate data. |
Математическая команда Вейверли Хиллз убедила меня, что квадратные уравнения могут быть горячее, чем миллион Меган Фокс! |
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. |
Arithmetic is an exact science. |
|
Я не успеваю проводить математические исследования. |
I need to catch up on my maths. |
Теперь подумайте, что более вероятно: что ваш муж... математик, не имеющий никакой военной подготовки... |
Now, which is more likely? That your husband, a mathematician with no military training, is a government spy fleeing the Russians... |
В 1992 году Кумар начал преподавать математику. |
In 1992, Kumar began teaching mathematics. |
Он профессор математики в Университете Макгилла. |
He is a professor of mathematics at McGill University. |
Гильберт использовал эту речь, чтобы доказать свою веру в то, что все математические проблемы могут быть решены. |
Hilbert used the speech to argue his belief that all mathematical problems can be solved. |
В математике точечная конвергенция - это один из различных смыслов, в котором последовательность функций может сходиться к определенной функции. |
In mathematics, pointwise convergence is one of various senses in which a sequence of functions can converge to a particular function. |
Древние китайские математики не развивали аксиоматический подход, но сделали успехи в разработке алгоритмов и алгебры. |
Ancient Chinese mathematicians did not develop an axiomatic approach, but made advances in algorithm development and algebra. |
После окончания гимназии он был студентом-математиком в колледже штата Орегон с 1951 по 1953 год. |
Upon completing his gymnasium education, he was an undergraduate in mathematics at Oregon State College from 1951 to 1953. |
Ненаучные калькуляторы имеют только математические ошибки, и они просто называются ошибками. |
Non scientific calculators only have math errors, and these are just referred to as errors. |
Венгрия была домом для некоторых из самых выдающихся исследователей в различных научных дисциплинах, в частности, физики, математики, химии и инженерии. |
Hungary has been the home of some of the most prominent researchers in various scientific disciplines, notably physics, mathematics, chemistry and engineering. |
Акцент будет сделан на исследованиях, производстве знаний и опросе, а не только на математике и запоминании. |
Emphasis will be made on research, knowledge production and questioning instead of math and memorizing alone. |
Экзотерические шутки понятны посторонним, и большинство из них сравнивают математиков с представителями других дисциплин или с простыми людьми. |
Exoteric jokes are intelligible to the outsiders, and most of them compare mathematicians with representatives of other disciplines or with common folk. |
Кумар был удостоен престижной премии Рамануджан по математике на восьмом Национальном математическом конгрессе в функции в Раджкоте. |
Kumar was conferred with the prestigious Ramanujan Mathematics Award at the Eighth National Mathematics Convention at function in Rajkot. |
Конкурс выиграл румынский эмигрант, математик, а ныне композитор, актер и поэт Владимир Радиан, приехавший в Канаду в 1980-х годах. |
The contest was won by Romanian immigrant, mathematician, and now a songwriter, actor and poet, Vladimir Radian, who came to Canada in the 1980s. |
Парадоксы Зенона озадачивали, ставили под сомнение, влияли, вдохновляли, приводили в ярость и забавляли философов, математиков и физиков на протяжении более двух тысячелетий. |
Zeno's paradoxes have puzzled, challenged, influenced, inspired, infuriated, and amused philosophers, mathematicians, and physicists for over two millennia. |
В математике теорема Пифагора, также известная как теорема Пифагора, является фундаментальным соотношением в евклидовой геометрии между тремя сторонами прямоугольного треугольника. |
In mathematics, the Pythagorean theorem, also known as Pythagoras' theorem, is a fundamental relation in Euclidean geometry among the three sides of a right triangle. |
Тест PISA на математическую грамотность предлагает студентам применить свои математические знания для решения задач, поставленных в реальных контекстах. |
The PISA mathematics literacy test asks students to apply their mathematical knowledge to solve problems set in real-world contexts. |
Они названы в честь французского математика Жерминаля Пьера Данделена, хотя Адольфу Кетле иногда приписывают и частичную заслугу. |
They are named in honor of the French mathematician Germinal Pierre Dandelin, though Adolphe Quetelet is sometimes given partial credit as well. |
Математически первый вектор является ортогональной, или наименьшими квадратами, проекцией вектора данных на подпространство, охватываемое вектором 1. |
Mathematically, the first vector is the orthogonal, or least-squares, projection of the data vector onto the subspace spanned by the vector of 1's. |
Она получила образование в Ноттинг-Хиллской средней школе в Лондоне, а в 1898 году она выиграла выставку в Гиртон-колледж, Кембридж, чтобы читать математику. |
She was educated at Notting Hill High School in London, and in 1898 she won an exhibition to Girton College, Cambridge to read mathematics. |
Апериодические тилинги были открыты математиками в начале 1960-х годов, и примерно двадцать лет спустя они были найдены применимыми к изучению естественных квазикристаллов. |
Aperiodic tilings were discovered by mathematicians in the early 1960s, and, some twenty years later, they were found to apply to the study of natural quasicrystals. |
Ренессанс считается фактическим возрождением идей, где математика, философия, астрономия и физика были в некотором смысле заново открыты. |
The renaissance is considered the actual rebirth of the ideas, where mathematics, philosophy, astronomy, and physics were all being rediscovered in a sense. |
В 1987 году он получил степень магистра искусств по математике, также из колледжа Христа. |
In 1987, he obtained a Master of Arts in mathematics, also from Christ's College. |
Его попытка подкрепить аксиоматизированную математику определенными принципами, которые могли бы устранить теоретическую неопределенность, закончилась неудачей. |
His attempt to support axiomatized mathematics with definitive principles, which could banish theoretical uncertainties, ended in failure. |
В математике многоугольное число-это число, представленное в виде точек или камешков, расположенных в форме правильного многоугольника. |
In mathematics, a polygonal number is a number represented as dots or pebbles arranged in the shape of a regular polygon. |
Современный зоотроп был изобретен в 1833 году британским математиком Уильямом Джорджем Хорнером и популяризирован в 1860-х годах. |
The modern zoetrope was invented in 1833 by British mathematician William George Horner and was popularized in the 1860s. |
Рекурсивная логика может иметь логические последствия. |
Recursive logic can have logical consequences. |
Они общаются и обсуждают академию, математику и головоломки. |
They socialize and discuss academia, mathematics, and puzzles. |
Та же логика применима и для 50,1%, 50.01%, 50.001% и т. д. |
The same logic applies for 50.1%, 50.01%, 50.001%, etc. |
В 1991 году Тиллинг получил степень бакалавра первого класса с отличием по математике в Университете Уорика. |
In 1991, Tilling received a first-class BSc with honours in mathematics from the University of Warwick. |
Логика набора и побитовые операции здесь абсолютно ни при чем. |
Set logic and bitwise operations have absolutely nothing to do with anything here. |
Я просто отменил это изменение, поскольку думал, что мы установили консенсус для текущего форматирования, то есть для латексных формул, а не для встроенной математики. |
I just undid this change as I thought we had established a consensus for the current formatting, i.e. for LaTeX formulae not inline math. |
Успокоенный воинами, математик признает, что он не может отменить то, что уже произошло, и сознательно рассеивает свой эффект. |
Comforted by the Warriors, Mathemanic accepts that he cannot undo what has already happened and consciously dispels his effect. |
Это также может быть проблема, относящаяся к самой природе математики, например парадокс Рассела. |
It can also be a problem referring to the nature of mathematics itself, such as Russell's Paradox. |
В средней школе Клинтона Басс был избран вице-президентом своего младшего класса и сказал, что он хорошо справляется с математикой и естественными науками. |
At Clinton High School, Bass was elected vice president of his junior class and has said that he performed well in math and science. |
Если эта логика применима в ирландском языке, то разве она не должна применяться в английском или наоборот? |
If this logic applies in Irish, shouldn't it apply in english or vice-versa. |
Предлагаем Вашему вниманию современный англо-русский и русско-английский словарь EnglishLib, в котором содержиться более 2 000 000 слов и фраз. На этой странице содержится полезная информации о фразе «математическая логика».
А именно, здесь можно найти перевод (значение) «математическая логика» на английском языке, синонимы, антонимы, краткое определение слов: математическая, логика . Также, к фразе «математическая логика» представлено грамотно составленные примеры предложений для лучшего восприятия слова в контексте.