RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
 
Бельтюков Анатолий Петрович

В базах данных Math-Net.Ru
Публикаций: 15
Научных статей: 15
Цитированных статей: 7
Ссылок в Math-Net.Ru: 8

Статистика просмотров:
Эта страница:1412
Страницы публикаций:2453
Полные тексты:619
Списки литературы:96
профессор
доктор физико-математических наук (1993)
Специальность ВАК: 05.13.17 (теоретические основы информатики)
Дата рождения: 04.12.1952
E-mail:
Сайт: http://ulm.uni.udm.ru/~belt
Ключевые слова: сложность вычислений; сложностные классы; субрекурсивные классы; субрекурсивные иерархии; интуиционистская математика; математика конструктивных систем; автоматизация доказательств; сложность доказательств; модели вычислений; неклассические логики; слабая арифметика; логика в компьютерных науках,

Основные темы научной работы

Доказана разрешимость универсальной теории сложения и делимости натуральных чисел (1976). Получены машинные (итеративные) описания начальных классов Гжегорчика (1976–1979). Доказано отсутствие конечного базиса относительно суперпозиции у множества одноместных функций класса Гжегорчика $\cal E^0$ (1979). Построены формальные теории для порождения алгоритмов решения задаваемых задач с задаваемой вычислительной сложностью (1980, 1997). Создан эффективный метод дедуктивного синтеза алгоритмов, содержащих рекурсии (1993).

Научная биография:

Окончил математико-механический факультет ЛГУ в 1975 г. (кафедра математического обеспечения ЭВМ). Кандидатская диссертация — 1979 г. ("Некоторые свойства сложностных классов алгорифмов"). Докторская — 1993 г. ("Дедуктивный синтез алгоритмов с учетом вычислительных ресурсов").

   
Основные публикации:
  • Бельтюков А. П. Комбинированные иерархии конечных равнодоступных адресных машин // Теория сложности вычислений. Часть VI. (Записки научных семинаров ПОМИ, т. 277.) С.-Петербург, 2001, с. 5–13.
  • Beltiukov A. P. Intuitionistic formal theories with realizability in subrecursive classes // Annals of Pure and Applied Logic, 89, 1997, p. 3–15.
  • Бельтюков А. П. Теория для дедуктивного синтеза алгоритмов в вычислительной среде // Программирование, 1993, № 5, с. 17–27.
  • Beltiukov A. P. Automatical deductive synthesis of programs with recursions // Lecture Notes in Computer Science, v. 735, 1993, p. 414–422.
  • Бельтюков А. П. Машинное описание и иерархия начальных классов Гжегорчика // Зап. научн. семин. Ленингр. отд. Матем. ин-та АН СССР, т. 88, 1979, с. 30–46.

http://www.mathnet.ru/rus/person17669
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
http://www.ams.org/mathscinet/search/author.html?return=viewitems&mrauthid=304044

Публикации в базе данных Math-Net.Ru
1. Математическая модель фотоэлектрического преобразователя с использованием $W$-функции Ламберта
В. В. Зиновьев, А. П. Бельтюков, О. А. Бартенев
Изв. ИМИ УдГУ, 2016, № 2(48),  22–30
2. Интерактивные реализации логических формул
А. П. Бельтюков
Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки, 26:2 (2016),  177–193
3. Математическое моделирование изображений формул с целью их распознавания
А. Ю. Сапаров, А. П. Бельтюков
Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки, 2013, № 1,  153–167
4. Применение регулярных выражений в распознавании математических текстов
А. Ю. Сапаров, А. П. Бельтюков
Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки, 2012, № 2,  63–73
5. О проблемах читателей и процессе чтения в электронной среде
А. П. Бельтюков, С. Г. Маслов
Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки, 2010, № 4,  101–111
6. Конструктивные механизмы в ИТ-сфере
А. П. Бельтюков, С. Г. Маслов, О. А. Морозов
Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки, 2009, № 2,  102–109
7. Простые типизированные функциональные языки программирования
А. П. Бельтюков
Вестн. Удмуртск. ун-та. Матем., 2007, № 1,  223–234
8. Слабая конструктивная арифметика второго порядка с извлечением алгоритмов, вычислимых за полиномиальное время
А. П. Бельтюков
Зап. научн. сем. ПОМИ, 304 (2003),  7–12
9. Комбинированные иерархии конечных равнодоступных адресных машин
А. П. Бельтюков
Зап. научн. сем. ПОМИ, 277 (2001),  5–13
10. Нижние оценки сложности для машинных моделей вычисления
А. П. Бельтюков
Зап. научн. сем. ЛОМИ, 118 (1982),  4–24
11. Иерархии сложности вычисления частичных функций со значениями 0 и 1
А. П. Бельтюков
Матем. заметки, 28:3 (1980),  423–431
12. Машинное описание и иерархия начальных классов Гжегорчика
А. П. Бельтюков
Зап. научн. сем. ЛОМИ, 88 (1979),  30–46
13. Максимальная последовательность классов, преобразуемых примитивной рекурсией в заданный класс
А. П. Бельтюков
Зап. научн. сем. ЛОМИ, 68 (1977),  3–18
14. Разрешимость универсальной теории натуральных чисел со сложением и делимостью
А. П. Бельтюков
Зап. научн. сем. ЛОМИ, 60 (1976),  15–28
15. Итеративное описание класса $\varepsilon^1$ иерархии Гжегорчика
А. П. Бельтюков
Зап. научн. сем. ЛОМИ, 60 (1976),  3–14

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2017