оператор

оператор
(от лат. operator - действующий)
одна из категорий исходных символов искусственного (формализованного) языка, наряду с константой, переменной, связкой и др. категориями. Обычно О. определяется как выражение, связывающее переменные.
Примером простого О. может служить О. дескрипции, или О. описания. Приписывание его к некоторой переменной х дает выражение, содержание которого можно передать как "тот х, который". Вместе с предикатом, скажем, "тяжелый" оно дает выражение "Тот х, который является тяжелым".
Особое значение среди О. имеют кванторы: "для всех х" - квантор общности и "существует х такой, что" - квантор существования. Связывание кванторами переменных в предикате дает истинное или ложное высказывание.
Пусть в выражении "х > 5" переменная х представляет действительные числа. Применив к этому выражению квантор общности,
получаем ложное высказывание: "Для каждого такого числа верно, что оно больше пяти". Применив к этому же выражению квантор существования, получаем истинное высказывание: "Существует такое действительное число, которое больше пяти".

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

Игры ⚽ Поможем решить контрольную работу
Синонимы:

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

  • оператор — Человек/люди, в задачи которого(ых) входят установка, пуск в эксплуатацию, эксплуатация, наладка, поддержание в рабочем состоянии, чистка, ремонт или транспортировка машины. Термин «оператор» распространяется также на работников,… …   Справочник технического переводчика

  • ОПЕРАТОР — (лат. operator, от opus труд.). Производящий операции, врач, имеющий дело с ранами. В машине: главная часть, приводящая в действие. Словарь иностранных слов, вошедших в состав русского языка. Чудинов А.Н., 1910. ОПЕРАТОР 1) врач, производящий… …   Словарь иностранных слов русского языка

  • ОПЕРАТОР — ОПЕРАТОР, математическое понятие, представляющее действие над функцией или переменной. Сам по себе оператор не имеет значения, однако приобретает его, когда дается правило, объясняющее, как данный оператор действует на данную функцию. Например,… …   Научно-технический энциклопедический словарь

  • оператор — (человек оператор) человек, деятельность трудовая коего заключается во взаимодействии с органами управления некоим процессом на базе его модели информационной. Словарь практического психолога. М.: АСТ, Харвест. С. Ю. Головин. 1998 …   Большая психологическая энциклопедия

  • ОПЕРАТОР — (кинооператор, оператор постановщик) (от лат. operator действующий), в художественном кино один из основных создателей фильма, осуществляющий его съемку. Совместно с режиссером постановщиком определяет идейно художественную направленность фильма …   Энциклопедия кино

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

  • оператор — инструктор; квантор, хирург, телефонист, диспетчер, команда, телефонистка, врач Словарь русских синонимов. оператор сущ., кол во синонимов: 24 • автооператор (1) • …   Словарь синонимов

  • ОПЕРАТОР — 1) математическое понятие, означающее соответствие между элементами двух множеств X и Y, относящее каждому элементу x из X некоторый элемент y из Y. Эквивалентный смысл имеют термины отображение , преобразование , функция . Обычно термин операто …   Большой Энциклопедический словарь

  • ОПЕРАТОР — ОПЕРАТОР, оператора, муж. 1. Врач хирург, делающий операции. Опытный оператор. 2. То же, что кинооператор (кино). 3. Должностное лицо на железнодорожных станциях, принимающее по телефону распоряжения диспетчера и сообщающее ему сведения о… …   Толковый словарь Ушакова

  • Оператор — [operator] 1. В общем смысле правило, переводящее некоторый объект, систему из одного состояния в другое; элемент решения задачи. 2. Соответствие между элементами двух множеств X и Y, относящее каждому элементу x из X некоторый элемент y из Y.… …   Экономико-математический словарь

  • Оператор — А. Юридическое лицо, совершающее операции на бирже. Б. Лицо, работающее на техническом устройстве, компьютере и выполняющее определенный набор действий, операций. Словарь бизнес терминов. Академик.ру. 2001 …   Словарь бизнес-терминов


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

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