События

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

Ноя
17
Сб
Родился Август Фердинанд Мёбиус
Ноя 17 весь день
Ноя
19
Пн
Родился Михаил Васильевич Ломоносов
Ноя 19 весь день
Ноя
20
Вт
Родился Бенуа Мандельброт
Ноя 20 весь день
Ноя
22
Чт
Родился Джеффри Дэвид Ульман
Ноя 22 весь день
Ноя
26
Пн
Всемирный день информации
Ноя 26 весь день
Ноя
30
Пт
Международный день защиты информации
Ноя 30 весь день
Дек
3
Пн
Родился Джон Бэкус
Дек 3 весь день
Дек
4
Вт
День информатики в России
Дек 4 весь день
Родился Бельтюков Анатолий Петрович
Дек 4 весь день

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

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

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

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

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

Дек
7
Пт
Родился Аврам Ноам Хомский
Дек 7 весь день