#1338766
Тьюринг доказал, что проблема остановки:
Варианты ответа:
- неразрешима
- разрешима для некоторых специальных случаев
- разрешима для всех возможных программ
- не была полностью исследована
Курсы в категории:
Правоведение