Интуиционистская арифметика - перевод на английский язык, синонимы, произношение, примеры предложений, антонимы

Интуиционистская арифметика - перевод на английский, синонимы, антонимы, примеры в контексте
intuitionistic arithmetic
Translate
интуиционистская арифметика -

- арифметика [имя существительное]

имя существительное: arithmetic, sum, science of numbers, figure



Подсказки обычно являются арифметическими выражениями, но также могут быть подсказками общего знания, ответом на которые является число или год.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Clues are usually arithmetical expressions, but can also be general knowledge clues to which the answer is a number or year.

Вышесказанное относится к теориям первого порядка, таким как арифметика Пеано.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

The above applies to first order theories, such as Peano arithmetic.

Грейс также получала уроки музыки, рукоделия, арифметики и письма.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Grace also received lessons in music, needle-work, arithmetic and letter-writing.

Язык программирования Ambi использует польскую нотацию для арифметических операций и построения программ.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

The Ambi programming language uses Polish notation for arithmetic operations and program construction.

Понять это можно было даже быстрее, чем произвести простые арифметические выкладки.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

It could be grasped even more quickly than the problem in simple mental arithmetic could be solved.

По этой исторической оценке рынок является дорогим, а коэффициент приблизительно на 36% больше его среднего числа (среднего арифметического) 16,47.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

By this historic measure, the market is expensive, with the ratio approximately 36% above its average (arithmetic mean) of 16.5 (16.47 to two decimal places).

По математике лишь два процента из 32 тысяч учащихся набрали достаточное для «продвинутого» уровня количество баллов, и только 43% продемонстрировали «базовые знания» по алгебре, арифметике и геометрии.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

In math, only 2% of the 32,000 students scored at an “advanced” level, and only 43% demonstrated even a “basic knowledge” of algebra, calculus, and geometry.

Оптические или арифметические устройства, водяные часы, даже тот прибор, которым, возможно, сушила свои локоны супруга Жюля Верна.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Optical or arithmetical devices, water clocks... Even that hairdryer that probably dried the locks of Jules Verne's wife.

Он любил ее и он ее не предаст; но это был просто факт, известный, как известно правило арифметики.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

He loved her and would not betray her; but that was only a fact, known as he knew the rules of arithmetic.

Он пробовал различные овальные кривые, считал и считал, делал арифметические ошибки, из-за которых ускользал верный ответ.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

He tried various oval-like curves, calculated away made some arithmetical mistakes which caused him to reject the correct answer.

Вся его арифметика - считать за рефери до десяти.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

The only arithmetic he ever got was hearing the referee... count up to ten.

XOR также используется для обнаружения переполнения в результате двоичной арифметической операции со знаком.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

XOR is also used to detect an overflow in the result of a signed binary arithmetic operation.

Первый зарегистрированный случай, когда среднее арифметическое было расширено с 2 до n случаев для использования оценки, был в шестнадцатом веке.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

The first recorded time that the arithmetic mean was extended from 2 to n cases for the use of estimation was in the sixteenth century.

Это можно увидеть, интерпретируя знаменатель как среднее арифметическое произведения чисел n раз, но каждый раз опуская j-й член.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

This can be seen by interpreting the denominator to be the arithmetic mean of the product of numbers n times but each time omitting the j-th term.

Уменьшение числа оценок подынтегрального числа уменьшает число арифметических операций, а следовательно, уменьшает общую ошибку округления.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Reducing the number of evaluations of the integrand reduces the number of arithmetic operations involved, and therefore reduces the total round-off error.

Этот метод интегрирования может быть объединен с интервальной арифметикой для получения компьютерных доказательств и проверенных вычислений.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

This integration method can be combined with interval arithmetic to produce computer proofs and verified calculations.

Самая простая арифметическая операция в двоичном коде-сложение.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

The simplest arithmetic operation in binary is addition.

Поскольку неделя состоит из 7 дней, смещение должно быть в диапазоне от 0 до 6 и определяться арифметикой по модулю 7.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Since the week has 7 days, the offset must be in the range 0 to 6 and determined by modulo 7 arithmetic.

И наоборот, для генерации флагов в синхронных реализациях FIFO можно использовать либо подход с дырявым ведром, либо арифметику указателей.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Conversely, one may use either a leaky bucket approach or pointer arithmetic to generate flags in synchronous FIFO implementations.

Для конечной популяции среднее значение популяции свойства равно среднему арифметическому данного свойства при рассмотрении каждого члена популяции.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

For a finite population, the population mean of a property is equal to the arithmetic mean of the given property while considering every member of the population.

Концептуально, & и | являются арифметическими операторами, такими как * и +.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Conceptually, & and | are arithmetic operators like * and +.

В истории Китая были люди, знакомые с такими науками, как арифметика, геометрия, механика, оптика, навигация и астрономия.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

In the history of the Chinese, there were those who were familiar with the sciences of arithmetic, geometry, mechanics, optics, navigation, and astronomy.

- основы арифметики известны уже довольно давно.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

—basic arithmetic has been known for quite some time.

Однако пересечение бесконечно многих бесконечных арифметических прогрессий может быть единственным числом, а не само по себе быть бесконечной прогрессией.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

However, the intersection of infinitely many infinite arithmetic progressions might be a single number rather than itself being an infinite progression.

В результате получается арифметическая модель, и с ее помощью каждый строй, гармонично пропорциональный, легко приспосабливается к любой заданной высоте, фасаду или интерьеру.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

The result is an arithmetical model, and with its help each order, harmoniously proportioned, can easily be adapted to any given height, of a façade or an interior.

Стандарт интервальной арифметики был утвержден в июне 2015 года.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

A standard for interval arithmetic has been approved in June 2015.

По этой причине некоторые микроконтроллеры, такие как low end PICs, просто вращаются и вращаются через carry, и не утруждают себя арифметическими или логическими инструкциями сдвига.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

For this reason, some microcontrollers such as low end PICs just have rotate and rotate through carry, and don't bother with arithmetic or logical shift instructions.

Формула Херона, приведенная выше, численно неустойчива для треугольников с очень малым углом при использовании арифметики с плавающей точкой.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Heron's formula as given above is numerically unstable for triangles with a very small angle when using floating point arithmetic.

Интервальная арифметика явно определяет диапазон возможных исходов.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Interval arithmetic states the range of possible outcomes explicitly.

Поскольку в интервальном арифметическом вычислении может иметь место несколько таких делений, иногда полезно выполнять вычисления с так называемыми мультиинтервалами вида.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Because several such divisions may occur in an interval arithmetic calculation, it is sometimes useful to do the calculation with so-called multi-intervals of the form.

Соответствующая многоинтервальная арифметика поддерживает непересекающийся набор интервалов, а также обеспечивает объединение перекрывающихся интервалов.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

The corresponding multi-interval arithmetic maintains a disjoint set of intervals and also provides for overlapping intervals to unite.

Стандарт IEEE 754 для двоичной арифметики с плавающей запятой также устанавливает процедуры для реализации округления.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

The standard IEEE 754 for binary floating-point arithmetic also sets out procedures for the implementation of rounding.

Первоначально эта идея вызывала некоторое сопротивление из страха, что пострадают базовые или элементарные арифметические навыки.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

There was some initial resistance to the idea out of fear that basic or elementary arithmetic skills would suffer.

Наиболее известным математиком стал август Фердинанд Мебиус, когда он свел планарные преобразования к арифметике комплексных чисел.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

The most prominently named mathematician became August Ferdinand Möbius once he reduced the planar transformations to complex number arithmetic.

В данной работе рассматриваются не только нулевые, но и отрицательные числа и алгебраические правила для элементарных операций арифметики с такими числами.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

This work considers not only zero, but also negative numbers and the algebraic rules for the elementary operations of arithmetic with such numbers.

Теорема крускала о дереве, которая имеет приложения в информатике, также неразрешима из арифметики Пеано, но доказуема в теории множеств.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Kruskal's tree theorem, which has applications in computer science, is also undecidable from Peano arithmetic but provable in set theory.

Говорили, что свинья умеет писать слова и решать арифметические задачи.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

The pig was said to be able to spell words and solve arithmetical problems.

Во всем мире счеты использовались в дошкольных и начальных школах в качестве вспомогательного средства в обучении системе счисления и арифметике.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Around the world, abacuses have been used in pre-schools and elementary schools as an aid in teaching the numeral system and arithmetic.

Она также хорошо разбиралась в поэтике и грамматике, была математиком, сведущим в геометрии и высшей арифметике.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Wetlands naturally produce an array of vegetation and other ecological products that can be harvested for personal and commercial use.

Он также редактировал арифметику Виллема Раца в 1580 году и включил в нее приложение по измерению вина.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

He also edited Willem Raets’ Arithmetica in 1580 and included an appendix on wine gauging.

Другие интегративные функции, такие как интуитивная или эвристическая арифметика, бинауральная локализация звука и т. д.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Other integrative functions such as intuitive or heuristic arithmetic, binaural sound localization, etc.

Поскольку модульная арифметика имеет такой широкий спектр применения, важно знать, насколько трудно решить систему конгруэнций.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Since modular arithmetic has such a wide range of applications, it is important to know how hard it is to solve a system of congruences.

Решение системы нелинейных модулярных арифметических уравнений является NP-полным.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Solving a system of non-linear modular arithmetic equations is NP-complete.

Процентная точка или процентная точка-это единица измерения арифметической разницы в два процента.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

A percentage point or percent point is the unit for the arithmetic difference of two percentages.

Арифметические операторы рассматриваются аналогично.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Arithmetic operators are treated similarly.

Механический калькулятор, или вычислительная машина, - это механическое устройство, используемое для автоматического выполнения основных арифметических операций.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

A mechanical calculator, or calculating machine, is a mechanical device used to perform the basic operations of arithmetic automatically.

Другими словами, после соответствующего заполнения все 16-битные слова добавляются с помощью своей арифметики дополнения.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

In other words, after appropriate padding, all 16-bit words are added using one's complement arithmetic.

Эта работа, по-видимому, была главным источником изучения арифметики и алгебры в средневековой Индии.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

This work appears to have been the main source of learning arithmetic and algebra in medieval India.

C++ предоставляет более 35 операторов, охватывающих базовую арифметику, битовую манипуляцию, опосредование, сравнения, логические операции и другие.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

C++ provides more than 35 operators, covering basic arithmetic, bit manipulation, indirection, comparisons, logical operations and others.

Этот формат эффективен для арифметических операций, нарезки столбцов и матрично-векторных продуктов.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

This format is efficient for arithmetic operations, column slicing, and matrix-vector products.

Она учила его арифметике, мифологии, классической индийской музыке и санскриту.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

She taught him arithmetic, mythology, classical Indian music and Sanskrit.

В школе преподавали арифметику, историю, географию и латынь.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

The school taught arithmetic, history, geography and Latin.

Он был замечательным алгебраистом и арифметическим калькулятором.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

He was a remarkable algebraicist and arithmetical calculator.

В третьей книге серии Гарри Поттер и Узник Азкабана арифметика предлагается в качестве элективного курса.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

In Harry Potter and the Prisoner of Azkaban, the third book of the series, Arithmancy is offered as an elective course.

В мире Гарри Поттера арифметика использовалась как практика присвоения числового значения словам, чтобы предсказать будущее.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

In Harry Potter's world, Arithmancy was used as the practice of assigning numerical value to words in order to predict the future.

Их изучение или использование называется арифметикой.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Their study or usage is called arithmetic.

Счеты первоначально использовались для арифметических задач.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

The abacus was initially used for arithmetic tasks.

Ее академическое образование ограничивалось арифметикой, семейной генеалогией, грамматикой, историей, чтением, правописанием и письмом.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Her academic education was limited to arithmetic, her family genealogy, grammar, history, reading, spelling, and writing.

Для эффективного выполнения арифметических операций над числами, хранящимися с произвольной точностью, были разработаны многочисленные алгоритмы.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Numerous algorithms have been developed to efficiently perform arithmetic operations on numbers stored with arbitrary precision.



Предлагаем Вашему вниманию современный англо-русский и русско-английский словарь EnglishLib, в котором содержиться более 2 000 000 слов и фраз. На этой странице содержится полезная информации о фразе «интуиционистская арифметика». А именно, здесь можно найти перевод (значение) «интуиционистская арифметика» на английском языке, синонимы, антонимы, краткое определение слов: интуиционистская, арифметика . Также, к фразе «интуиционистская арифметика» представлено грамотно составленные примеры предложений для лучшего восприятия слова в контексте.

0You have only looked at
% of the information