| dc.contributor.author | Роджерс Х. (авт.); Душский В.А., Канович М.И., Ногина Е.Ю. (перевод с англ.); Успенский В.А. (ред.) | |
| dc.date.accessioned | 2016-02-22T13:21:37Z | |
| dc.date.available | 2016-02-22T13:21:37Z | |
| dc.date.issued | 1972 | |
| dc.identifier.isbn | | |
| dc.identifier.issn | | |
| dc.identifier.uri | http://ir.nmu.org.ua/handle/GenofondUA/56066 | |
| 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 | R7HFVBCKLA7LQOZ6ZVNAOY3UAHXSWCUP | |
| dc.identifier.crc32 | 80DBCBF1 | |
| dc.identifier.doi | | |
| dc.identifier.edonkey | 8E4051C0A62FCB8021DEE8E4A888C2A4 | |
| dc.identifier.googlebookid | | |
| dc.identifier.openlibraryid | | |
| dc.identifier.udk | | |
| dc.identifier.bbk | | |
| dc.identifier.libgenid | 1456 | |
| dc.identifier.md5 | 850B8EEDB0275F46108F7CCE2B41B79F | |
| dc.identifier.sha1 | LCZZBRDQRNK3WTMGXQDDRQV4UBAOEU2Q | |
| dc.identifier.tth | F67F7FYQAGB3LC55KWGUG4NHWRVJ7LHTXUG7U6Q | |
