квантор

  • 1КВАНТОР — логический оператор, с помощью которого высказывание о к. л. отдельном объекте преобразуется в высказывание о совокупности (множестве) таких объектов. В логике используется два основных К.: К. общности, «V», и К. существования, «Э». В… …

    Философская энциклопедия

  • 2квантор — сущ., кол во синонимов: 1 • оператор (24) Словарь синонимов ASIS. В.Н. Тришин. 2013 …

    Словарь синонимов

  • 3квантор — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN quantifier …

    Справочник технического переводчика

  • 4Квантор — Квантор  общее название для логических операций, ограничивающих область истинности какого либо предиката и создающих выcказывание. Чаще всего упоминают: Квантор всеобщности (обозначение: , читается: «для всех…», «для каждого…» или «каждый…» …

    Википедия

  • 5КВАНТОР — общее название для логических операций, к рые по предикату Р(х)строят высказывание, характеризующее область истинности предиката Р(х). В математич. логике наиболее употребительны квантор всеобщности и квантор существования Высказывание означает,… …

    Математическая энциклопедия

  • 6Квантор — (от лат. quantum сколько) символ, используемый для обозначения некоторых операций математической логики, одновременно логическая операция, дающая количественную характеристику области предметов, к которым относится выражение, получаемое в… …

    Начала современного естествознания

  • 7квантор — (лат. quantum сколько) символ математической логики; логическая операция, дающая количественную характеристику области предметов, к которым относится выражение, получаемое в результате её применения. Новый словарь иностранных слов. by EdwART, ,… …

    Словарь иностранных слов русского языка

  • 8квантор — а, ч., лог. Логічний оператор, який переводить одну висловлювальну форму в іншу. Квантор існування …

    Український тлумачний словник

  • 9квантор — kvantorius statusas T sritis automatika atitikmenys: angl. quantifier vok. Quantor, m rus. квантор, m pranc. quantifier, m …

    Automatikos terminų žodynas

  • 10Квантор — (от лат. quantum сколько)         логическая операция, дающая количественную характеристику области предметов, к которой относится выражение, получаемое в результате её применения. В обычном языке носителями таких характеристик служат слова типа… …

    Большая советская энциклопедия

  • 11квантор — кв антор, а …

    Русский орфографический словарь

  • 12квантор — (2 м); мн. ква/нторы, Р. ква/нторов …

    Орфографический словарь русского языка

  • 13квантор — іменник чоловічого роду …

    Орфографічний словник української мови

  • 14квантор — квант/ор/ …

    Морфемно-орфографический словарь

  • 15Квантор всеобщности — Квантор всеобщности (обозначения: , ∀)  это условие, которое верно для всех обозначенных элементов, в отличие от квантора существования, где условие верно только для каких то отдельных из указанных чисел. Формально говоря, это квантор,… …

    Википедия

  • 16квантор всеобщности — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN universal quantifier …

    Справочник технического переводчика

  • 17квантор существования — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN existential quantifier …

    Справочник технического переводчика

  • 18Квантор общности — Не путать с: Кантор фамилия, Кантор, Георг Фердинанд Людвиг Филипп известный математик Квантор общее название для логических операций, ограничивающих область истинности какого либо предиката. Чаще всего упоминают квантор всеобщности (обозначение …

    Википедия

  • 19Квантор существования — В предикатной логике, квантор существования (экзистенциальный квантификатор)  это предикат свойства или отношения для, по крайней мере, одного элемента области определения. Он обозначается как символ логического оператора ∃ (произносится как …

    Википедия

  • 20КВАНТОР-СОФТ МЕТАЛЛ — ООО "Квантор Софт Металл". В ноябре 2001 г. отдел информационного программного обеспечения ЗАО "Квантор Софт" был преобразован в самостоятельную компанию ООО "Квантор Софт Металл". Выпускаемое программное обеспечение …

    Металлургический словарь