Home » События

События

Нет фото

Различные события связанные с ИТ и математикой.

Ноя
26
Вс
Всемирный день информации
Ноя 26 весь день
Ноя
30
Чт
Международный день защиты информации
Ноя 30 весь день
Дек
3
Вс
Родился Джон Бэкус
Дек 3 весь день
Дек
4
Пн
День информатики в России
Дек 4 весь день
Родился Бельтюков Анатолий Петрович
Дек 4 весь день

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

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

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

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

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

Дек
7
Чт
Родился Аврам Ноам Хомский
Дек 7 весь день
Дек
9
Сб
Родилась Грейс Мюррей Хоппер
Дек 9 весь день
Дек
10
Вс
Родилась Августа Ада Кинг
Дек 10 весь день
Дек
11
Пн
Родился Чарльз Уильям Бахман
Дек 11 весь день
Дек
14
Чт
Родился Стивен Артур Кук
Дек 14 весь день
Яндекс цитирования Яндекс.Метрика