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