Национальный цифровой ресурс Руконт - межотраслевая электронная библиотека (ЭБС) на базе технологии Контекстум (всего произведений: 645535)
Контекстум

Читаем Тьюринга. Путешествие по исторической статье Тьюринга о вычислимости и машинах Тьюринга (3000,00 руб.)

0   0
Первый авторПетцольд
ИздательствоМ.: ДМК Пресс
Страниц442
ID795528
АннотацияКнига, которую вы держите в руках, принадлежит перу известного американского популяризатора Чарлза Петцольда. В ней автор исследует главную работу Алана Тьюринга, посвященную проблеме разрешимости. Именно в этой работе впервые появились знаменитые машины Тьюринга, ставшие на многие годы универсальной теоретической концепцией computer science. Автор тонко и деликатно проведет вас по самым потаенным уголкам, из которых родились на свет современные компьютеры и современное программное обеспечение. Читателя ждет захватывающее путешествие в прошлое, из которого получилось наше настоящее и развивается будущее.
ISBN978-5-97060-010-8
УДК004.3.01:510.5
ББК32.97
Петцольд, Ч. Читаем Тьюринга. Путешествие по исторической статье Тьюринга о вычислимости и машинах Тьюринга / Ч. Петцольд .— Москва : ДМК Пресс, 2014 .— 442 с. — ISBN 978-5-97060-010-8 .— URL: https://rucont.ru/efd/795528 (дата обращения: 16.07.2024)

Предпросмотр (выдержки из произведения)

Читаем_Тьюринга._Путешествие_по_исторической_статье_Тьюринга_о_вычислимости_и_машинах_Тьюринга.pdf
УДК 004.3.01:510.5 ББК 32.97 П29 П29 Читаем Тьюринга. Путешествие по исторической статье Тьюринга о вычислимости и машинах Тьюринга / пер. с анг. Борисова Е. В., Чернышова Л. Н. – М.: ДМК Пресс, 2014. – 440 с.: ил. Петцольд Ч. ISBN 978-5-97060-010-8 Книга, которую вы держите в руках, принадлежит перу известного американского популяризатора Чарлза Петцольда. В ней автор исследует главную работу Алана Тьюринга, посвященную проблеме разрешимости. Именно в этой работе впервые появились знаменитые машины Тьюринга, ставшие на многие годы универсальной теоретической концепцией computer science. Автор тонко и деликатно проведет вас по самым потаенным уголкам, из которых родились на свет современные компьютеры и современное программное обеспечение. Читателя ждет захватывающее путешествие в прошлое, из которого получилось наше настоящее и развивается будущее. УДК 004.3.01:510.5 ББК 32.97 Все права защищены. Любая часть этой книги не может быть воспроизведена в какой бы то ни было форме и какими бы то ни было средствами без письменного разрешения владельцев авторских прав. Материал, изложенный в данной книге, многократно проверен. Но поскольку вероятность технических ошибок все равно существует, издательство не может гарантировать абсолютную точность и правильность приводимых сведений. В связи с этим издательство не несет ответственности за возможные ошибки, связанные с использованием книги. ISBN 978-0-470-22905-7 (анг.) © 2008 by Wiley Publishing, Inc. ISBN 978-5-97060-010-8 (рус.) © Оформление, перевод, ДМК Пресс, 2014 © Перевод с анг. Борисов Е. В., Чернышов Л. Н., 2013
Стр.5
Содержание Введение .........................................................................7 Часть I. Основы ..............................................................15 Глава 1. Прах Диофанта покоится в этой могиле ..........16 Глава 2. Иррациональные и трансцендентные числа ....27 Глава 3. Столетия прогресса ........................................53 Часть II. Вычислимые числа ............................................76 Глава 4. Годы учебы ......................................................77 Глава 5. Машины в работе ...........................................99 Глава 6. Сложение и умножение ................................ 117 Глава 7. Они же – подпрограммы ............................... 132 Глава 8. Всё есть число .............................................. 148 Глава 9. Универсальная машина ................................ 165 Глава 10. Вычислительные машины и вычислимость ... 186 Глава 11. О машинах и людях ..................................... 215 Часть III. Entscheidungsproblem ..................................... 227 Глава 12. Логика и вычислимость ............................... 228 Глава 13. Вычислимые функции ................................. 263 Глава 14. Главное доказательство .............................. 292 Глава 15. Лямбда-исчисление .................................... 315 Глава 16. Постижение континуума .............................. 336
Стр.6
6  Содержание Часть IV. И далее ........................................................... 363 Глава 17. Весь мир – машина Тьюринга? .................... 364 Глава 18. Долгий сон Диофанта .................................. 396 Избранная библиография ............................................ 406 Дополнение: Машины Тьюринга, их разновидности и моделирование (Л. Н. Чернышов) .............................. 411
Стр.7

Облако ключевых слов *


* - вычисляется автоматически