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.

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Moscow University mathematics bulletin Jg. 80; H. 1; S. 23 - 33
Hauptverfasser: 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
Sprache:Englisch
Veröffentlicht: Moscow Pleiades Publishing 01.02.2025
Springer Nature B.V
Schlagworte:
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-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
Bibliographie:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:0027-1322
1934-8444
DOI:10.3103/S0027132225700196