Проблема разрешения (нем. Entscheidungsproblem) — задача из области оснований математики, сформулированная Давидом Гильбертом в 1928 году: найти алгоритм, который бы принимал в качестве входных данных описание любой проблемы разрешимости (формального языка и математического утверждения « (Википедия)
ПРОЦЕ́СС, -а, м. 1. Последовательная смена каких-л. явлений, состояний и т. п., ход развития чего-л. Мировой исторический процесс. Процесс радиоактивного распада веществ. Процесс деления клетки. (Малый академический словарь, МАС)
РАЗРЕШЕ́НИЕ, -я, ср. 1. Действие по глаг. разрешить—разрешать (в 1 и 4 знач.); действие и состояние по глаг. разрешиться—разрешаться (в 1 знач.). Разрешение противоречий. (Малый академический словарь, МАС)
ПРОБЛЕ́МА, -ы, ж. 1. Сложный теоретический или практический вопрос, требующий решения, исследования. Проблема происхождения Земли. Разрешить проблему. (Малый академический словарь, МАС)
Проблема разрешения (нем. Entscheidungsproblem) — задача из области оснований математики, сформулированная Давидом Гильбертом в 1928 году: найти алгоритм, который бы принимал в качестве входных данных описание любой проблемы разрешимости (формального языка и математического утверждения «
Все значения словосочетания «проблема разрешения»ПРОЦЕ́СС, -а, м. 1. Последовательная смена каких-л. явлений, состояний и т. п., ход развития чего-л. Мировой исторический процесс. Процесс радиоактивного распада веществ. Процесс деления клетки.
Все значения слова «процесс»РАЗРЕШЕ́НИЕ, -я, ср. 1. Действие по глаг. разрешить—разрешать (в 1 и 4 знач.); действие и состояние по глаг. разрешиться—разрешаться (в 1 знач.). Разрешение противоречий.
Все значения слова «разрешение»ПРОБЛЕ́МА, -ы, ж. 1. Сложный теоретический или практический вопрос, требующий решения, исследования. Проблема происхождения Земли. Разрешить проблему.
Все значения слова «проблема»