Что такое Функтор? Значение и толкование слова funktor, определение термина

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

Посмотреть значение слова Функтор в других словарях:

Что означает термин Функтор?Словарь логики

Возможно Вам будет интересно узнать лексическое, прямое или переносное значение этих слов:

Функционализм - (лат.-исполнение, совершение): художественно-эстетическое направление в архитектуре, отчасти и в...

Функционер - - человек , чья деятельность состоит в том, чтобы выполнять функции, т.е. "функционировать", быть...

Функция - (от лат. functio - осуществление, выполнение) - соответствие между переменными величинами х и у,...

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

Футуризм - (лат.- будущее ): одно из художественных течений авангардистского искусства первой четверти 20 в....

Футурология - - собирательный термин для обозначения различных исследований будущих состояний общества и...

Футурошок - - термин , используемый в прогностических заключениях Олвином Тоффлером, Фукуямой и другими...