https://youtu.be/JoY78ezLd48; Lecture 3. Logical languages; 35:20
https://youtu.be/cHv2_a2edpw; Lecture 4. Elimination of quantifiers; 48:31
https://youtu.be/CKYvEcin318; Lecture 5. Completeness of modal logic; 37:41
https://youtu.be/pdmIQAyNywM; Lecture 6. Building a model of the theory of logic of relations; 50:03
https://youtu.be/7ua1c3hEfmU; Lecture 7. Model theory. Beginnings; 1:00:07
https://youtu.be/m0MaOgfHHbU; Lecture 8. Elementary extensions; 29:26
https://youtu.be/w-RalDzkyhA; Lecture 9. Complete theories; 44:30
https://youtu.be/fXCoxWqV-ak; Lecture 10. Svenonius's theorem. Completeness of automorphisms; 54:08
https://youtu.be/Iih3So2EOuk; Lecture 11. Formalization of Mathematics; 22:30
https://youtu.be/gwq60ybDW0c; Lecture 12. Calculus; 20:54
https://youtu.be/TS95gbcpo28; Lecture 13. Algorithms; 34:20
https://youtu.be/k7yuqRsfhdw; Lecture 14. Complexity; 51:43
https://youtu.be/QsAsxeKrhK0; Lecture 15. Digital civilization; 1:10:27
2020
"Prospects for School Mathematical Education" A. L. Semenov's speech at the meeting of the Department of Mathematical Sciences of the Russian Academy of Sciences December 2020 Read the report