- ограниченный предикат
- мат. bounded predicate
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
ОГРАНИЧЕННЫЙ КВАНТОР — квантор, используемый для характеризации предикатов не на всей области изменения данной предметной переменной, а на ее части, выделяемой нек рым предикатом R(х). При использовании в качестве О. к. всеобщности квантор и существования квантор… … Математическая энциклопедия
СВОЙСТВО — (греч. idion; лат. proprium) то, что присуще к. л. предмету и характеризует его само по себе, а не говорит о его отношении с некоторыми др. объектами. В логике Аристотеля С. то, что присуще всем членам некоторого вида и специфично для них; в… … Философская энциклопедия
Древнекитайский язык — Страны: Китай Классификация Кате … Википедия
Древнекитайский — язык Страны: Китай Классификация Категория: Языки Евразии Сино тибетская семья Китайская ветвь Письменность: Китайс … Википедия
АЛГОРИТМ — [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… … Философская энциклопедия
Квантор — (от лат. quantum сколько) логическая операция, дающая количественную характеристику области предметов, к которой относится выражение, получаемое в результате её применения. В обычном языке носителями таких характеристик служат слова типа… … Большая советская энциклопедия
СУЖДЕНИЕ — продукт и результат мыслительного процесса, предполагающего, что субъект, констатируя некоторое положение дел, выражает свое отношение к содержанию высказанной мысли в форме знания, убеждения, сомнения, веры. Это отношение либо подразумевается,… … Новейший философский словарь