n-местная функция
Смотреть что такое "n-местная функция" в других словарях:
РЕКУРСИВНАЯ ФУНКЦИЯ — ч а с т и ч н о р е к у р с и в н а я ф у н к ц и я, одно из математич. уточнений интуитивного понятия вычислимой функции, определяемое следующим образом. Рассматриваются функции, заданные на натуральных числах и с натуральными значениями.… … Математическая энциклопедия
ЛОГИЧЕСКАЯ ФУНКЦИЯ — n местная функция, определенная на множестве истинностных значений{И, Л} и принимающая значения в этом множестве. С каждой логической операцией связана логич. функция нек рые истинностные значения, то есть истинностное значение высказывания такие … Математическая энциклопедия
Многосортная алгебра — Под многосортной алгеброй понимают некоторое множество объектов с определёнными на нём операциями (функциями). Объекты могут быть разнотипными, тогда каждому объекту приписывают так называемый сорт некоторое имя (или символ), характеризующий тип… … Википедия
ПРИМИТИВНАЯ РЕКУРСИЯ — способ определения функций от натуральных аргументов с натуральными значениями. Говорят, что (n+1) местная функция f(x1, ... , х п, у). получена примитивной рекурсией из n местной функции g( х 1, ... , х п).и ( п+2).местной функции h( х 1, ... ,… … Математическая энциклопедия
моделей теория — МОДЕЛЕЙ ТЕОРИЯ раздел математической логики, в котором изучаются фундаментальные связи между синтаксическими свойствами предложений формального языка и семантическими свойствами их моделей. Наиболее развитой является М. т. формул… … Энциклопедия эпистемологии и философии науки
ЛОГИКО-МАТЕМАТИЧЕСКИЕ ИСЧИСЛЕНИЯ — прикладные исчисления, формализации математич. теорий. Л. м. и. задается своим языком и перечнем постулатов (эти элементы образуют синтаксис).и в большинстве случаев снабжается семантикой. Существенными чертами, отличающими Л. м. и. от аксиоматич … Математическая энциклопедия
РАЗРЕШИМЫЙ ПРЕДИКАТ — такой n местный предикат Р, заданный на нек ром множестве конструктивных объектов (напр., натуральных чисел) М, для к рого существует алгоритм, позволяющий для любого набора а 1; . . ., а п элементов множества Мнайти значение (И или Л) предиката… … Математическая энциклопедия
МЕТОДЫ ВРАЧЕБНОГО ИССЛЕДОВАНИЯ — І. Общие принципы врачебного исследования. Рост и углубление наших знаний, все большее, и большее техническое оснащение клиники, основанное на использовании новейших достижений физики, химии и техники, связанное с этим усложнение методов… … Большая медицинская энциклопедия
ГОЛОВНОЙ МОЗГ — ГОЛОВНОЙ МОЗГ. Содержание: Методы изучения головного мозга ..... . . 485 Филогенетическое и онтогенетическое развитие головного мозга............. 489 Bee головного мозга..............502 Анатомия головного мозга Макроскопическое и… … Большая медицинская энциклопедия
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
НАИМЕНЬШЕГО ЧИСЛА ОПЕРАТОР — m оператор, оператор минимизаци и, способ построения новых функций из других функций, состоящий в следующем. Пусть gесть (n+1) местная арифметич. функция, т. е. функция, аргументы к рой так же, как и она сама, принимают значения в множестве… … Математическая энциклопедия