Прикладные словари

Справочные словари

Толковые словари

Жаргонные словари

Гуманитарные словари

Технические словари



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


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

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

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

Формализация - (от лат. forma — вид, образ)  — отображение ...
Формальная Логика - или: Л о г и к а,  — ...
Формальная Суппозиция - см.: Суппозиция. ...
Формальная Теория -  — теория в формализованном языке. Важной особенностью Ф. ...
Формы Мысли - или: Формы мышления,  — в традици­онной логике основными ...
Функция - (от лат. functio — осуществление, выполнение)  — соот­ветствие ...
Целевое Обоснование -   обоснование позитивной оценки какогото объекта ссылкой на ...
Цель-Средство -   обоснование позитивной ценности сред­ства путем ссылок на ...
Частное Суждение -   суждение, имеющее логическую струк­туру «Некоторые S суть ...
Эвристика - (от греч. heurisko отыскиваю, открываю)   со­вокупность ...


Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Код нашей кнопки: