Ломоносовские чтения - 2020. Секция "Социология"
Научно-практический форум о продвижении принципов «зеленой» экономики в целях ускорения научно-технологического прогресса
V Международная научно-практическая конференция «Инновационная экономика и менеджмент: методы и технологии»
Международная конференция «Современные образовательные траектории»
Международная научная конференция «COVID-19 как фактор отражения социального неравенства»
Всероссийская научная конференция «Влияние качества жизни на формирование ценностной структуры населения России»
X Международная конференция-конкурс «Инновационные информационно-педагогические технологии в системе ИТ-образования»
V Международная научная конференция «Конвергентные когнитивно-информационные технологии»
X международная научно-практическая конференцию НАММИ «Актуальные проблемы медиаисследований – 2020»
VII Международная научная конференция «Русская литература ХХ–XXI веков как единый процесс (проблемы теории и методологии изучения)»
13 октября 2020 года исполнилось 70 лет заведующему кафедрой математической логики и теории алгоритмов механико-математического факультета МГУ, доктору физико-математических наук, профессору, академику Российской академии наук Алексею Львовичу Семёнову.
Выпускник механико-математического факультета МГУ А.Л. Семёнов — известный специалист в области математической логики, кибернетики, теоретической информатики, образования. Он доказал, что свойство натуральных чисел, автоматное в двух существенно разных системах счисления, выражается в арифметике Пресбургера. Занимался вопросами разрешимости теорий, в частности, арифметики сложения с дополнительным одноместным предикатом, систем алгоритмических алгебр и теорий одноместных функций на натуральном ряде, а также вопросами выразимости в теориях первого порядка. В 1979 году вместе с В.А. Успенским А.Л. Семёнов сделал обзорный доклад на симпозиуме «Алгоритмы в современной математике», материалы которого вошли в книгу «Теория алгоритмов: основные открытия и приложения». Ряд его статей были посвящены алгоритмической случайности. В последней из них поставлен вопрос о совпадении определения случайности с немонотонными играми и случайности по Мартин-Лёфу, не решённый до сих пор.
Большую часть своей профессиональной деятельности А.Л. Семёнов посвятил развитию математического образования в школах и в вузах. Под его руководством разработан ряд компьютерных сред и инструментов образовательной деятельности, соответствующих современным целям школьного образования. А.Л. Семёнов — руководитель авторского коллектива первого отечественного учебника по основам информатики и вычислительной техники, учебников по информатике и алгоритмике для начальной и средней школы. А.Л. Семёнов — автор более 200 научных и учебно-методических работ, лауреат ряда престижных премий, в том числе премии ЮНЕСКО за применение информационных и коммуникационных технологий в образовании.
Курсы, которые читает А.Л. Семёнов, и руководимые им семинары пользуются заслуженным успехом у студентов и аспирантов.
За многолетнюю плодотворную научно-педагогическую деятельность на благо Московского университета и в связи с юбилеем приказом ректора заведующему кафедрой механико-математического факультета Семёнову Алексею Львовичу объявлена благодарность.
