Семёнов Алексей Львович

Доклады и лекции в базе данных Math-Net.Ru

1. Государственный учебник. Информатика
   А. Л. Семёнов
   Общее собрание Отделения математических наук РАН, 2025
   8 декабря 2025 г. 12:00   
2. The relevance of L. D. Kudryavtsev’s ideas for education in the 21st century
   А. Л. Семёнов
   VI Международная конференция "Функциональные пространства. Дифференциальные операторы. Проблемы математического образования", посвящённая 100-летию со дня рождения члена-корреспондента РАН, академика Европейской академии наук Л.Д. Кудрявцева
   17 ноября 2023 г. 12:00   
3. Приветственное слово
   А. А. Оноприенко, А. Л. Семёнов
   Однодневный семинар по математической логике
   29 июня 2023 г. 11:15   
4. Примеры и вопросы для решеток определимости
   А. Л. Семёнов
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   16 мая 2023 г. 18:30   
5. Recent results on definability lattices of numerical structures
   А. Л. Семёнов, С. Ф. Сопрунов
   Вторая конференция Математических центров России. Секция «Математическая логика и теоретическая информатика»
   9 ноября 2022 г. 16:00   
6. Заседание посвящено 100-летию Георгия Максимовича Адельсон-Вельского
   В. Л. Арлазаров, В. М. Тихомиров, Ю. С. Ильяшенко, А. Л. Семёнов, М. А. Кронрод
   Заседания Московского математического общества
   29 марта 2022 г. 18:30   
7. Цифровые технологии и искусственный интеллект для математики
   А. Л. Семёнов
   Общее собрание Отделения математических наук РАН, 2021
   13 декабря 2021 г.   
8. Перспективы математического образования в России
   А. Л. Семёнов
   Общее собрание Отделения математических наук РАН, 2020
   7 декабря 2020 г. 12:40   
9. Российская школьная информатика. Эволюция содержания 1986 - 2016 (в рамках дискуссии «Преподавание информатики в XXI веке»)
   А. Л. Семёнов
   Международная конференция «Стратегии достижения высоких образовательных результатов»
   7 октября 2015 г. 15:00   
10. Вступительное слово
    А. Л. Семёнов
    Международная конференция «Стратегии достижения высоких образовательных результатов»
    7 октября 2015 г. 10:00   
11. Круглый стол «Математика и информатика в школе»
    А. Л. Семёнов
    Конференция «Московское Математическое Общество и Московский государственный университет имени М. В. Ломоносова», посвященная 150-летию образования Московского Математического Общества
    25 декабря 2014 г. 10:00
12. Российское школьное математическое образование: история и современность
    А. Л. Семёнов
    Общее собрание Отделения математических наук РАН, 2012
    17 декабря 2012 г. 13:35   
13. Качественная теория алгоритмов
    А. Л. Семёнов
    Летняя школа «Современная математика», 2012
    21 июля 2012 г. 12:45   
14. The lattice of relational algebras definable in integers with successor
    Aleksei Semenov, Sergei Soprunov
    Международная конференция «Logical Models of Reasoning and Computation»
    3 февраля 2012 г. 12:45   
15. Модальные логики
    А. Л. Семёнов
    Летняя школа «Современная математика», 2011
    23 июля 2011 г. 12:45   
16. Доказательства невозможности в математической логике и теории алгоритмов
    А. Л. Семёнов
    Летняя школа «Современная математика», 2010
    23 июля 2010 г. 12:45   
17. Выразимость и разрешимость
    А. Л. Семёнов
    Летняя школа «Современная математика», 2009
    22 июля 2009 г. 09:30