Spring 2026
По ту сторону кода (Европейский Университет СПБ)
Естественный вывод (Wiki)
Mathematical Introduction to Data Analysis (Smolny)
Fall 2025
Liberal Arts Mathematics AM (Smolny)
Spring 2025
How Did Math Begin to Rule? (Smolny)
EPISTEMO (ENSGSI)
TIM (ENSGSI)
Fall 2024
Liberal Arts Mathematics AM (Smolny)(materials)
MIAI(ENSGSI)
TIM (ENSGSI)
Spring 2024
Proba (ENSGSI)
Epistemologie (ENSGSI)
Approfondissement en histoire de la géométrie (Histoire de la géométrie d’Euclide à Grothendieck 2) (UL, MADELHIS MA program )
Fall 2023
Stat Intro (ENSGSI)
Statistical Methods and Data Analysis (ENSGSI)
Introduction to Liberal Arts Mathematics (Smolny), syllabus
Histoire de la géométrie d’Euclide à Grothendieck 1 (UL, MADELHIS MA program )
Spring 2023
MathEd Research Projects (presented in UL AHP in May 2023)
Experimental Design (ENSGSI)
Epistemologie (ENSGSI)
Fall 2022
Vecteurs en géométrie et physique (ENSGSI)(polys)(test 1)(test 2)
Science and War (Smolny Beyond Borders), syllabus
Spring 2022
Proofs and Fundamentals (Smolny)
2021
Introduction to Mathematics (Smolny)
History and Philosophy of Mathematics (Smolny)
Applied Logic (RUS) (Smolny)
2017
Philosophy of Computer Science (Smolny)
2015
Analytic Philosophy (EU)
2012
Euclid’s Optics: lecture and seminar given at the summer school TEXNH on Greek and Roman science (Berdsk, Novosibirsk region, August 2011) (Euclid’s Optics in the original Greek and in English translation).
2011
Doing and Showing: Axiomatic Method and Ancient and Modern Mathematics: lecture given at the summer school TEXNH on Greek and Roman science (Berdsk, Novosibirsk region, August 2011) (slides)
Objects without Structure: a philosophical introduction to mathematical Category and Topos theory: 2 lectures given on Feburary 4, 2011 at Die Eidgenössische Technische Hochschule Zürich (ETH Zürich), Chair of Computer Aided Architectural Design (CAAD) (slides, a video-recording of this lecture is available through this CAAD page. )
2009/2010
Histoire et philosophie des mathématiques: renouvellement des fondements des mathématiques dans son histoire: à l’université Paris 6 (Jussieu) (programme)
2005/2006
Ensembles et Catégories / Sets and Categories (in French) , ENS (Paris) (annonce, programme)
2005
Category Theory and Logic: Tutorial given at 1-st School on Universal Logic (March 26-April 3, 2005, Montreux, Switzerland) (description, part1, part2, part3, part4)
Fall 2003
Naturalizing Rationality: Smolny College of University of Saint Petersbourg (syllabus)
Fall 2000
Philosophical Issues of Category Theory: Department of Philosophy, Kaliningrad State University (syllabus)