Оператор – (от лат. operator - действующий) - одна из категорий исходных символов искусственного (формализованного) языка , наряду с константой, переменной, связкой и др. категориями. Обычно О. определяется как выражение , связывающее переменные. Примером простого О. может служить О. дескрипции, или О. описания. Приписывание его к некоторой переменной х дает выражение, содержание которого можно передать как "тот х, который". Вместе с предикатом, скажем, "тяжелый" оно дает выражение "Тот х, который является тяжелым". Особое значение среди О. имеют кванторы : "для всех х" - квантор общности и "существует х такой, что" - квантор существования. Связывание кванторами переменных в предикате дает истинное или ложное высказывание . Пусть в выражении "х > 5" переменная х представляет действительные числа. Применив к этому выражению квантор общности, получаем ложное высказывание: "Для каждого такого числа верно, что оно больше пяти". Применив к этому же выражению квантор существования, получаем истинное высказывание: "Существует такое действительное число , которое больше пяти".
Что такое Оператор? Значение слова operator, философский словарь
Значение слова «Оператор» в Философском словаре. Что такое оператор? Узнайте, что означает слово operator - толкование слова, обозначение слова, определение термина, его лексический смысл и описание.
Оператор
Поделиться с друзьями:
Постоянная ссылка на страницу:
Ссылка для сайта/блога:
Ссылка для форума (BB-код):
«Оператор» в других словарях:
Оператор
- Математическое понятие, означающее соответствие междуэлементами двух множеств X и Y, относящее каждому элементу x из Xнекоторый эл...
Оператор
- А. Юридическое лицо, совершающее операции на бирже. Б. Лицо, работающее на техническом устройстве, компьютере и выполняюще...
Оператор
- (от лат. operator — действующий) — одна из категорий исходных символов искусственного (формализованного) языка, наряду с констант...
Оператор
- Врач-хирург, производящий операции. и еще 2 определения
ОПЕРАТОР
- А, м. 1. одуш. Специалист, выполняющий работу по управлению или обслуживанию какого-нибудь устройства или установки. О. ЭВМ. О. м...
оператор
- Образовано от операция по аналогии директор: дирекция и под. или из лат. ореratоr; см. Преобр. I, 652..
оператор
- - 1. лицо, осуществляющее какие-нибудь операции; 2. в системах управления это обобщенное отражение зависимости информации, получае...
оператор
- ОПЕР'АТОР , оператора, ·муж. 1. Врач-хирург, делающий операции. Опытный оператор. 2. То же, что кинооператор (...