гомоморфизм модели
Смотреть что такое "гомоморфизм модели" в других словарях:
Гомоморфизм — [homomorphism] понятие математики и логики, означающее такое соотношение между двумя системами, что: а) каждому элементу и каждому отношению между элементами первой системы соответствуют один элемент и одно отношение второй (но не наоборот); б)… … Экономико-математический словарь
гомоморфизм — — [[http://www.rfcmd.ru/glossword/1.8/index.php?a=index d=23]] гомоморфизм Понятие математики и логики, означающее такое соотношение между двумя системами, что: а) каждому элементу и каждому отношению между элементами первой системы… … Справочник технического переводчика
ГОМОМОРФИЗМ — см. Изоморфизм и гомоморфизм. Философский энциклопедический словарь. М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983. ГОМОМОРФИЗМ … Философская энциклопедия
ИЗОМОРФИЗМ И ГОМОМОРФИЗМ — логико математич. понятия, выражающие одинаковость (изоморфизм; от греч. одинаковый и форма) либо уподобление (гомоморфизм; от греч. один и тот же, равный) строения (структуры) систем (множеств, процессов, конструкций). Системы А и А1 наз … Философская энциклопедия
ФУНКЦИОНАЛЬНОЕ ИСЧИСЛЕНИЕ — гомоморфизм нек рой алгебры функций Ав алгебру L(X)непрерывных линейных операторов в топологич. векторном пространстве X. Ф. и. один из основных инструментов общего спектрального анализа и теории банаховых алгебр, к рый позволяет использовать в… … Математическая энциклопедия
АЛГЕБРАИЧЕСКАЯ СИСТЕМА — множество с определенными на нем операциями и отношениями. А. с. принадлежат к числу основных математич. структур и имеют глубоко разработанную общую теорию, сформировавшуюся в начале 50 х гг. 20 в. на грани между алгеброй и математич. логикой.… … Математическая энциклопедия
МОДЕЛЬ — (франц. modele, от лат. modulus мера, образец, норма), в логике и методологии науки аналог (схема, структура, знаковая система) определ. фрагмента природной или социальной реальности, порождения человеч. культуры, концептуально теоретич.… … Философская энциклопедия
ДИВИЗОР — обобщение понятия делителя элемента коммутативного кольца. Впервые (под назв. идеальный делитель ) это понятие возникло в работах Э. Куммера [1] об арифметике круговых полей. Теория Д. для коммутативного кольца А с единицей без делителей нуля… … Математическая энциклопедия
БУЛЕВОЗНАЧНАЯ МОДЕЛЬ — модель, определяемая следующим образом. Пусть сигнатура нек poro языка 1 й ступени с одним сортом переменных, т. е. множество символов функций и предикатов. Б. м. наз. тройка где невырожденная булева алгебра, непустое множество и функция,… … Математическая энциклопедия
СЕМИОТИКА — (от греч. semeiot знак) общая теория знаковых систем, изучающая свойства знаковых комплексов самой различной природы. К таким системам относятся естественные языки, письменные и устные, разнообразные искусственные языки, начиная с формализованных … Философская энциклопедия
ГРУППА — множество, на к ром определена операция, наз. умножением и удовлетворяющая спец. условиям (групповым аксиомам): в Г. существует единичный элемент; для каждого элемента Г. существует обратный; операция умножения ассоциативна. Понятие Г. возникло… … Физическая энциклопедия
