Поиск:
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Э Ю Я


Статьи

ФУНКТОР:



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

ГАДАМЕР ГАНС-ГЕОРГ (Р. В 1900)
ГАДАНИЕ
ГАГАРИН АЛЕКСЕЙ ПЕТРОВИЧ
ГАИЗ
ГАЛАН ЯРОСЛАВ АЛЕКСАНДРОВИЧ
ГАЛАХА
ГАЛИЛЕЙ ГАЛИЛЕО (1564-1642)
ГАЛИЛЕЙ ГАЛИЛЕО
ГАЛЛИКАНИЗМ, ГАЛЛИКАНСТВО
ГАЛЛЮЦИНАЦИИ