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!

Buďte prvý, kto okomentuje tento záznam!