Скоро [ДМК] Проблема остановки в теории алгоритмов и не только [Кристиан С. Калюд]

Бывалый
29 Мар 2020
287,024
1,313,320
113
#1


В книге рассказывается о знаменитой «проблеме остановки»: может ли алгоритм за конечное время решить, остановится ли когда-нибудь произвольная компьютерная программа?

Поначалу этот вопрос кажется мелким и праздным: ну кому это может быть интересно? Но что, если все разумные сроки — неделя, год, десять лет — истекли, а программа, которую вы запустили, всё никак не останавливается? Можно ли сделать вывод, что она не остановится никогда?

«Проблема остановки»...

[ДМК] Проблема остановки в теории алгоритмов и не только [Кристиан С. Калюд]

Скачать:
Для просмотра содержимого вам необходимо авторизоваться