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!

Buďte první, kdo okomentuje tento záznam!