Показать сокращенную информацию
Компьютерные версии вычислений с оракулами
dc.contributor.author | Ганов, Валерий Александрович | |
dc.contributor.author | Дегтерева, Руслана Валерьевна | |
dc.contributor.author | Карымов, Владимирович Рабхатович | |
dc.date.accessioned | 2014-12-03T08:06:15Z | |
dc.date.available | 2014-12-03T08:06:15Z | |
dc.date.issued | 2014 | |
dc.identifier.citation | Ганов, В. А. Компьютерные версии вычислений с оракулами: учеб. пособие / В. А. Ганов, Р. В. Дегтерева, В. Р. Карымов ; АлтГУ. - Барнаул : Изд-во АлтГУ, 2014. - 88 с. | ru_RU |
dc.identifier.isbn | 978-5-7904-1765-8 | |
dc.identifier.uri | http://elibrary.asu.ru/handle/asu/591 | |
dc.description.abstract | В учебном пособии прослеживаются история возникновения и становления математической логики как самостоятельного раздела математики и информатики, подробно проанализированы системные подходы к организации вычислений и принципов программирования на абстрактных вычислительных машинах с оракулом. Издание предназначено для студентов и аспирантов соответствующих специальностей и практикующих специалистов в области вычислительной техники. | ru_RU |
dc.publisher | Барнаул: Издательство Алтайского государственного университета | ru_RU |
dc.subject | Программирование | ru_RU |
dc.subject | Машины Шенфилда | ru_RU |
dc.subject | Арифметические множества | ru_RU |
dc.subject | Гиперарифметическая вычислимость | ru_RU |
dc.title | Компьютерные версии вычислений с оракулами | ru_RU |
dc.type | Other | ru_RU |