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

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

Моделирование гиперарифметической вычислимости на машинах с ограничениями

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

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

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