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

[Megan]

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

Книга рассматривает знаменитую "проблему остановки" – может ли алгоритм за конечное время определить, остановится ли произвольная компьютерная программа?

Изучая этот вопрос, стоит задуматься: что, если программа, запущенная вами, не прекращает своей работы даже после истечения всех разумных временных рамок – неделя, год, десять лет? Можно ли предположить, что она никогда не завершит свою работу?

"Проблема остановки" имеет отношение к различным областям, не ограничиваясь программированием:

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

Книга написана доступным языком, провоцирует на размышления, содержит иллюстрации, касается интересных приложений и практически не содержит сложных вычислений (хотя некоторые части могут быть более интересны тем, у кого есть глубокие знания в математике).

Предполагаемая аудитория – широкий круг технически подкованных читателей, заинтересованных в пределах вычислений. Книга будет полезна студентам, ученым и инженерам в областях информатики, математики, философии и физики.

**Издание:**
- Черно-белое
- **Оригинальное название:** *To Halt Or Not To Halt That Is The Question*
- **Оригинальный правообладатель:** World Scientific
- **Автор:** Калюд К. С.
- **Объем:** 264 стр.
- **ISBN:** 978-5-93700-187-0
- **Формат:** PDF

*Стоимость:* неизвестно

Для просмотра скрытого содержимого вы должны зарегистрироваться