квантор
51Суждение — Суждение  форма мышления, в которой что либо утверждается или отрицается о предмете, его свойствах или отношениях между предметами. Виды суждений и отношения между ними изучаются в философской логике. В математической логике суждениям… …
52Таблица математических символов — В математике повсеместно используются символы для упрощения и сокращения текста. Ниже приведён список наиболее часто встречающихся математических обозначений, соответствующие команды в TeXе, объяснения и примеры использования. Кроме указанных… …
53Гимназия № 2 (Коломна) — Школа гимназия № 2 «Квантор» Основана: 1992 год Директор: Александр Ахсарбекович Аликов Тип: Средняя общеобразовательная школа Адрес: 140408, г. Коломна, ул. Калинина, д. 14а Телефон: Work …
54Математические символы — В математике повсеместно используются символы для упрощения и сокращения текста. Ниже приведён список наиболее часто встречающихся математических обозначений, соответствующие команды в Кроме указанных символов, иногда используются их зеркальные… …
55Польская нотация — Префиксная нотация Инфиксная нотация Постфиксная нотация Не следует путать с …
56оператор — инструктор; квантор, хирург, телефонист, диспетчер, команда, телефонистка, врач Словарь русских синонимов. оператор сущ., кол во синонимов: 24 • автооператор (1) • …
57логика предикатов — ЛОГИКА ПРЕДИКАТОВ раздел символической логики, изучающий рассуждения и др. языковые контексты с учетом внутренней структуры входящих в них простых высказываний; при этом выражения языка трактуются функционально, т.е. как знаки некоторых… …
58Соответствие Карри — Соответствие Карри  Ховарда (изоморфизм Карри  Ховарда, англ. formulae as types interpretation)  наблюдаемая структурная эквивалентность между математическими доказательствами и программами. Эта эквивалентность может быть… …
59ЛОГИКА ПРЕДИКАТОВ — раздел дедуктивной логики, в котором ведущую роль играет влияние внутренней структуры суждений на логический вывод. Поскольку здесь полностью сохраняется характер связей логики высказываний (см. Логика высказываний ), то Л. п. можно рассматривать …
60ЗБАРАЖ — город (с 1939) на Украине, Тернопольская обл. Железнодорожная станция. 14,1 тыс. жителей (1991). Заводы: Квантор , сахарный, тарный и др. Замок (1648 54), ансамбль монастыря бернардинцев (17 в.) ЗБАРСКИЙ Борис Ильич (1885 1954) российский… …
