A. L. Semenov, M. A. Babenko, A. Ya. Belov, N. K. Vereshchagin, M. E. Vishnikin, E. E. Zolin, V. N. Krupski, S. L. Kuznetsov, V. A. Lyubetskii, A. A. Onoprienko, M. R. Pentus, S. F. Soprunov, A. A. Sorokin, V. B. Shehtman, T. L. Yavorskaya, “Chair of Mathematical Logic and Theory of Algorithms”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2025, Number 1,Pages <nobr>23

Mathematics

Chair of Mathematical Logic and Theory of Algorithms

A. L. Semenov^a, M. A. Babenko^ab, A. Ya. Belov^a, N. K. Vereshchagin^a, M. E. Vishnikin^a, E. E. Zolin^a, V. N. Krupski^a, S. L. Kuznetsov^a, V. A. Lyubetskii^a, A. A. Onoprienko^a, M. R. Pentus^a, S. F. Soprunov^c, A. A. Sorokin^ad, V. B. Shehtman^ab, T. L. Yavorskaya^a

^a Lomonosov Moscow State University, Faculty of Mechanics and Mathematics
^b National Research University Higher School of Economics, Moscow
^c State budgetary educational institution "Moscow School No. 1788"
^d Artificial Intelligence Institute M. V. Lomonosov Moscow State University

Abstract: The paper describes the history of the creation and activities of the Chair of Mathematical Logic and Theory of Algorithms at Moscow State University. A brief description of the areas of work and achievements of graduates of the Chair and its fellows is given.

Key words: Chair of Mathematical Logic and Theory of Algorithms, Lomonosov Moscow State University.

UDC: 510.362, 512.562

Received: 21.07.2024

DOI: 10.55959/MSU0579-9368-1-66-1-4