Mostrar el registro sencillo del ítem
Степени неразрешимости
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 |
Ficheros en el ítem
Este ítem aparece en la(s) siguiente(s) colección(ones)
-
Libgen [81666]