Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Читаем Тьюринга. Путешествие по исторической статье Тьюринга о вычислимости и машинах Тьюринга
Часть III. Entscheidungsproblem
Поставить закладку
Если Вы наш подписчик,то для того чтобы скопировать текст этой страницы в свой конспект,
используйте
просмотр в виде pdf
. Вам доступно 27 стр. из этой главы.
Для продолжения работы требуется
Registration
Предыдущая страница
Следующая страница
Table of contents
Введение
Часть I. Основы
+
Часть II. Вычислимые числа
+
Часть III. Entscheidungsproblem
-
Глава 12. Логика и вычислимость
Глава 13. Вычислимые функции
Глава 14. Главное доказательство
Глава 15. Лямбда-исчисление
Глава 16. Постижение континуума
Часть IV. И далее
+
Избранная библиография
Дополнение: Машины Тьюринга, их разновидности и моделирование (Л. Н. Чернышов)
Данный блок поддерживает скрол*