Аннотированный Тьюринг -The Annotated Turing

Аннотированный Тьюринг: экскурсия по исторической статье Алана Тьюринга о вычислимости и машине Тьюринга
Аннотированная обложка Тьюринга.jpg
Автор Чарльз Петцольд
Язык английский
Предмет Математика и вычисления
Жанр Нехудожественная литература
Издатель Джон Уайли и сыновья
Дата публикации
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: Долгий сон Диофанта

Смотрите также

Ссылки

внешние ссылки