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