Показать сокращенную информацию
Алгоритмы и рекурсивные функции
dc.contributor.author | Мальцев А. И. | |
dc.date.accessioned | 2016-03-24T09:03:29Z | |
dc.date.available | 2016-03-24T09:03:29Z | |
dc.date.issued | 1965 | |
dc.identifier.isbn | ||
dc.identifier.issn | ||
dc.identifier.uri | http://libarch.nmu.org.ua/handle/GenofondUA/71953 | |
dc.description.abstract | Данная книга посвящна систематическому изложению теории алгоритмов и рекурсивных функций. В начальных главах указываются точные определения различных классов рекурсивных функций, доказываются фундаментальные свойства этих классов и строятся примеры рекурсивных функций, обладающих рядом особо важных свойств. В последующих главах рассматриваются классы алгоритмов, достаточные для вычисления произвольных рекурсивных функций и связанные с так называемыми машинами Тьюринга-Поста. Несколько параграфов посвящены приложениям теории алгоритмов к алгебре (проблема эквивалентности слов в конечно определенных полугруппах), математической логике (тождественно истинные формулы языка 1-й ступени) и теории чисел (проблема разрешимости диофантовых уравнений). Книга возникла из курса лекций, читанных автором в Новосибирском университете. Она может служить пособием при первоначальном изучении предмета. В книге содержится много дополнительного материала, появившегося в журналах лишь в последние годы. Это может сделать ее интересной и для аспирантов и научных работников, занимающихся как математической логикой, так и ее приложениями в математике, теории программирования, математической лингвистике и в других смежных областях науки. | |
dc.language.iso | Russian | |
dc.publisher | Наука | |
dc.subject | Математика\\Алгоритмы и структуры данных | |
dc.subject | Mathematics\\Algorithms and Data Structures | |
dc.subject.ddc | ||
dc.subject.lcc | ||
dc.title | Алгоритмы и рекурсивные функции | |
dc.type | other | |
dc.identifier.aich | CKRYAEZHV2OXJUNP2BLWGZGKCIFA6YFB | |
dc.identifier.crc32 | E5F90F0D | |
dc.identifier.doi | ||
dc.identifier.edonkey | 5CBCCF4CA827C6B358566F7C855A92E4 | |
dc.identifier.googlebookid | ||
dc.identifier.openlibraryid | ||
dc.identifier.udk | 519.95 | |
dc.identifier.bbk | ||
dc.identifier.libgenid | 1047212 | |
dc.identifier.md5 | bbdbf02bbcb7a4543240de916a8487ce | |
dc.identifier.sha1 | KQHTX57KEPOR5GRODA34EDTY6EQ4AJVG | |
dc.identifier.tth | MWBLHT7XQRPCDNX55KEUUQKAHJJUWQZO7NJK2VQ |
Файлы в этом документе
Данный элемент включен в следующие коллекции
-
Libgen [81666]