- Эффективный процесс
-
Эту статью следует викифицировать. Пожалуйста, оформите её согласно правилам оформления статей.Пусть задано некоторое множество , часть элементов которого обладает свойством . Тогда эффективным процессом (методом, алгоритмом) называется такой процесс, который для любого элемента позволяет за конечное число шагов выяснить, обладает ли элемент свойством или не обладает.
Полуэффективный процесс
Если элемент обладает свойством , полуэффективный процесс позволяет это выявить за конечное число шагов. Если же не обладает свойством, полуэффективный процесс, возможно, не сможет сказать ничего определенного об x за конечное число шагов.
Таким образом, с помощью полуэффективного процесса мы либо узнаем, что обладает свойством , либо не сможем ничего выяснить в отношении .
Для улучшения этой статьи по математике желательно?: - Найти и оформить в виде сносок ссылки на авторитетные источники, подтверждающие написанное.
- Проставить интервики в рамках проекта Интервики.
- Дополнить статью (статья слишком короткая либо содержит лишь словарное определение).
Категории:- Математическая логика
- Теория алгоритмов
Wikimedia Foundation. 2010.