- формальный гомоморфизм
- мат. formal homomorphism
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
МОДЕЛЬ — (франц. modele, от лат. modulus мера, образец, норма), в логике и методологии науки аналог (схема, структура, знаковая система) определ. фрагмента природной или социальной реальности, порождения человеч. культуры, концептуально теоретич.… … Философская энциклопедия
Рекурсивный язык — В математической логике и информатике рекурсивный язык тип формального языка, также называемый разрешимым или разрешимым по Тьюрингу. Класс всех рекурсивных языков часто обозначается через R, хотя это же обозначение используется для класса RP.… … Википедия
АНАЛОГИЯ — (от греч. analogia соответствие) сходство между предметами, явлениями и т.д. Умозаключение по А. (или просто А.) индуктивное умозаключение, когда на основе сходства двух объектов по каким то одним параметрам делается вывод об их сходстве по др.… … Философская энциклопедия
ПОНТРЯГИНА КЛАСС — характеристический класс, определенный для действительных векторных расслоений; П. к. введены в 1947 Л. С. Понтрягиным [1]. Для векторного расслоения x с базой ВП. к. обозначаются символом и полагаются равными , где комилексификация расслоения x … Математическая энциклопедия