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!

Schreiben Sie den ersten Kommentar!