- проблема перечислимости
- мат. enumerability problem
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
ДИОФАНТОВЫХ УРАВНЕНИИ ПРОБЛЕМА РАЗРЕШИМОСТИ — проблема отыскания алгоритма для распознавания по любому диофантову уравнению, имеет ли оно решение. Существенным в постановке проблемы является требование найти универсальный метод, к рый должен быть пригоден для любого уравнения (все известные… … Математическая энциклопедия
ДИОФАНТОВО МНОЖЕСТВО — множество состоящее из упорядоченных наборов из пцелых (целых неотрицательных, целых положительных) чисел, для к рого можно указать диофантово уравнение зависящее от ппараметров а 1, ..., а п, допустимыми значениями к рых являются целые… … Математическая энциклопедия
Модель акторов — В компьютерных науках модель акторов представляет собой математическую модель параллельных вычислений, которая трактует понятие «актор» как универсальный примитив параллельного численного расчёта: в ответ на сообщения, которые он получает, актор… … Википедия