RUS  ENG
Полная версия
ПЕРСОНАЛИИ

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

Доклады и лекции в базе данных 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   


© МИАН, 2026