Математические труды
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор
Правила для авторов

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Матем. тр.:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Математические труды, 1998, том 1, номер 1, страницы 29–53 (Mi mt132)  
Оракульное программирование в языке высокого уровня

Р. В. Ганова

Алтайский государственный технический университет им. И. И. Ползунова
PDF полного текста (304 kB)
Аннотация: Данная статья носит скорее «разведывательный» характер. В ней рассматриваются абстрактные вычисления с одноместными оракулами при наличии допустимых отказов. В ходе исследований выделяется «язык высокого уровня», характерная особенность которого — наличие коман-деклараций. Основная роль в описываемой вычислительной ситуации принадлежит «поисковым» машинам, ведущим учет воплощений машин в процессе индуктивного построения оракулов.
Ключевые слова и фразы: допустимый отказ, воплощение, поисковая машина, свободный режим, селектор, команда-декларация, язык высокого уровня.
Статья поступила: 01.01.1998
Реферативные базы данных:
УДК: 517.11
Образец цитирования: Р. В. Ганова, “Оракульное программирование в языке высокого уровня”, Матем. тр., 1:1 (1998), 29–53; Siberian Adv. Math., 8:2 (1998), 49–69
Цитирование в формате AMSBIB
\RBibitem{Gan98}
\by Р.~В.~Ганова
\paper Оракульное программирование в языке высокого уровня
\jour Матем. тр.
\yr 1998
\vol 1
\issue 1
\pages 29--53
\mathnet{http://mi.mathnet.ru/mt132}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=1763698}
\zmath{https://zbmath.org/?q=an:0924.03066}
\transl
\jour Siberian Adv. Math.
\yr 1998
\vol 8
\issue 2
\pages 49--69
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/mt132
  • https://www.mathnet.ru/rus/mt/v1/i1/p29
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Математические труды Siberian Advances in Mathematics
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025