English Russian
Известия
Журнал
теоретических
и прикладных
исследований
 Алтайского государственного университета
Print ISSN 1561-9443
On-line ISSN 1561-9451
Список выпусков
Содержание 1-1(69) 2011
Управление, вычислительная техника и информатика
Математика и механика
Физика
Редакционная коллегия
Форматы файлов полных текстов статей
 
1-1(69)2011
Математика и механика

Предыдущий | Следующий
 
В.А. Ганов, В.Р. Карымов

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

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

Полный текст в формате PDF, 251Kb. Язык: русский.

ГАНОВ Валерий Александрович
доктор физико-математических наук, профессор кафедры алгебры и математической логики Алтайского государственного университета (Барнаул)
КАРЫМОВ Владимир Рабхатович
старший преподаватель кафедры теоретической кибернетики и прикладной математики Алтайского государственного университета (Барнаул)
Печатное издание "Известия АГУ" copyright © 1996-2011 Алтайский государственный университет.
Зарегистрировано Комитетом РФ по печати. Свидетельство о регистрации Г-0745. Все права защищены. Ни одна из частей журнала либо издание в целом не могут быть перепечатаны без письменного разрешения авторов или издателя.
По вопросам приобретения журнала обращаться в издательство АГУ по адресу:
656049, Россия, Барнаул, ул. Димитрова 66. Телефон +7 (3852) 366351.