формальная схема
Смотреть что такое "формальная схема" в других словарях:
ФОРМАЛЬНАЯ ГРУППА — алгебраический аналог понятия локальной группы Ли. Теория Ф. г. имеет многочисленные применения в алгебраической геометрии, теории полей классов и теории кобордизмов. Ф. г. над полем k групповой объект в категории связных аффинных формальных схем … Математическая энциклопедия
СХЕМА — окольцованное пространство, локально изоморфное аффинной схеме. Подробнее, С. состоит из топологич. пространстна X (базисного пространства схемы) и пучка коммутативных колец с единицей на Х (структурного пучка схемы); при этом должно существовать … Математическая энциклопедия
Формальная арифметика — формулировка арифметики в виде формальной (аксиоматической) системы (см. Аксиоматический метод). Язык Ф. а. содержит константу 0, числовые переменные, символ равенства, функциональные символы +, •, (прибавление 1) и логические связки (см … Большая советская энциклопедия
Формальная спецификация — В информатике формальная спецификация это математическое описание программной или аппаратной системы, которая может быть реализована в соответствии с этим описанием. Специфицируется, что должна делать система, но не то, как она должна это… … Википедия
ГРУППОВАЯ СХЕМА — схема групп, обобщение понятия алгебраич. группы. Пусть категория схем над базисной схемой ; групповой объект этой категории наз. групповой схемой над схемой (а также групповой схемой, или S cхемой групп). Для Г. с. Gнад Sфунктор точек является… … Математическая энциклопедия
логика (формальная логика) — (от греч. logos слово, понятие, рассуждение, разум) наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или структурой, и не зависит от… … Словарь терминов логики
АРИФМЕТИКА ФОРМАЛЬНАЯ — арифметическое исчисление, логико математич. исчисление, формализующее элементарную теорию чисел. Язык наиболее употребительного варианта А. ф. содержит константу 0, числовые переменные, символ равенства, функциональные символы (прибавление 1) и… … Математическая энциклопедия
ЛОГИКА ФОРМАЛЬНАЯ — наука, изучающая мышление с т. зр. его способности быть оформленным в языке. Наиболее распространенным для пропедевтического варианта Л. ф. остается определение ее как науки о формах и законах правильного мышления. Однако именно языковая… … Современный философский словарь
Модель принятия решений (DECISION MODEL) — Формальная схема выбора альтернатив, которая может включать в себя количественный анализ … Словарь терминов по управленческому учету
ДЕФОРМАЦИЯ — 1) Д. аналитической структуры семейство аналитич. ространств (или связанных с ними аналитич. объектов), зависящее от параметров. Теория Д. возникла из задачи классификации всевозможных попарно не изоморфных комплексных структур на данном… … Математическая энциклопедия
ИДЕАЛЬНОЕ — филос. понятие, характеризующее спе цифич. способ бытия объекта, представленного (отражённого) в психич. мире и жизнедеятельности субъекта. «...Идеальное есть не что иное, как материальное, пересаженное в человеческую голову и… … Философская энциклопедия
