| dc.contributor.author | Шенфилд Д. | |
| dc.date.accessioned | 2016-03-23T20:29:27Z | |
| dc.date.available | 2016-03-23T20:29:27Z | |
| dc.date.issued | 1977 | |
| dc.identifier.isbn | | |
| dc.identifier.issn | | |
| dc.identifier.uri | http://libarch.nmu.org.ua/handle/GenofondUA/64888 | |
| dc.description.abstract | Из предисловия редактора:Книга Шенфилда посвящена изложению основных результатов о степенях неразрешимости (тьюринговых степенях). Эти результаты традиционно считаются трудными, так как в их доказательствах используются различные формы так называемого ''метода приоритета''. Автор книги поставил перед собой цель изложить материал в максимально простой и интуитивно оправданной форме. И нужно сказать, что это ему в основном удалось. Педагогическое мастерство автора позволило ему создать небольшую книгу, которая содержит практически все принципиально важные результаты о рекурсивно перечислимых степенях и которая тем не менее доступна для широких кругов читателей - математиков, интересующихся современными достижениями теории алгоритмов. Стоит, однако, предупредить, что чтение книги потребует от читателя напряженного внимания. | |
| dc.language.iso | Russian | |
| dc.publisher | Наука | |
| dc.subject | Математика\\Математическая логика | |
| dc.subject | Mathematics\\Logic | |
| dc.subject.ddc | | |
| dc.subject.lcc | | |
| dc.title | Степени неразрешимости | |
| dc.type | other | |
| dc.identifier.aich | WA65XQDFB7AREMATYLJHMUWFKEAJFK54 | |
| dc.identifier.crc32 | 89043F86 | |
| dc.identifier.doi | | |
| dc.identifier.edonkey | D17ABC18A94DF05B98B5A6FA12CFA51C | |
| dc.identifier.googlebookid | | |
| dc.identifier.openlibraryid | | |
| dc.identifier.udk | | |
| dc.identifier.bbk | | |
| dc.identifier.libgenid | 280528 | |
| dc.identifier.md5 | CF33300643AB3F2B83D617D9CD2870E5 | |
| dc.identifier.sha1 | TE6VZF5AVRKXNB2ALSQC6EACH3DV7A64 | |
| dc.identifier.tth | ORUZIPFZ5VJWYX7434EK4SBNBWINPJHN3BPXZLY | |
