Chair of Mathematical Logic and Theory of Algorithms

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

Saved in:
Bibliographic Details
Published in:Moscow University mathematics bulletin Vol. 80; no. 1; pp. 23 - 33
Main Authors: Semenov, A. L., Babenko, M. A., Belov, A. Ya, Vereshchagin, N. K., Vishnikin, M. E., Zolin, E. E., Krupski, V. N., Kuznetsov, S. L., Lyubetsky, V. A., Onoprienko, A. A., Pentus, M. R., Soprunov, S. F., Sorokin, A. A., Shekhtman, V. B., Yavorskaya, T. L.
Format: Journal Article
Language:English
Published: Moscow Pleiades Publishing 01.02.2025
Springer Nature B.V
Subjects:
Algorithms
Analysis
Artificial intelligence
Cognition & reasoning
Constructivism
Geometry
Mathematical logic
Mathematics
Mathematics and Statistics
Proof theory
Set theory
Students
Union of Soviet Socialist Republics > USSR
Lomonosov Moscow State University
Chair of Mathematical Logic and Theory of Algorithms
ISSN:0027-1322, 1934-8444
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:The paper describes the history of the creation and activities of the Chair of Mathematical Logic and Theory of Algorithms at Lomonosov Moscow State University. A brief description of the areas of work and achievements of graduates of the chair and its fellows is given.
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:0027-1322
1934-8444
DOI:10.3103/S0027132225700196