- формальная эквивалентность
- см. виды эквивалентности.
Толковый переводоведческий словарь. - 3-е издание, переработанное. — М.: Флинта: Наука. Л.Л. Нелюбин. 2003.
Толковый переводоведческий словарь. - 3-е издание, переработанное. — М.: Флинта: Наука. Л.Л. Нелюбин. 2003.
ФОРМАЛЬНАЯ ГРУППА — алгебраический аналог понятия локальной группы Ли. Теория Ф. г. имеет многочисленные применения в алгебраической геометрии, теории полей классов и теории кобордизмов. Ф. г. над полем k групповой объект в категории связных аффинных формальных схем … Математическая энциклопедия
ПРОГРАММИРОВАНИЕ ТЕОРЕТИЧЕСКОЕ — математическая дисциплина, изучающая математич. абстракции программ, трактуемых как объекты, выраженные на формальном языке, обладающие определенной информационной и логич. структурой и подлежащие исполнению на автоматич. устройствах. П. т.… … Математическая энциклопедия
КВАНТОВАЯ ТЕОРИЯ ГРАВИТАЦИИ — квантово полевая теория гравитационного взаимодействия. Поскольку гравитац. взаимодействие универсально (в нём одинаково участвуют все виды материи, независимо от их конкретных свойств), то считается, что построение полной, законченной К. т. г.… … Физическая энциклопедия
Принс, Ричард — Ричард Принс Дата рождения: 1949 год(1949) Место рождения: Зона Панамского канала Жанр: живопись, фотография, скульптура … Википедия
Арифметика — Ганс Себальд Бехам. Арифметика. XVI век Арифметика (др. греч. ἀ … Википедия
ПОНЯТИЕ — общее имя с относительно ясным содержанием и сравнительно четко очерченным объемом. П. являются, напр., «химический элемент», «закон», «сила тяготения», «астрономия», «поэзия» и т.п. Отчетливой границы между теми именами, которые можно назвать П … Философская энциклопедия
ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… … Философская энциклопедия
СИЛЛОГИСТИКА — (от греч. syllogisticos рассчитываю, считаю) логическая теория дедуктивных рассуждений, в которой исследуются логические связи между категорическими атрибутивными высказываниями. С. была построена Аристотелем. К числу указанных высказываний… … Философская энциклопедия
ДИВИЗОР — обобщение понятия делителя элемента коммутативного кольца. Впервые (под назв. идеальный делитель ) это понятие возникло в работах Э. Куммера [1] об арифметике круговых полей. Теория Д. для коммутативного кольца А с единицей без делителей нуля… … Математическая энциклопедия
Булева логика — Не следует путать с булевой алгеброй. Алгебра логики раздел математической логики, в котором изучаются логические операции над высказываниями. Высказывания могут быть истинными и ложными. Содержание 1 Определение 2 Аксиомы 3 Логические операции … Википедия