- формализующий
-
- формализующий
-
прил., кол-во синонимов: 1• формализирующий (1)
Словарь синонимов ASIS. В.Н. Тришин. 2013.
.
Словарь синонимов ASIS. В.Н. Тришин. 2013.
.
логика высказываний — (Пропозициональная логика) раздел логики, формализующий употребление логических связок и , или , не , если, то и т. п., служащих для образования сложных высказываний из простых. Высказывание называется простым, если оно не включает в себя другие… … Словарь терминов логики
Финн, Виктор Константинович — (р. 15.07.1933) спец. в обл. логики, искусственного интеллекта; д р техн. наук, проф. Род. в Москве. Окончил филос. (1957) и механико матем. (1966) ф ты МГУ. С 1957 работал в Отделе матем. логики Лаборатории электромоделирования АН СССР; в 1959… … Большая биографическая энциклопедия
УСТОЙЧИВОСТЬ — в теории игр принцип оптимальности, отражающий прямо или косвенно идею устойчивости ситуации (или множества ситуаций). Выделяют следующие основные концепции У. 1. устойчивость см. Коалиционная игра. 2. устойчивость принцип оптимальности в… … Математическая энциклопедия
Линейный список — У этого термина существуют и другие значения, см. Список. Разновидность связного списка односвязный список, содержащий 3 элемента Линейный однонаправленный список это структура данных, состоящая из элементов одног … Википедия
Финн, Виктор Константинович — Виктор Константинович Финн Дата рождения: 15 июля 1933(1933 07 15) (79 лет) Место рождения: Москва, СССР Научная сфера: Искусственный интеллект, многозначные логики Место рабо … Википедия
Финн Виктор Константинович — Виктор Константинович Финн Дата рождения: 9 сентября 1933 года Место рождения: Москва Научная сфера: Искусственный интеллект, многозначные логики Место работы: ВИНИТИ РАН Альма матер: механико математический факультет МГУ Финн Виктор… … Википедия
Гламурный фашизм — Гламфашизм на обложке «Moulin Rouge» Гламурный фашизм многозначный термин, означающий, с одной стороны, эстетизацию нацистской символики[1], с другой гламуризацию протестной составляющей отечественного антиглобализма[2], с… … Википедия
Неблуждающее множество — В теории динамических систем, неблуждающее множество один из вариантов определения аттрактора, формализующий описание «точка несущественна для аттрактора, если у неё есть окрестность, которую каждая орбита посещает не больше одного раза».… … Википедия
формализирующий — прил., кол во синонимов: 1 • формализующий (1) Словарь синонимов ASIS. В.Н. Тришин. 2013 … Словарь синонимов
БЮДЖЕТНАЯ ЗАЯВКА — документ, формализующий запрос на выделение бюджетных ассигнований … Война и мир в терминах и определениях