https://youtu.be/HB17iL0C1BA; Алексей Семенов: Трансфинитная индукция. Лекция 2-1; 11:17;
https://youtu.be/q5_qhwVk9Cw; Алексей Семенов: Трансфинитная индукция. Лекция 2-2; 04:22;
https://youtu.be/lAzjruq3T-k; Алексей Семенов: Трансфинитная индукция. Лекция 2-3; 06:14;
https://youtu.be/Gbqk_TWdx1A; Алексей Семенов: Трансфинитная индукция. Лекция 2-4; 04:30;
https://youtu.be/igL0MkQBoQw; Алексей Семенов: Трансфинитная индукция. Лекция 2-5; 06:37
https://youtu.be/IHGRpjLDe54; Алексей Семенов: Трансфинитная индукция. Лекция 2-6; 03:04
https://youtu.be/v-zHdD7o6Bg; Алексей Семенов: Трансфинитная индукция. Лекция 2-7; 08:35
https://youtu.be/n3AWqjxNAGs; Алексей Семенов: Трансфинитная индукция. Лекция 2-8; 04:41
Лекции 3 - 15
https://youtu.be/JoY78ezLd48; Алексей Семенов. Лекция 3. Логические языки; 35:20
https://youtu.be/cHv2_a2edpw; Алексей Семенов. Лекция 4. Элиминация кванторов; 48:31
https://youtu.be/CKYvEcin318; Алексей Семенов. Лекция 5. Полнота модальной логики; 37:41
https://youtu.be/pdmIQAyNywM; Алексей Семенов. Лекция 6. Построение модели теории логики отношений; 50:03
https://youtu.be/7ua1c3hEfmU; Алексей Семенов. Лекция 7. Теория моделей. Начала; 1:00:07
https://youtu.be/m0MaOgfHHbU; Алексей Семенов. Лекция 8. Элементарные расширения; 29:26
https://youtu.be/w-RalDzkyhA; Алексей Семенов. Лекция 9. Полные теории; 44:30
https://youtu.be/fXCoxWqV-ak; Алексей Семенов. Лекция 10. Теорема Свенониуса. Полнота автоморфизмов; 54:08
https://youtu.be/Iih3So2EOuk; Алексей Семенов. Лекция 11. Формализация Математики; 22:30
https://youtu.be/gwq60ybDW0c; Алексей Семенов. Лекция 12. Исчисления; 20:54
https://youtu.be/TS95gbcpo28; Алексей Семенов. Лекция 13. Алгоритмы; 34:20
https://youtu.be/k7yuqRsfhdw; Алексей Семенов. Лекция 14. Сложность; 51:43
https://youtu.be/QsAsxeKrhK0; Алексей Семенов. Лекция 15. Цифровая цивилизация; 1:10:27
2020
«Перспективы школьного математического образования» Выступление Семенова А. Л. на собрании Отделения математических наук РАН Декабрь 2020 года Читать доклад