Вычислимость

Список источников >Компьютерные науки >Вычислимость >

Вычислимость. Введение в теорию рекурсивных функций

Автор: Катленд Н.
Год: 1983
Издание:

Страниц: [не указано]
ISBN: [не указан]
Книга охватывает основные вопросы теории вычислимых функций и ее приложений: сложность вычислений и алгоритмов, теоремы Геделя о неполноте и Черча о неразрешимости, семантику языков программирования. Изложение замкнутое, методически продуманное, имеется много упражнений.Для математиков, специалистов по ЭВМ, желающих ознакомиться с основами машинной математики.
Добавлено: 2009-08-09 01:26:35

Видео о книгах:

Это интересно...

Наши контакты

Рейтинг@Mail.ru

© 2009-2016, Список Литературы