формальная эквивалентность это:

формальная эквивалентность

Толковый переводоведческий словарь. - 3-е издание, переработанное. — М.: Флинта: Наука. . 2003.

Смотреть что такое "формальная эквивалентность" в других словарях:

  • ФОРМАЛЬНАЯ ГРУППА — алгебраический аналог понятия локальной группы Ли. Теория Ф. г. имеет многочисленные применения в алгебраической геометрии, теории полей классов и теории кобордизмов. Ф. г. над полем k групповой объект в категории связных аффинных формальных схем …   Математическая энциклопедия

  • ПРОГРАММИРОВАНИЕ ТЕОРЕТИЧЕСКОЕ — математическая дисциплина, изучающая математич. абстракции программ, трактуемых как объекты, выраженные на формальном языке, обладающие определенной информационной и логич. структурой и подлежащие исполнению на автоматич. устройствах. П. т.… …   Математическая энциклопедия

  • КВАНТОВАЯ ТЕОРИЯ ГРАВИТАЦИИ — квантово полевая теория гравитационного взаимодействия. Поскольку гравитац. взаимодействие универсально (в нём одинаково участвуют все виды материи, независимо от их конкретных свойств), то считается, что построение полной, законченной К. т. г.… …   Физическая энциклопедия

  • Принс, Ричард — Ричард Принс Дата рождения: 1949 год(1949) Место рождения: Зона Панамского канала Жанр: живопись, фотография, скульптура …   Википедия

  • Арифметика — Ганс Себальд Бехам. Арифметика. XVI век Арифметика (др. греч. ἀ …   Википедия

  • ПОНЯТИЕ — общее имя с относительно ясным содержанием и сравнительно четко очерченным объемом. П. являются, напр., «химический элемент», «закон», «сила тяготения», «астрономия», «поэзия» и т.п. Отчетливой границы между теми именами, которые можно назвать П …   Философская энциклопедия

  • ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… …   Философская энциклопедия

  • СИЛЛОГИСТИКА — (от греч. syllogisticos рассчитываю, считаю) логическая теория дедуктивных рассуждений, в которой исследуются логические связи между категорическими атрибутивными высказываниями. С. была построена Аристотелем. К числу указанных высказываний… …   Философская энциклопедия

  • ДИВИЗОР — обобщение понятия делителя элемента коммутативного кольца. Впервые (под назв. идеальный делитель ) это понятие возникло в работах Э. Куммера [1] об арифметике круговых полей. Теория Д. для коммутативного кольца А с единицей без делителей нуля… …   Математическая энциклопедия

  • Булева логика — Не следует путать с булевой алгеброй. Алгебра логики раздел математической логики, в котором изучаются логические операции над высказываниями. Высказывания могут быть истинными и ложными. Содержание 1 Определение 2 Аксиомы 3 Логические операции …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»