libcats.org
Главная

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

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

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

Книга охватывает основные вопросы теории вычислимых функций и ее приложений: сложность вычислений и алгоритмов, теоремы Геделя о неполноте и Черча о неразрешимости, семантику языков программирования. Изложение замкнутое, методически продуманное, имеется много упражнений.Для математиков, специалистов по ЭВМ, желающих ознакомиться с основами машинной математики.
Популярные книги за неделю:
Только что пользователи скачали эти книги: