- эквивалентное исчисление
- мат. equivalential calculus
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
АССОЦИАТИВНОЕ ИСЧИСЛЕНИЕ — название, установившееся за исчислениями нек рого точно охарактеризованного типа, хорошо приспособленными для задания конечно определенных ассоциативных систем ( полугрупп). Термин А. и. введен А. А. Марковым. Им же было осуществлено построение… … Математическая энциклопедия
ПОСТА КАНОНИЧЕСКАЯ СИСТЕМА — исчисление Поста, способ задания перечислимых множеств слов. Понятие П. к. с., предложенное Э. Постом (Е. Post) в 1943, было первым общим понятием исчисления, пригодным для задания произвольных перечислимых множеств и не привязанным к логич.… … Математическая энциклопедия
МНОГОЗНАЧНАЯ ЛОГИКА — совокупность логических систем, опирающихся на многозначности принцип. В классической двузначной логике выражения при интерпретации принимают только два значения «истинно» и «ложно», в М.л. рассматриваются и др. значения, напр. «неопределенно»,… … Философская энциклопедия
ПОЛОЖИТЕЛЬНАЯ ЛОГИКА — логика, в которой приемлемыми считаются рассуждения, не связанные с опровержениями, т. е. с обоснованиями ложности высказываний. Поскольку выражение «А ложно» есть лишь иная форма выражения «не А», в П. л. отказываются от любых способов… … Философская энциклопедия
СХЕМА АКСИОМ — (аксиомная схема) – разновидность постулатов, с помощью к рых в логике задаются исчисления (формальные системы). С а. представляет собой выражение, составленное из т.н. метаматем. букв. т.е. символов, не входящих в алфавит рассматриваемой системы … Философская энциклопедия
ИНДИВИДУАЛЬНЫЙ ПРЕДПРИНИМАТЕЛЬ — термин НК, означающий физическое лицо, зарегистрированное в установленном порядке и осуществляющее предпринимательскую деятельность без образования юридического лица. К индивидуальным предпринимателям относятся также частные нотариусы, частные… … Энциклопедия российского и международного налогообложения
ТОПОЛОГИЯ — в широком смысле область математики, изучающая топологич. свойства разл. матем. и физ. объектов. Интуитивно, к топологич. относятся качественные, устойчивые свойства, не меняющиеся при деформациях. Матем. формализация идеи о топологич. свойствах… … Физическая энциклопедия
ДИССИПАТИВНЫЙ ОПЕРАТОР — линейный оператор Ас областью определения DA, плотной в гильбертовом пространстве Н, и такой, что Иногда это требование заменяется условием при т. е. диссипативность Ав этом смысле эквивалентна диссипативности оператора ( iA). Д. о. наз.… … Математическая энциклопедия
МОРСА ТЕОРИЯ — общее название для трех различных теорий, основывающихся на идеях М. Морса [1] и описывающих связь алгебро топологич. свойств топологич. пространства с экстремальными свойствами функций (функционалов) на нем. М. т. является разделом вариационного … Математическая энциклопедия
ПЕРЕДАТОЧНАЯ ФУНКЦИЯ — линейной стационарной системы управления (системы автоматич. регулирования) Лапласа преобразование отклика системы на воздействие единичной импульсной функции (дельта функции) 6 (г) при нулевых условиях в момент t=0 (сам этот отклик наз. функцией … Математическая энциклопедия