Intuitionistic arithmetic - перевод, синонимы, произношение, примеры предложений, антонимы, транскрипция
intuitionistic logic - интуитивная логика
intuitionistic tautology - интуиционистская тавтология
intuitionistic propositional tautology - интуиционистская пропозициональная тавтология
intuitionistic arithmetic - интуиционистская арифметика
Значение intuitionistic: Dealing strictly in constructive proofs, abstaining from proof by contradiction.
arithmetic processor - арифметический процессор
arithmetic average number - среднее арифметическое число
complex arithmetic - комплексная арифметика
perform arithmetic - выполнять арифметические
arithmetic distribution - арифметическое распределение
arithmetic subgroup - арифметическая подгруппа
undecidable arithmetic - неразрешимая арифметика
pseudoternary arithmetic - псевдотроичная арифметика
intuitionistic arithmetic - интуиционистская арифметика
multiplicative arithmetic - мультипликативная арифметика
Синонимы к arithmetic: mathematics, figure, count, computation, arithmetical, multiplication, algebraic, calculus, algebra, peano
Антонимы к arithmetic: analogue, certainty, decrease, disinterest, disregard, estimate, fact, neglect, proof, truth
Значение arithmetic: the branch of mathematics dealing with the properties and manipulation of numbers.
This result, known as Jensen's inequality, can be used to deduce inequalities such as the arithmetic–geometric mean inequality and Hölder's inequality. |
Этот результат, известный как неравенство Йенсена, может быть использован для вывода таких неравенств, как неравенство среднего арифметико–геометрического и неравенство Гельдера. |
The geometric average rate of return is in general less than the arithmetic average return. |
Средняя геометрическая норма прибыли в целом меньше средней арифметической нормы прибыли. |
Simple arithmetics would show that either present problems must be solved or mankind will not be able to survive the new century we are beginning. |
Простая арифметика покажет, что или проблемы будут решены, или человечество физически не выживет. |
If return value of GetTickCount function is close to this boundary, the arithmetic overflow exception can occur in the next line of code. |
Если значение, возвращаемое функцией GetTickCount, находится близко к этому рубежу, может произойти арифметическая ошибка переполнения в следующей строке программы. |
Relationships are confusing enough as it is without getting into that kind of, you know... bizarre arithmetic. |
Отношения достаточно запутанная штука, даже если не вдаваться в такого рода, ты понимаешь... экстравагантную арифметику. |
Writing, Arithmetic, Reading... |
Письмо, Арифметика, Литература... |
I like bookkeeping and arithmetic, he observed. |
Я люблю счетоводство и математику, - заявил Фрэнк. |
It's one of the most terrible stories in history. Time for arithmetic, children. |
Это одна из самых прискорбных страниц в истории человечества... А теперь займёмся арифметикой, дети. |
He loved her and would not betray her; but that was only a fact, known as he knew the rules of arithmetic. |
Он любил ее и он ее не предаст; но это был просто факт, известный, как известно правило арифметики. |
У меня всегда были проблемы с математикой. |
|
Это ошибка в твоем кошельке, а не в моих расчетах! |
|
Maybe it's an arithmetic sequence, like Fibonacci. |
Возможно, это математическая последовательность, как у Фибоначчи. |
Besides performing basic arithmetic and mathematical functions, modern spreadsheets provide built-in functions for common financial and statistical operations. |
Помимо выполнения основных арифметических и математических функций, современные электронные таблицы обеспечивают встроенные функции для общих финансовых и статистических операций. |
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. |
Это можно увидеть, интерпретируя знаменатель как среднее арифметическое произведения чисел n раз, но каждый раз опуская j-й член. |
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. |
Этот метод интегрирования может быть объединен с интервальной арифметикой для получения компьютерных доказательств и проверенных вычислений. |
Since the week has 7 days, the offset must be in the range 0 to 6 and determined by modulo 7 arithmetic. |
Поскольку неделя состоит из 7 дней, смещение должно быть в диапазоне от 0 до 6 и определяться арифметикой по модулю 7. |
Conversely, one may use either a leaky bucket approach or pointer arithmetic to generate flags in synchronous FIFO implementations. |
И наоборот, для генерации флагов в синхронных реализациях FIFO можно использовать либо подход с дырявым ведром, либо арифметику указателей. |
Jensen's inequality states that the value of a concave function of an arithmetic mean is greater than or equal to the arithmetic mean of the function's values. |
Неравенство Дженсена утверждает, что значение вогнутой функции среднего арифметического больше или равно среднему арифметическому значений функции. |
For these applications, some small processors feature BCD arithmetic modes, which assist when writing routines that manipulate BCD quantities. |
Для этих приложений некоторые небольшие процессоры имеют арифметические режимы BCD, которые помогают при написании подпрограмм, которые управляют количествами BCD. |
Many arithmetic functions are defined using the canonical representation. |
Многие арифметические функции определяются с использованием канонического представления. |
Morse uses immense intuition and his fantastic memory to get to the killer. |
Морс использует огромную интуицию и свою фантастическую память, чтобы добраться до убийцы. |
In 1871 Richard Dedekind called a set of real or complex numbers which is closed under the four arithmetic operations a field. |
В 1871 году Ричард Дедекинд назвал множество вещественных или комплексных чисел, замкнутых под действием четырех арифметических операций полем. |
Arend Heyting would introduce Heyting algebra and Heyting arithmetic. |
Аренд хейтинг представит алгебру Хейтинга и арифметику Хейтинга. |
This was an option for users who needed extensive floating-point arithmetic, such as users of computer-aided drafting. |
Это был вариант для пользователей, которым требовалась обширная арифметика с плавающей запятой,таких как пользователи автоматизированного черчения. |
Similarly, if x and y are conventional unsigned ternary numbers, their sum is x + y + b when computed using balanced ternary arithmetic. |
Аналогично, если x и y являются обычными беззнаковыми троичными числами, их сумма равна x + y + b при вычислении с использованием сбалансированной троичной арифметики. |
For example, geometry has its origins in the calculation of distances and areas in the real world; algebra started with methods of solving problems in arithmetic. |
Например, геометрия берет свое начало в вычислении расстояний и площадей в реальном мире; алгебра начинается с методов решения задач в арифметике. |
In a computer implementation, as the three sj sums become large, we need to consider round-off error, arithmetic overflow, and arithmetic underflow. |
В компьютерной реализации, когда три суммы sj становятся большими, мы должны рассмотреть ошибку округления, арифметическое переполнение и арифметический недовыпуск. |
A standard for interval arithmetic has been approved in June 2015. |
Стандарт интервальной арифметики был утвержден в июне 2015 года. |
The explanation for this phenomenon is arithmetic. |
Объяснение этому феномену-арифметика. |
Heron's formula as given above is numerically unstable for triangles with a very small angle when using floating point arithmetic. |
Формула Херона, приведенная выше, численно неустойчива для треугольников с очень малым углом при использовании арифметики с плавающей точкой. |
Non-automotive uses of differentials include performing analog 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 standard IEEE 754 for binary floating-point arithmetic also sets out procedures for the implementation of rounding. |
Стандарт IEEE 754 для двоичной арифметики с плавающей запятой также устанавливает процедуры для реализации округления. |
However, in practice and in the definition of MOS, it is considered acceptable to calculate the arithmetic mean. |
Однако на практике и при определении Мос считается допустимым вычисление среднего арифметического. |
There are many different, but equivalent, axiomatizations of Peano arithmetic. |
Существует много различных, но эквивалентных аксиоматизаций арифметики Пеано. |
Monte Carlo arithmetic is a technique in Monte Carlo methods where the rounding is randomly up or down. |
Арифметика Монте-Карло-это метод в методах Монте-Карло, где округление происходит случайным образом вверх или вниз. |
This shows why floating point arithmetic is unsuitable for accounting software. |
Это показывает, почему арифметика с плавающей запятой не подходит для бухгалтерского программного обеспечения. |
One can derive the grammage of other sizes by arithmetic division in g/m2. |
Грамматику других размеров можно вывести арифметическим делением в г / м2. |
The pig was said to be able to spell words and solve arithmetical problems. |
Говорили, что свинья умеет писать слова и решать арифметические задачи. |
For example, the arithmetic mean of 0° and 360° is 180°, which is misleading because for most purposes 360° is the same thing as 0°. |
Например, среднее арифметическое 0° и 360° равно 180°, что вводит в заблуждение, поскольку для большинства целей 360° - это то же самое, что и 0°. |
More commonly, however, a correction card lists errors for the compass, which can then be compensated for arithmetically. |
Однако чаще всего карта коррекции содержит список ошибок для компаса, которые затем могут быть компенсированы арифметически. |
He also edited Willem Raets’ Arithmetica in 1580 and included an appendix on wine gauging. |
Он также редактировал арифметику Виллема Раца в 1580 году и включил в нее приложение по измерению вина. |
She was also accomplished at poetics and grammar, a mathematician versed in geometry and higher arithmetic. |
Она также хорошо разбиралась в поэтике и грамматике, была математиком, сведущим в геометрии и высшей арифметике. |
A percentage point or percent point is the unit for the arithmetic difference of two percentages. |
Процентная точка или процентная точка-это единица измерения арифметической разницы в два процента. |
Арифметические операторы рассматриваются аналогично. |
|
The laws of arithmetic for negative numbers ensure that the common sense idea of an opposite is reflected in arithmetic. |
Законы арифметики для отрицательных чисел гарантируют, что здравая идея противоположности отражается в арифметике. |
A mechanical calculator, or calculating machine, is a mechanical device used to perform the basic operations of arithmetic automatically. |
Механический калькулятор, или вычислительная машина, - это механическое устройство, используемое для автоматического выполнения основных арифметических операций. |
В школе преподавали арифметику, историю, географию и латынь. |
|
Every programmatic implementation of arithmetic encoding has a different compression ratio and performance. |
Каждая программная реализация арифметического кодирования имеет различную степень сжатия и производительность. |
That pointer can be used with pointer arithmetic or be cast to a struct pointer. |
Этот указатель можно использовать с арифметикой указателя или привести к указателю структуры. |
Счеты первоначально использовались для арифметических задач. |
|
Grace also received lessons in music, needle-work, arithmetic and letter-writing. |
Грейс также получала уроки музыки, рукоделия, арифметики и письма. |
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. |
Для эффективного выполнения арифметических операций над числами, хранящимися с произвольной точностью, были разработаны многочисленные алгоритмы. |
The earliest widespread software implementation of arbitrary-precision arithmetic was probably that in Maclisp. |
Самая ранняя широко распространенная программная реализация арифметики произвольной точности, вероятно, была реализована в Maclisp. |
In the last stage statistical redundancy gets largely eliminated by an entropy coder which often applies some form of arithmetic coding. |
Расследование, проведенное Советом по медицинским исследованиям, показало, что имели место некоторые нарушения правил. |
bzip2's ancestor bzip used arithmetic coding instead of Huffman. |
предок bzip2 bzip использовал арифметическое кодирование вместо Хаффмана. |
Предлагаем Вашему вниманию современный англо-русский и русско-английский словарь EnglishLib, в котором содержиться более 2 000 000 слов и фраз. На этой странице содержится полезная информации о фразе «intuitionistic arithmetic».
А именно, здесь можно найти перевод (значение) «intuitionistic arithmetic» на русском языке, синонимы, антонимы, краткое определение слов: intuitionistic, arithmetic , а также произношение и транскрипцию к «intuitionistic arithmetic». Также, к фразе «intuitionistic arithmetic» представлено грамотно составленные примеры предложений для лучшего восприятия слова в контексте.
