| 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 | |
