функтор


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

Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС. . 1997.

Смотреть что такое "функтор" в других словарях:

  • функтор — Лингвистический объект, который обозначает функцию от других лингвистических объектов, имеющую в качестве аргументов (вход) список лингвистических объектов и выдающую в качестве значения (выход) единственный уникально определенный лингвистический …   Справочник технического переводчика

  • Функтор — В Викисловаре есть статья «функтор» Функтор: Функтор (программирование)  объект, который можно использовать как функцию; на С++  класс, имеющий в себе операцию перегрузки круглых скобок(operator() (…)). Функтор (математика)  тип… …   Википедия

  • ФУНКТОР — отображение одной категории в другую, согласованное со структурой категории. Точнее, одноместным ковариантным функтором из категории в категорию или, короче, Ф. из в наз. пара отображений обозначаемых обычно одной и той же буквой, напр. F… …   Математическая энциклопедия

  • функтор — а, ч., мат. Будь яка неперервна операція …   Український тлумачний словник

  • функтор — іменник чоловічого роду …   Орфографічний словник української мови

  • функтор (в электросвязи) — функтор Функция, отображающая одну категорию на другую. [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN functor …   Справочник технического переводчика

  • Функтор (математика) — У этого термина в программировании есть другое значение: «Функтор (программирование)». Все значения этого слова здесь. Функтор  это особый тип отображений между категориями, сохраняющих структуру. Их можно рассматривать как морфизмы в… …   Википедия

  • Функтор (программирование) — У этого термина существуют и другие значения, см. Функтор. Функциональный объект (англ. function object), так же функтор, функционал и функционоид   распространённая в программировании конструкция, позволяющая использовать объект как… …   Википедия

  • ГОМОЛОГИЧЕСКИЙ ФУНКТОР — функтор на абелевой категории., определяющий нек рую гомологич. конструкцию на этой категории. Система ковариантных аддитивных функторов из абелевой категории в абелеву категорию наз. гомологическим функтором, если выполняются следующие аксиомы.… …   Математическая энциклопедия

  • ПРОИЗВОДНЫЙ ФУНКТОР — функтор, измеряющий отклонение основного функтора от точного. Пусть Т( А, С). аддитивный функтор из категории R1 модулей и R2 модулей в категорию R модулей, ковариантный по первому аргументу и контравариантный по второму. Для инъективной… …   Математическая энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.