|
|
Большая Советская Энциклопедия (цитаты)
|
|
|
![](/page/blank.gif) |
Разрешимое множество | Разрешимое множество (далее Р) в логике, множество, расположенное в некоторой совокупности конструктивных объектов (т. е. множество, составленное из каких-то объектов этой совокупности), для которого существует алгоритм, разрешающий это множество (относительно объемлющей совокупности) в следующем смысле: алгоритм применим к любому объекту объемлющей совокупности и дает в качестве результата ответ на вопрос, принадлежит ли этот объект к рассматриваемому множеству или нет.
|
Для поиска, наберите искомое слово (или его часть) в поле поиска
|
|
![](/page/box_bl.gif) |
![](/page/box_b.gif) |
![](/page/box_br.gif) |
|
|
Новости 27.07.2024 08:21:23
|
|
|
![](/page/blank.gif) |
|
|
![](/page/box_bl.gif) |
![](/page/box_b.gif) |
![](/page/box_br.gif) |
|