- символ эквивалентности
- мат. symbol of equivalence
Большой англо-русский и русско-английский словарь. 2001.
символ эквивалентности
Смотреть что такое "символ эквивалентности" в других словарях:
ПРОПОЗИЦИОНАЛЬНАЯ СВЯЗКА — символ формального языка, служащий для обозначения логической операции, с помощью к рой из данных высказываний можно получать новые высказывания. Важнейшими П. с. являются конъюнкция a (иначе ), дизъюнкция , импликация (иначе или ), отрицание… … Математическая энциклопедия
ТЯГОТЕНИЕ — (гравитация, гравитационное взаимодействие), универсальное взаимодействие между любыми видами материи. Если это вз ствие относительно слабое и тела движутся медленно (по сравнению со скоростью света с), то справедлив закон всемирного тяготения… … Физическая энциклопедия
МИФ — (греч. слово, речь, предание) язык описания, оказавшийся, благодаря своей исконной символичности, удобным для выражения вечных моделей личного и общественного поведения, неких сущностных законов социального и природного космоса. М. является… … Современный философский словарь
ПРОГРАММИРОВАНИЕ ТЕОРЕТИЧЕСКОЕ — математическая дисциплина, изучающая математич. абстракции программ, трактуемых как объекты, выраженные на формальном языке, обладающие определенной информационной и логич. структурой и подлежащие исполнению на автоматич. устройствах. П. т.… … Математическая энциклопедия
Кристаллографическая группа — Кристаллографическая группа дискретная группа движений мерного евклидова пространства, имеющая ограниченную фундаментальную область. Содержание 1 Теорема Бибербаха 1.1 Число гру … Википедия
Знак равенства — … Википедия
Пространственная группа — Кристаллографическая группа дискретная группа движений n мерного евклидова пространства, имеющая ограниченную фундаментальную область. Под кристаллографической (пространственной) группой кристалла понимают набор всех операций симметрии, присущих … Википедия
Тестирование по стратегии черного ящика — Содержание 1 Понятие «чёрного» ящика 2 Исследование поведения «черного» ящика … Википедия
Тестирование по стратегии чёрного ящика — Тестирование чёрного ящика или поведенческое тестирование стратегия (метод) тестирования функционального поведения объекта (программы, системы) с точки зрения внешнего мира, при котором не используется знание о внутреннем устройстве… … Википедия
Альтернативные теории гравитации — Альтернативными теориями гравитации принято называть теории гравитации, существующие как альтернативы общей теории относительности (ОТО) или существенно (количественно или принципиально) модифицирующие ее. К альтернативным теориям гравитации… … Википедия
МОНД — Альтернативными теориями гравитации принято называть теории гравитации, существующие как альтернативы общей теории относительности или существенно (количественно или принципиально) модифицирующие ее. К альтернативным теориям гравитации часто… … Википедия
