- n-местный предикат
- мат. n-argument predicate, n-place predicate
Большой англо-русский и русско-английский словарь. 2001.
n-местный предикат
Смотреть что такое "n-местный предикат" в других словарях:
ПРЕДИКАТ — функция, значениями к рой являются высказывания об n ках объектов, представляющих значения аргументов; при n=1 П. наз. свойством , при n>1 отношением , единичные высказывания могут рассматриваться как нульместные П. Чтобы задать re местный… … Математическая энциклопедия
Предикат — Эта статья или раздел нуждается в переработке. Пожалуйста, улучшите статью в соответствии с правилами написания статей. У этого термина … Википедия
РАЗРЕШИМЫЙ ПРЕДИКАТ — такой n местный предикат Р, заданный на нек ром множестве конструктивных объектов (напр., натуральных чисел) М, для к рого существует алгоритм, позволяющий для любого набора а 1; . . ., а п элементов множества Мнайти значение (И или Л) предиката… … Математическая энциклопедия
ОПРЕДЕЛИМОСТЬ — одно из осн. понятий методологии дедуктивных наук, связанное с особенностями и возможностями языковых средств описания и формализации, а также с аксиоматич. построением теорий. Различают О. синтаксическую и семантическую (см. Синтаксис и… … Философская энциклопедия
АРИФМЕТИКА ФОРМАЛЬНАЯ — арифметическое исчисление, логико математич. исчисление, формализующее элементарную теорию чисел. Язык наиболее употребительного варианта А. ф. содержит константу 0, числовые переменные, символ равенства, функциональные символы (прибавление 1) и… … Математическая энциклопедия
ПОНЯТИЕ — общее имя с относительно ясным содержанием и сравнительно четко очерченным объемом. П. являются, напр., «химический элемент», «закон», «сила тяготения», «астрономия», «поэзия» и т.п. Отчетливой границы между теми именами, которые можно назвать П … Философская энциклопедия
Переменная — переменное, одно из основных понятий математики и логики. Начиная с работ П. Ферма, Р. Декарта, И. Ньютона, Г. В. Лейбница и др. основоположников «высшей» математики под П. понимали некоторую «величину», которая может «изменяться»,… … Большая советская энциклопедия
ПРЕДМЕТНАЯ ОБЛАСТЬ — универсум, термин теории моделей, обозначающий область изменения (пробегания) предметных переменных данного формального языка. В качестве формальных языков берутся языки узкого исчисления предикатов. Каждый такой язык полностью описывается… … Математическая энциклопедия
моделей теория — МОДЕЛЕЙ ТЕОРИЯ раздел математической логики, в котором изучаются фундаментальные связи между синтаксическими свойствами предложений формального языка и семантическими свойствами их моделей. Наиболее развитой является М. т. формул… … Энциклопедия эпистемологии и философии науки
Предикаты — Предикатом называется любое математическое предложение, в котором есть по меньшей мере одна переменная. Предикат (n местный, или n арный) это функция с множеством значений {0,1} (или «Ложь» и «Истина»), определённая на n й декартовой степени… … Википедия
ЛОГИКО-МАТЕМАТИЧЕСКИЕ ИСЧИСЛЕНИЯ — прикладные исчисления, формализации математич. теорий. Л. м. и. задается своим языком и перечнем постулатов (эти элементы образуют синтаксис).и в большинстве случаев снабжается семантикой. Существенными чертами, отличающими Л. м. и. от аксиоматич … Математическая энциклопедия
