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.

Uložené v:
Podrobná bibliografia
Vydané v:Moscow University mathematics bulletin Ročník 80; číslo 1; s. 23 - 33
Hlavní autori: 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.
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Moscow Pleiades Publishing 01.02.2025
Springer Nature B.V
Predmet:
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
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí: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.
Bibliografia:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:0027-1322
1934-8444
DOI:10.3103/S0027132225700196