Выходные сведения:
Ганов, В. А. Компьютерные версии вычислений с оракулами: учеб. пособие / В. А. Ганов, Р. В. Дегтерева, В. Р. Карымов ; АлтГУ. - Барнаул : Изд-во АлтГУ, 2014. - 88 с.
Аннотация:
В учебном пособии прослеживаются история возникновения и становления математической логики как самостоятельного раздела математики и информатики, подробно проанализированы системные подходы к организации вычислений и принципов программирования на абстрактных вычислительных машинах с оракулом. Издание предназначено для студентов и аспирантов соответствующих специальностей и практикующих специалистов в области вычислительной техники.
