Манин Ю.И. - Вычислимое и невычислимое

Автор(ы)

Кибернетика

Год

1980

Язык

rus

Теги

Программирование

Аннотация

Вычислимое и невычислимое Год издания : 1980 Автор : Манин Ю.И. Издательство : Советское радио Серия : Кибернетика Язык : Русский Формат : DjVu Качество : Отсканированные страницы Количество страниц : 128 Описание : Книга посвящена доказательству существования невычислимых функций и алгоритмически неразрешимых задач. Обсуждаются проблемы оценки сложности вычислений и алгоритмов. Книга будет полезна широкому кругу специалистов, занимающихся проблемами машинного перевода, искусственного интеллекта, общего использования ЭВМ. Примеры страниц Оглавление Предисловие (3). Введение (5). Глава I. Рекурсивные функции и алгоритмы (16). Глава II. Диофантовы множества и алгоритмическая неразрешимость (46). Глава III. Сложность и случайность (65). Глава IV. Формальные языки и вычислимость (74). Глава V. Теорема Геделя (87). Глава VI. Рекурсивные группы (101). Список литературы (123). Именной указатель (125). Предметный указатель (125). Опубликовано группой