Вклад А. Л. Семенова в теоретическую информатику включает результаты из области формальных грамматик, схем программ и динамических логик, реляционных алгебр, автоматно-реализуемых отношений, разрешающих алгоритмов для ряда математических теорий; построение теории алгоритмической случайности конечных последовательностей, параллельной теории комбинаторной случайности Колмогорова и базирующейся на колмогоровской сложности, решение проблемы Колмогорова о точной оценке сложности теста на случайность, развития теории абстрактных баз данных (реляционных алгебр). Результаты А. Л. Семенова в области создания информационных систем образования включают разработку сред, обеспечивающие эффективное управление образовательным процессом, систем формирования алгоритмического и логического мышления обучающихся, программно-аппаратно-методические информационные системы естественно-математических дисциплин. Ключевые слова Математика, информатика, математическая логика, теория алгоритмов, информационные системы |
![]() | ||
![]() |
Наш адрес: 119991 ГСП-1 Москва В-71, Ленинский просп., 14 Телефон: 938-0309 (Справ. бюро) Факс: (495)954-3320 (Лен.пр.,14), (495)938-1844 (Лен.пр.,32а) | ![]() ![]() |