Cтраница 2
Гейтинговская арифметика получается тем же способом из классической арифметики формальной. [16]
Гейтинговская арифметика удовлетворяет условиям Геделя теоремы о неполноте. В ней невыводим принцип Маркова - - xR jxR для конкретной примитивно рекурсивной формулы R, хотя этот принцип истинен как при конструктивном понимании суждений в смысле Маркова - Шанина, так и при интерпретации Геделя. Вопрос о полноте гейтинговского исчисления высказываний относительно геделевской интерпретации остается ( 1977) открытым. [17]
Арифметика BCD-вычислений обычно не поддерживается в стандартном комплекте библиотек систем программирования ПЛК. [18]
Битовая арифметика хорошо развита в языке Турбо Паскаль. Необходимость в ее применении возникает, когда надо работать не с десятичными значениями чисел, а с их двоичным представлением. В этом случае можно сравнивать отдельные биты двух чисел, выделять двоичные фрагменты, заменять их и т.п. Это часто используется при работе с видеопамятью в текстовом или графическом режимах. Кроме того, есть ряд чисто математических задач, которые удобно решать в двоичном представлении. [19]
Известная арифметика получается при m 0, / 0: АОО - Она одномерна. В арифметиках Aim есть числа 0 и оо. [20]
Арифметика указателей теряет смысл, если она выполняется не над массивами. Мы не можем предполагать, чтобы две переменные одинакового типа хранятся в памяти вплотную друг к другу, если они не соседствуют в массиве. [21]
Арифметика полиномов над алгебрами с делением не является прямым обобщением арифметики полиномов над полем. [22]
Арифметика конечного кольца применялась многими учеными для того, чтобы исследовать подходы, альтернативные обычно используемым устройствам двоичной арифметики и ее вариантов. Применение арифметики конечного кольца для ЦОС оказывается наиболее эффективным благодаря реализации алгоритмов высокоскоростных вычислений. В [152] показано, что устройства цифровой обработки информации, функционирующие в модулярной арифметике, обладают многими преимуществами по сравнению со своими двоичными аналогами. [23]
Фактическая арифметика инфляции проста. Допустим, что цена любого товара представляет собой дробь с числом долларов в числителе и количеством продукции в знаменателе. [24]
Арифметика двойной точности для компьютеров впервые была рассмотрена Дж. [25]
Арифметика рекурсивных вещественных чисел Если s ( n) и t ( n) рекурсивно сходятся, то, очевидно, s ( n) 4 - / () и s () - t ( n) тоже рекурсивно сходятся. [26]
Арифметику иногда рассматривают как часть теории множеств. [27]
Арифметику, или теорию чисел, можно рассматривать как отрасль математики, в которой изучаются натуральные числа и другие ( категорически определенные) счетные системы объектов, например целые или рациональные числа. [28]
Арифметику повышенной точности можно использовать применительно ко всем четырем основным операциям: сложению, вычитанию, умножению и делению. [29]
Арифметике, где, в частности, дано решение в рациональных числах многих алгебраич. [30]