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