Аннотированный Тьюринг -The Annotated Turing
Автор | Чарльз Петцольд |
---|---|
Язык | английский |
Предмет | Математика и вычисления |
Жанр | Нехудожественная литература |
Издатель | Джон Уайли и сыновья |
Дата публикации |
2008 г. |
Тип СМИ | Печать ( мягкая обложка ) |
Страницы | 372 |
ISBN | 978-0-470-22905-7 |
OCLC | 2008022829 |
511,3 / 52 22 | |
Класс LC | QA267 .P48 |
Аннотированный Тьюринг: экскурсия по исторической статье Алана Тьюринга о вычислимости и машине Тьюринга - это книга Чарльза Петцольда , опубликованная в 2008 году компанией John Wiley & Sons, Inc.
Петцольд комментирует статью Алана Тьюринга «О вычислимых числах в приложении к Entscheidungsproblem ». Книга проводит читателей предложение за предложением через статью Тьюринга, предоставляя объяснения, дополнительные примеры, исправления и биографические данные.
Содержание
-
Часть I. Основы
- Глава 1: Гробница Диофанта
- Глава 2: Иррациональное и трансцендентное
- Глава 3: Столетия прогресса
-
Часть II. Вычислимые числа
- Глава 4: Образование Алана Тьюринга
- Глава 5: Машины в работе
- Глава 6: Сложение и умножение
- Глава 7: Также известные как подпрограммы
- Глава 8: Все - число
- Глава 9: Универсальная машина
- Глава 10: Компьютеры и вычислимость
- Глава 11: О машинах и людях
-
Часть III. Das Entscheidungsproblem
- Глава 12: Логика и вычислимость
- Глава 13: Вычислимые функции
- Глава 14: Основное доказательство
- Глава 15: Лямбда-исчисление
- Глава 16: Постижение континуума
-
Часть IV. И не только
- Глава 17: Все ли машина Тьюринга?
- Глава 18: Долгий сон Диофанта
Смотрите также
- Алан Тьюринг: Загадка (1983)
- Руководство Тьюринга (2017)