ФУНКТОР

functor

– двуместный функтор
– ковариантный функтор
– контравариантный функтор
– полуточный функтор
– функтор многоместный
– функтор полуточный

Смотреть больше слов в «Русско-английском техническом словаре»

ФУНКТОР МНОГОМЕСТНЫЙ →← ФУНИКУЛЯРНЫЙ

Смотреть что такое ФУНКТОР в других словарях:

ФУНКТОР

-отображение одной категории в другую, согласованное со структурой категории. Точнее, одноместным ковариантным функтором из категории в категорию ... смотреть

ФУНКТОР

ФУНКТОР — средство преобразования знаковых выражений и порождения одних выражений из других. Напр., знак "+" можно рассматривать как Ф., преобразующий два числа в некоторое третье число. В зависимости от числа объектов, к которым применяется Ф., последние разделяются на нуль-местные, одноместные, двухместные и т. д. К числу нуль-местных Ф. в математической логике относят константы — индивидные и пропозициональные. Одноместными Ф. будут знаки отрицания, необходимости, возможности и т. п., двух­местными Ф. — бинарные логические связки: <i>конъюнкция</i>,<i> дизъюнк­ция</i>,<i> импликация </i>и т. п. Иногда Ф. подразделяются на <b>экстенсиональные</b> и <b>ин­тенсиональные.</b> Примером первых являются связки классичес­кой <i>математической логики</i>,<i> </i>для которых важны лишь истинност­ные значения тех простых высказываний, к которым они применя­ются. Если Ф. учитывает еще и смысловые, содержательные связи между теми элементами, к которым он применяется, он считается интенсиональным. К числу интенсиональных Ф. относят знаки воз­можности и необходимости, сильную, строгую, релевантную импли­кацию и т. п. (см.: <i>Функция</i>). <br><br><br>... смотреть

ФУНКТОР

средство преобразования знаковых выражений и порождения одних выражений из других. Напр., знак "+" можно рассматривать как Ф., преобразующий два числа... смотреть

ФУНКТОР

матем. фу́нктор - аддитивный функтор - двойственный функтор - двуместный функтор - канонический функтор - касательный функтор - контравариантный функтор - накрывающий функтор - постоянный функтор - пренебрегающий функтор - производный функтор - связный функтор - сингулярный функтор - тождественный функтор - функтор вложения ... смотреть

ФУНКТОР

м. матем. funtore m

ФУНКТОР

-а, ч., мат. Будь-яка неперервна операція.

ФУНКТОР

[funktor]ч.funktor

ФУНКТОР

-а, ч. , мат. Будь-яка неперервна операція.

ФУНКТОР

mathfoncteur

ФУНКТОР

〔名词〕 功能元件函子

ФУНКТОР

фу́нктор іменник чоловічого роду

ФУНКТОР

функто́р м.functor

ФУНКТОР

balanced functor

ФУНКТОР

матем. функтор

ФУНКТОР

функтор, -а

ФУНКТОР

функтор

ФУНКТОР АДДИТИВНЫЙ

аддитив функтор

ФУНКТОР ВЛОЖЕНИЯ

фу́нктор укла́дення

ФУНКТОР МНОГОМЕСТНЫЙ

&LT;math.&GT; composite functor

ФУНКТОР ПОЛУТОЧНЫЙ

&LT;math.&GT; half-exact functor

ФУНКТОР ТОЧЕК

functor of points

ФУНКТОР УКЛАДЕННЯ

функтор вложения

T: 152