Специальность ВАК:
05.13.17 (теоретические основы информатики)
Дата рождения:
04.12.1952
E-mail: Сайт: https://ulm.uni.udm.ru/~belt Ключевые слова: сложность вычислений; сложностные классы; субрекурсивные классы; субрекурсивные иерархии; интуиционистская математика; математика конструктивных систем; автоматизация доказательств; сложность доказательств; модели вычислений; неклассические логики; слабая арифметика; логика в компьютерных науках,
Основные темы научной работы:
Доказана разрешимость универсальной теории сложения и делимости натуральных чисел (1976). Получены машинные (итеративные) описания начальных классов Гжегорчика (1976–1979). Доказано отсутствие конечного базиса относительно суперпозиции у множества одноместных функций класса Гжегорчика $\cal E^0$ (1979). Построены формальные теории для порождения алгоритмов решения задаваемых задач с задаваемой вычислительной сложностью (1980, 1997). Создан эффективный метод дедуктивного синтеза алгоритмов, содержащих рекурсии (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.
