Математическая энциклопедия - разрешимый предикат
Связанные словари
Разрешимый предикат
разрешимый предикат
такой n-местный предикат Р, заданный на нек-ром множестве конструктивных объектов (напр., натуральных чисел) М, для к-рого существует алгоритм, позволяющий для любого набора а 1; . . ., а п элементов множества Мнайти значение (И или Л) предиката Рна этом наборе. Иными словами, предикат является разрешимым, если он, рассматриваемый как n-местная функция на Мсо значениями во множестве {И, Л}, является вычислимой функцией.
Когда в качестве математич. уточнения понятия вычислимости используется понятие рекурсивной функции или какое-либо эквивалентное понятие, то вместо "Р. п." обычно употребляется термин "рекурсивный предикат". В. Е. Плиско.
Математическая энциклопедия. — М.: Советская энциклопедия
И. М. Виноградов
1977—1985
Рейтинг статьи:
Комментарии:
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 557 | |
2 | 483 | |
3 | 481 | |
4 | 472 | |
5 | 454 | |
6 | 440 | |
7 | 437 | |
8 | 433 | |
9 | 424 | |
10 | 423 | |
11 | 422 | |
12 | 413 | |
13 | 406 | |
14 | 375 | |
15 | 375 | |
16 | 372 | |
17 | 365 | |
18 | 364 | |
19 | 364 | |
20 | 362 |