Показать сокращенную информацию
Вычислимость. Введение в теорию рекурсивных функций
dc.contributor.author | Катленд Н. (Cutland) | |
dc.date.accessioned | 2016-02-21T17:20:34Z | |
dc.date.available | 2016-02-21T17:20:34Z | |
dc.date.issued | 1983 | |
dc.identifier.isbn | ||
dc.identifier.issn | ||
dc.identifier.uri | http://ir.nmu.org.ua/handle/GenofondUA/33679 | |
dc.description.abstract | Книга охватывает основные вопросы теории вычислимых функций и ее приложений: сложность вычислений и алгоритмов, теоремы Геделя о неполноте и Черча о неразрешимости, семантику языков программирования. Изложение замкнутое, методически продуманное, имеется много упражнений.Для математиков, специалистов по ЭВМ, желающих ознакомиться с основами машинной математики. | |
dc.language.iso | Russian | |
dc.publisher | Мир | |
dc.subject | Математика\\Вычислительная математика | |
dc.subject | Mathematics\\Computational Mathematicsematics | |
dc.subject.ddc | ||
dc.subject.lcc | ||
dc.title | Вычислимость. Введение в теорию рекурсивных функций | |
dc.type | other | |
dc.identifier.aich | NOUDVDT7O5IHHUPKQOF7G3O46H3TIUXZ | |
dc.identifier.crc32 | F2C741B4 | |
dc.identifier.doi | ||
dc.identifier.edonkey | 179BC3B2FB867921A4AB680279644462 | |
dc.identifier.googlebookid | ||
dc.identifier.openlibraryid | ||
dc.identifier.udk | ||
dc.identifier.bbk | ||
dc.identifier.libgenid | 1445 | |
dc.identifier.md5 | 1ABB03982B2EFFF5BB3346A03F277221 | |
dc.identifier.sha1 | KQV7WPGHLOIDF6MWCA3QUEQJUWQKHUBE | |
dc.identifier.tth | DAFFU3JYAF54H4CEHSRUQ2WSRCUK5TOBEXLR37A |
Файлы в этом документе
Данный элемент включен в следующие коллекции
-
Libgen [81666]