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

Dozhd

Администратор
Регистрация
17 Янв 2014
Сообщения
181.665
Реакции
388.361
**Складчина: [ДМК] Проблема остановки в теории алгоритмов и не только [Кристиан С. Калюд]**

В книге "Проблема остановки" исследуется возможность остановки произвольной компьютерной программы за конечное время в рамках теории алгоритмов.

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

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

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

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

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