Арифметика Формальная

118

Значения в других словарях
Арифметизация

- метод, применяемый в математич. Логике для замены рассуждений о выражениях к.-л. Логико-математич. Языка рассуждениями о натуральных числах. С целью такой замены устанавливается к.-л. Достаточно простое взаимно однозначное отображение множества всех слов (в алфавите рассматриваемого языка) в натуральный ряд. Образ слова наз. Его номером. Отношения и операции, определенные на словах, переходят при этом отображении в отношения и операции, определенные на номерах. Требование "достаточной простоты..

Арифметика

-и, ж.. ..

Арифметическая Группа

подгруппа Н линейной алгебраической группы G, определенной над полем рациональных чисел, удовлетворяющая следующему условию. Существует точное рациональное представление определенное над (см. Представлений теория), такое, что соизмерима с где - кольцо целых чисел (подгруппы А ч В группы Сназ. Соизмеримыми, если имеет конечный индекс в ). Тогда для любого другого точного -определенного представления это условие также будет выполнено. Более общо, А. Г.- подгруппа алгебраич. Группы , опре..

Арифметическая Прогрессия

арифметический ряд 1-го порядка,- последовательность чисел, в к-рой каждый член получается из предыдущего путем прибавления к нему одного и того же числа d, наз. Разностью этой А. П. Таким образом, каждая А. П. Имеет вид. общий член Характеристич. Свойство А. П. Если то А. П. Наз. Возрастающей, если - убывающей. Простейший пример А. П.- натуральный ряд чисел Число членов А. П. Может быть ограниченным или неограниченным. Если А. П. Содержит пчленов, то ее сумму можно вычислить по фо..

Дополнительный поиск Арифметика Формальная Арифметика Формальная

Добавить комментарий
Комментарии
Комментариев пока нет

На нашем сайте Вы найдете значение "Арифметика Формальная" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Арифметика Формальная, различные варианты толкований, скрытый смысл.

Первая буква "А". Общая длина 21 символа