ФУНКТОР

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


Смотреть больше слов в «Словаре по логике»

ФУНКЦИЯ →← ФОРМЫ МЫСЛИ

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

ФУНКТОР

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

ФУНКТОР

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

ФУНКТОР

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

ФУНКТОР

м. матем. funtore m

ФУНКТОР

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

ФУНКТОР

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

ФУНКТОР

[funktor]ч.funktor

ФУНКТОР

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

ФУНКТОР

mathfoncteur

ФУНКТОР

〔名词〕 功能元件函子

ФУНКТОР

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

ФУНКТОР

функто́р м.functor

ФУНКТОР

balanced functor

ФУНКТОР

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

ФУНКТОР

функтор, -а

ФУНКТОР

функтор

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

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

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

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

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

<math.> composite functor

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

<math.> half-exact functor

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

functor of points

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

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

T: 154