Арифметика

Cтраница 3

Арифметике стран с арабским языком были посвящены работы Ю с у п о в а [1, 2], который остановился, в частности, на приемах приближенного извлечения квадратных и кубических корней и на раннем применении десятичных дробей самаркандским ученым XV в. [31]

Модель с шумом для идеального фильтра. [32]

Для арифметики с конечным представлением чисел характерен ряд явлений, среди которых наиболее важными будут шум, искажение и неустойчивость. Они затронуты во многих работах. [33]

Однако арифметика этого кольца малоинтересна. Например, в нем совсем нет неразложимых ( простых) элементов. [34]

Хотя арифметика с фиксированной точкой гораздо быстрее, чем десятичная, преобразование данных из зонного формата EBCDIC в двоичный имеет смысл только для данных, многократно используемых в вычислениях, не только из-за времени и памяти, требуемых для преобразования, но также потому, что команда CVB ( Преобразование в двоичную) выполняется довольно медленно. [35]

Для арифметики с плавающей точкой максимум относительной ошибки при выполнении операции может быть лег ко найден. Любая из четырех основных арифметических операций дает результат, состоящий из двух частей. [36]

Вся арифметика должна быть выполнена в некоторой системе счисления со смешанными основаниями. [37]

Из арифметики хорошо известно, что в результате процесса ( 2) может получиться десятичное разложение только одного из двух следующих типов. [38]

Из арифметики следует, что от перестановки слагаемых сумма не меняется. [39]

Эта формализованная арифметика, разумеется, имеет счетную ординарную семантическую модель, а именно естественную модель в множестве всех положительных целых чисел. Грубо говоря, в каждом несчетном множестве / можно определить сложение и умножение с теми же свойствами, какими обладают сложение и умножение в области всех положительных целых чисел, Более точно, существует интерпретация 3 языка формализованной арифметики в множестве), которая превращает J в алгебру с двумя бинарными операциями и -, обладающими свойствами сложения и умножения положительных целых чисел; соответствующая реализация S ( используются обозначения § 4, ( 1), стр. [40]

Если формализованная арифметика в действительности непротиворечива, то, хотя утверждение о ее непротиворечивости выразимо на ее собственном языке, доказательство этого утверждения невозможно провести средствами, формализуемыми в ней самой. [41]

Ведь простейшая арифметика показывает: человек, только что лишившийся нескольких сот миллионов, все еще располагает активами в 11 4 миллиарда. [42]

Эта формализованная арифметика, разумеется, имеет счетную ординарную семантическую модель, а именно естественную модель в множестве всех положительных целых чисел. Грубо говоря, в каждом несчетном множестве можно определить сложение и умножение с темп же свойствами, какими обладают сложение и умножение в области всех положительных целых чисел, Более точно, существует интерпретация 3 языка формализованной арифметики в множестве), которая превращает в алгебру с двумя бинарными операциями и -, обладающими свойствами сложения и умножения положительных целых чисел; соответствующая реализация 3 ( используются обозначения § 4, ( 1), стр. [43]

Если формализованная арифметика в действительности непротиворечива, то хотя утверждение о ее непротиворечивости выразимо на ее собственном языке, однако доказательство этого утверждения, проведенное средствами, формализуемыми в ней самой, невозможно. [44]

Термин классическая арифметика автор понимает здесь. [45]

Страницы: 1 2 3 4