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ženo v:
Podrobná bibliografie
Vydáno v:Moscow University mathematics bulletin Ročník 80; číslo 1; s. 23 - 33
Hlavní autoři: 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:angličtina
Vydáno: Moscow Pleiades Publishing 01.02.2025
Springer Nature B.V
Témata:
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 přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
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.
Bibliografie:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:0027-1322
1934-8444
DOI:10.3103/S0027132225700196