Квантор



  1. КВАНТОР

    КВАНТОР – см. Логика предикатов [ЛОГИКА ПРЕДИКАТОВ].


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



  2. квантор

    Ква́нт/ор/.


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



  3. квантор

    орф.

    квантор, -а


    Орфографический словарь Лопатина



  4. квантор

    сущ., кол-во синонимов: 1 оператор 24


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



  5. Квантор

    (от лат. quantum — сколько)

    логическая операция, дающая количественную характеристику области предметов, к которой относится выражение, получаемое в результате её применения.


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



  6. Квантор

    Общее название для логических операций, к-рые по предикату Р(х)строят высказывание, характеризующее область истинности предиката Р(х). В математич.


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



  7. КВАНТОРЫ

    КВАНТОРЫ (от лат. quantum — сколько) — в логике и математике — логические эквиваленты слов

    "все", "каждый" и т. п. (кванторы общности) — "некоторый", "существует" (кванторы существования) и др


    Большой энциклопедический словарь



  8. Всеобщности Квантор

    Логическая операция, служащая для образования высказываний с помощью оборота "для всех х". В формализованных языках В. к. чаще всего обозначается . Применяются также обозначения . В. Е. Плиско.


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



  9. Общности Квантор

    То же, что всеобщности квантор.


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



  10. Существования Квантор

    Логическая операция, служащая для образования высказываний с помощью оборота лдля некоторых х


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



  11. Ограниченный Квантор

    Квантор, используемый для характеризации предикатов не на всей области изменения данной предметной

    О. к. всеобщности квантор и существования квантор обычно обозначаются и . Если — нек-рый предикат

    При применении таких кванторов к разрешимым предикатам получаются также разрешимые предикаты. В. Е. Плиско.


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



  12. ЗБАРАЖ

    1991). Заводы: "Квантор", сахарный, тарный и др. Замок (1648-54) — ансамбль монастыря бернардинцев (17 в.)


    Большой энциклопедический словарь



  13. Дедукции Теорема

    может быть пусто). При наличии кванторов аналогичное утверждение неверно: но не Одна из формулировок Д. т

    А|-В, то где означает результат приписывания V -кванторов (см. Квантор )по всем свободным переменным формулы

    Похожим образом формулируется Д. т. для логик, где имеются связки, "похожие" на кванторы

    если вводить V-кванторы не по всем свободным переменным, а лишь по тем, к-рые связываются кванторами

    или введения Э в посылку), при к-ром вводится квантор по y, причем посылка этого применения зависит


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



  14. Биба, Николай Викторович

    Биба, Николай Викторович

    Директор фирмы "Квантор" (г. Москва); родился 15 июня 1955 г.; окончил


    Большая биографическая энциклопедия



  15. Предваренная Формула

    Формула узкого исчисления предикатов (УИП), имеющая вид где Qi обозначает квантор всеобщности

    или квантор существования $, переменные х i, xj различны при и Y — формула, не содержащая кванторов. П. ф

    передвигать все кванторы влево. Получающаяся в результате П. ф. наз. предваренной формой данной формулы


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



  16. ИСЧИСЛЕНИЕ ПРЕДИКАТОВ

    и отношений, а также выражений "все" и "некоторые" (кванторы) — позволяющие количественно


    Большой энциклопедический словарь



  17. Исчисление предикатов

    субъектно-предикатной структуры предложений) правила оперирования с Кванторами. См. Высказывание, Логика предикатов.


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



  18. оператор

    дельта-оператор 1 диспетчер 14 квантор 1 кинооператор 2 команда 163 металлург 435 микрооператор 1


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




  1. квантор
    Kvantor

    Русско-эстонский словарь



  2. квантор
    • kvantifikátor

    Русско-чешский словарь



  3. квантор
    імен. чол. роду

    квантор

    Украинско-русский словарь



  4. квантор
    сущ. муж. рода

    квантор

    Русско-украинский словарь



  5. квантор
    Лог. quantifier quantifier

    Полный русско-английский словарь



  6. квантор общности
    Generality quantifier, universal quantifier

    Полный русско-английский словарь



  7. квантор существования
    Existential quantifier

    Полный русско-английский словарь



  8. квантор существования
    • malý kvantifikátor

    Русско-чешский словарь



  9. импликационный квантор
    Мат. implicational quantifier

    Полный русско-английский словарь



  10. сжатие кванторов
    Мат. contraction of quantifiers

    Полный русско-английский словарь



  11. ограниченный квантор
    Bounded quantifier

    Полный русско-английский словарь



  12. навешивать квантор
    Quantify

    Полный русско-английский словарь



  13. тип квантора
    Мат. type of quantifier

    Полный русско-английский словарь



  14. фиктивный квантор
    Мат. dummy quantifier

    Полный русско-английский словарь



  15. навешивание кванторов
    Closure, quantification

    Полный русско-английский словарь



  16. обощенный квантор
    Мат. generalized quantifier

    Полный русско-английский словарь



  17. релятивизирующий квантор
    Мат. relativizing quantifier

    Полный русско-английский словарь



  18. статистический квантор
    Мат. statistical quantifier

    Полный русско-английский словарь



  19. функциональный квантор
    Мат. function quantifier

    Полный русско-английский словарь



  20. вынесение кванторов
    Мат. removal of quantifiers

    Полный русско-английский словарь



  21. гиперарифметический квантор
    Мат. hyperarithmetical quantifier

    Полный русско-английский словарь



  22. квантор всеобщности
    Generality quantifier, universal quantifier

    Полный русско-английский словарь



  23. квантор выбора
    Мат. choice quantifier

    Полный русско-английский словарь



  24. логический квантор
    Мат. logical quantifier

    Полный русско-английский словарь



  25. релятивизация кванторов
    Мат. relativization of quantifiers

    Полный русско-английский словарь



  26. свертывание кванторов
    Мат. contraction of quantifiers

    Полный русско-английский словарь



  27. кортеж кванторов
    Мат. sequence of quantifiers

    Полный русско-английский словарь



  28. квантор всеобщности
    • velký kvantifikátor

    Русско-чешский словарь



  29. пустой квантор
    Мат. vacuous quantifier

    Полный русско-английский словарь



  30. типовый квантор
    Мат. typical quantifier

    Полный русско-английский словарь



  31. стоящий под квантором
    Матем. quantified

    Полный русско-английский словарь



  32. нечеткий квантор
    Мат. fuzzy quantifier

    Полный русско-английский словарь



  33. неограниченный квантор
    Мат. pure quantifier, unbounded quantifier, unrestricted quantifier

    Полный русско-английский словарь



  34. элиминация кванторов
    Мат. elimination of quantifiers

    Полный русско-английский словарь



  35. область действия квантора
    Мат. scope of quantifier

    Полный русско-английский словарь



  36. навешивание квантора общности
    Мат. universal quantification

    Полный русско-английский словарь



  37. навешивание квантора существования
    Мат. existential quantification

    Полный русско-английский словарь



  38. связанный квантором существования
    Exislentially quantified

    Полный русско-английский словарь



  39. generality quantifier
    Квантор (все)общности квантор всеобщности


    Полный англо-русский словарь



  40. quantifier
    Сущ.; линг. квантификатор (логика) (математика) квантор — universal * всеобщий квантор, квантор

    общности — existential * квантор существования квантификатор, кванторное слово (количественное

    числительное, наречие и т. п.) quantifier: existential ~ квантор существования quantifier: existential ~ квантор существования universal ~ квантор всеобщности


    Полный англо-русский словарь



  41. quantify
    1

    навешать кванторы

    2

    навешивать кванторы


    Англо-русский морской словарь



  42. contraction of quantifiers
    Мат. свертывание кванторов; сжатие [склеивание] кванторов


    Полный англо-русский словарь



  43. exislentially quantified
    Связанный квантором существования; стоящий под квантором существования


    Полный англо-русский словарь



  44. existentially quantified
    Мат. связанный квантором существования; стоящий под квантором существования


    Полный англо-русский словарь



  45. kvantifikátor
    • квантор


    Чешско-русский словарь



  46. quantor
    Квантор


    Полный англо-русский словарь



  47. kvantor
    Квантор


    Эстонско-русский словарь



  48. quantifiers
    Кванторы


    Полный англо-русский словарь



  49. malý kvantifikátor
    • квантор существования


    Чешско-русский словарь



  50. existential quantifier
    Квантор существования


    Полный англо-русский словарь



  51. bounded quantifier
    Ограниченный квантор


    Полный англо-русский словарь



  52. existence quantifier
    Квантор существования


    Полный англо-русский словарь



  53. contraction of quantifiers
    Сжатие кванторов


    Англо-русский морской словарь



  54. velký kvantifikátor
    • квантор всеобщности


    Чешско-русский словарь



  55. universal quantifier
    Квантор всеобщности


    Полный англо-русский словарь



  56. generalized quantifier
    Мат. обощенный квантор


    Полный англо-русский словарь



  57. unrestricted quantifier
    Мат. неограниченный квантор


    Полный англо-русский словарь



  58. numerical quantifier
    Мат. численный квантор


    Полный англо-русский словарь



  59. scope of quantifier
    Мат. область действия квантора


    Полный англо-русский словарь



  60. typical quantifier
    Мат. типовый квантор


    Полный англо-русский словарь



  61. relativization of quantifiers
    Мат. релятивизация кванторов


    Полный англо-русский словарь



  62. existencially quantified conjunction
    Конъюнкция с квантором существования


    Полный англо-русский словарь



  63. hyperarithmetical quantifier
    Мат. гиперарифметический квантор


    Полный англо-русский словарь



  64. choice quantifier
    Мат. квантор выбора


    Полный англо-русский словарь



  65. sequence of quantifiers
    Мат. кортеж кванторов


    Полный англо-русский словарь



  66. logical quantifier
    Мат. логический квантор


    Полный англо-русский словарь



  67. implicational quantifier
    Мат. импликационный квантор


    Полный англо-русский словарь



  68. relativizing quantifier
    Мат. релятивизирующий квантор


    Полный англо-русский словарь



  69. pure quantifier
    Мат. неограниченный квантор


    Полный англо-русский словарь



  70. removal of quantifiers
    Мат. вынесение кванторов


    Полный англо-русский словарь



  71. dummy quantifier
    Мат. фиктивный квантор


    Полный англо-русский словарь



  72. universal quantification
    Мат. навешивание квантора общности


    Полный англо-русский словарь



  73. restricted quantifier
    Мат. ограниченный квантор


    Полный англо-русский словарь



  74. existential quantification
    Мат. навешивание квантора существования


    Полный англо-русский словарь



  75. type of quantifier
    Мат. тип квантора


    Полный англо-русский словарь



  76. vacuous quantifier
    Мат. пустой квантор


    Полный англо-русский словарь



  77. unbounded quantifier
    Мат. неограниченный квантор


    Полный англо-русский словарь



  78. statistical quantifier
    Мат. статистический квантор


    Полный англо-русский словарь



  79. quantified variable
    Переменная под знаком квантора, квантифицируемая переменная


    Полный англо-русский словарь



  80. scope edge
    Контекстное ребро (графа запроса, содержащего вложенные кванторы)


    Полный англо-русский словарь



  81. quantified
    Матем. стоящий под квантором exislentially quantified Квантифицирующийся quantified количественный


    Полный англо-русский словарь



  82. degree of cut
    Лог. степень сечения (число пропозициональных связок и кванторов в секущей формуле правила)


    Полный англо-русский словарь


№2 (2447)№3 (2354)№4 (2318)№5 (2316)№6 (2314)№7 (2310)№7 (2310)№8 (2302)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№9 (2300)№10 (2299)№10 (2299)№10 (2299)№10 (2299)№10 (2299)№10 (2299)№10 (2299)№10 (2299)№10 (2299)№10 (2299)№10 (2299)№10 (2299)№10 (2299)№10 (2299)№10 (2299)№10 (2299)№10 (2299)№10 (2299)№10 (2299)№10 (2299)№10 (2299)№10 (2299)№10 (2299)№10 (2299)№10 (2299)