Накупить товаров
в интернет-магазине!
в интернет-магазине!
| Главная | Каталог |
» Каталог
» Книги » Технические и естественные науки » Радиоэлектроника. Электротехника. Связь » Электроника. Электротехника
Каталог товаров:
 |
Алгоритмическая разрешимость1125 руб
Теория называется разрешимой, если такой алгоритм существует, и неразрешимой, в противном случае. High Quality Content by WIKIPEDIA articles! В математической логике и теории алгоритмов под разрешимостью подразумевают свойство формальной теории обладать алгоритмом, определяющим по данной формуле, выводима она из множества аксиом данной теории или нет. 2013. Вопрос о выводимости в формальной теории является частным, но вместе с тем, важнейшим случаем более общей проблемы разрешимости. |