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

Free Download

Authors:

Size: 5 MB (5439418 bytes)

Pages: 255/255

File format:

Language:

Publishing Year:

Direct Download: Coming soon..
Download link:
Sign in to view hidden content.
Category:

Катленд Н. (Cutland)

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

Reviews

There are no reviews yet.

Be the first to review “Вычислимость. Введение в теорию рекурсивных функций”

Related products

Shopping Cart
Scroll to Top