Родился Бельтюков Анатолий Петрович

Когда:
04.12.2016 весь день
2016-12-04T00:00:00+03:00
2016-12-05T00:00:00+03:00

Профессор, доктор физико-математических наук.

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

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

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

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