Оператор

Словари      Постоянная ссылка | Все категории

Оператор

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

Словари      Постоянная ссылка | Все категории
Мы в соцсетях:




Архивы pandia.ru
Алфавит: АБВГДЕЗИКЛМНОПРСТУФЦЧШЭ Я

Новости и разделы


Авто
История · Термины
Бытовая техника
Климатическая · Кухонная
Бизнес и финансы
Инвестиции · Недвижимость
Все для дома и дачи
Дача, сад, огород · Интерьер · Кулинария
Дети
Беременность · Прочие материалы
Животные и растения
Компьютеры
Интернет · IP-телефония · Webmasters
Красота и здоровье
Народные рецепты
Новости и события
Общество · Политика · Финансы
Образование и науки
Право · Математика · Экономика
Техника и технологии
Авиация · Военное дело · Металлургия
Производство и промышленность
Cвязь · Машиностроение · Транспорт
Страны мира
Азия · Америка · Африка · Европа
Религия и духовные практики
Секты · Сонники
Словари и справочники
Бизнес · БСЕ · Этимологические · Языковые
Строительство и ремонт
Материалы · Ремонт · Сантехника