ФУНКТОР
средство преобразования знаковых выражений и порождения одних выражений из других. Напр., знак "+" можно рассматривать как Ф., преобразующий два числа в некоторое третье число. В зависимости от числа объектов, к которым применяется Ф., последние разделяются на нуль-местные, одноместные, двухместные и т. д. К числу нуль-местных Ф. в математической логике относят константы - индивидные и пропозициональные. Одноместными Ф. будут знаки отрицания, необходимости, возможности и т. п., двухместными Ф. - бинарные логические связки: конъюнкция, дизъюнкция, импликация и т. п.
Иногда Ф. подразделяются на экстенсиональные и интенсиональные. Примером первых являются связки классической математической логики, для которых важны лишь истинностные значения тех простых высказываний, к которым они применяются. Если Ф. учитывает еще и смысловые, содержательные связи между теми элементами, к которым он применяется, он считается интенсиональным. К числу интенсиональных Ф. относят знаки возможности и необходимости, сильную, строгую, релевантную импликацию и т. п. (см.: Функция).
- функтор—а ч.i мат.i Будьяка неперервна операця....Великий тлумачний словник (ВТС) сучасної української мови
- функтор—функтор а...Дзвона чи дзвону? або -А (-Я) чи -У (-Ю) в родовому відмінку
- функтор—отображение одной категории i в другую согласованное со структурой категории. Точнее одноместным ковариантным функтором из категории в категорию или короче Ф. из в наз. п...Математическая энциклопедия
- функтор—функтор менник чоловчого роду...Орфографічний словник української мови
- функтор—функтор...Орысша-қазақша «Математика» терминологиялық сөздік
- функтор—math...Политехнический русско-французский словарь
- функтор—functor...Русско-английский морской словарь
- функтор—функтор м.ufunctor...Русско-английский политехнический словарь
- функтор—m....Русско-английский словарь математических терминов
- функтор—balanced functor...Русско-английский словарь по электронике
- функтор—functor двуместный функтор ковариантный функтор контравариантный функтор полуточный функтор функтор многоместный функтор полуточный...Русско-английский технический словарь
- функтор—functor...Русско-английский толковый словарь терминов по информатике
- функтор—м. матем. funtore m...Русско-итальянский политехнический словарь
- функтор—...Русско-китайский словарь
- функтор—матем. функтор аддитивный функтор двойственный функтор двуместный функтор канонический функтор касательный функтор контравариантный функтор накрывающий функтор по...Русско-украинский политехнический словарь
- функтор—ФУНКТОР средство преобразования знаковых выражений и порождения одних выражений из других. Напр. знак можно рассматривать как Ф. преобразующий два числа в некоторое тре...Словарь по логике
- функтор—а ч. мат. Будьяка неперервна операця....Толковый словарь украинского языка
- функтор—матем. функтор...Украинско-русский политехнический словарь
- функтор—[funktor]...Українсько-польський словник