Сегодня день рождения у Алексея Львовича Семенова — академика РАО, академика РАН, доктора физико-математических наук, профессора.
А. Л. Семенов – советский и российский учёный-математик, талантливый методист и преподаватель высшей категории. Алексей Львович – автор первого учебника информатики в СССР и ряда научных трудов по математической логике, кибернетике и теоретической информатике. Он является лауреатом премий Президента и Правительства Российской Федерации, Премии им. А. Н. Колмогорова Российской академии наук за выдающиеся достижения в математике, а также Премии ЮНЕСКО.
Алексей Львович Семёнов внес большой вклад в теоретическую информатику, которая включает результаты из области формальных грамматик, схем программ и динамических логик, реляционных алгебр, автоматно-реализуемых отношений, разрешающих алгоритмов для ряда математических теорий. Результаты А. Л. Семенова в области создания информационных систем образования включают разработку сред, обеспечивающих эффективное управление образовательным процессом, систем формирования алгоритмического и логического мышления обучающихся, программно-аппаратно-методические информационные системы естественно-математических дисциплин.
А. Л. Семенов также является автором около 200 научных работ. Его научные исследования посвящены проблемам информатизации образования. преподавания математики и информатики в начальной и средней школе.
Глубокоуважаемый Алексей Львович!
Поздравляем Вас с юбилеем!
Желаем Вам доброго здоровья, неугасаемой жизненной энергии и оптимизма,
мудрости, душевных сил и благополучия!
Президент Российской академии образования,
академик РАО, доктор психологических наук, профессор Ю.П. Зинченко