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

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

Вычисления с оракулом и ограничением на диалог

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

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

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