Компьютерные версии вычислений с оракулами

Abstract

В учебном пособии прослеживаются история возникновения и становления математической логики как самостоятельного раздела математики и информатики, подробно проанализированы системные подходы к организации вычислений и принципов программирования на абстрактных вычислительных машинах с оракулом. Издание предназначено для студентов и аспирантов соответствующих специальностей и практикующих специалистов в области вычислительной техники.