Словарь по логике

ФУНКТОР

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


  1. функтор—а ч.i мат.i Будьяка неперервна операця....Великий тлумачний словник (ВТС) сучасної української мови
  2. функтор—функтор а...Дзвона чи дзвону? або -А (-Я) чи -У (-Ю) в родовому відмінку
  3. функтор—отображение одной категории i в другую согласованное со структурой категории. Точнее одноместным ковариантным функтором из категории в категорию или короче Ф. из в наз. п...Математическая энциклопедия
  4. функтор—функтор менник чоловчого роду...Орфографічний словник української мови
  5. функтор—функтор...Орысша-қазақша «Математика» терминологиялық сөздік
  6. функтор—math...Политехнический русско-французский словарь
  7. функтор—functor...Русско-английский морской словарь
  8. функтор—функтор м.ufunctor...Русско-английский политехнический словарь
  9. функтор—m....Русско-английский словарь математических терминов
  10. функтор—balanced functor...Русско-английский словарь по электронике
  11. функтор—functor двуместный функтор ковариантный функтор контравариантный функтор полуточный функтор функтор многоместный функтор полуточный...Русско-английский технический словарь
  12. функтор—functor...Русско-английский толковый словарь терминов по информатике
  13. функтор—м. матем. funtore m...Русско-итальянский политехнический словарь
  14. функтор—...Русско-китайский словарь
  15. функтор—матем. функтор аддитивный функтор двойственный функтор двуместный функтор канонический функтор касательный функтор контравариантный функтор накрывающий функтор по...Русско-украинский политехнический словарь
  16. функтор—средство преобразования знаковых выражений и порождения одних выражений из других. Напр. знак можно рассматривать как Ф. преобразующий два числа в некоторое третье число...Словарь логики
  17. функтор—а ч. мат. Будьяка неперервна операця....Толковый словарь украинского языка
  18. функтор—матем. функтор...Украинско-русский политехнический словарь
  19. функтор—[funktor]...Українсько-польський словник