Glebskij, Jurij Vasilievič
Glebsky Jurij Vasiljevič (1927 - 1.8.1977) - sovětský matematik . Autor zákona 0-1 v matematické logice: protože síla vesmíru inklinuje k nekonečnu, podíl splnitelnosti každé věty, která neobsahuje predikáty nulového místa, má tendenci k 0 nebo 1. Důkaz Yu. V. Glebského implikuje algoritmická řešitelnost asymptotické pravdy v logice prvního řádu. MI Liogon'kiy ve své dizertační práci zkoumal koncept podmíněného podílu na proveditelnosti. V. A. Talanov a V. V. Knyazev rozšířili zákon (0-1) na určité třídy nekonečných formulí a na mnohohodnotové logiky.
Pozoruhodní studenti
Valerij Nikolajevič Ševčenko (nar. 1940) je ruský matematik, doktor fyzikálních a matematických věd, vedoucí katedry MLVA VMK UNN.
Alexander Alexandrovič Markov (1937-1994) je uznávaným specialistou na teorii kódování, autor monografie „Úvod do teorie kódování“ (M.: Nauka, 1982).
Hlavní práce
- Glebsky Yu. V. Konvergence v oblasti a konvergence ve funkcionálu // Matematická sbírka. - T. 30 (72), č.p. 3. - M.: nakladatelství Akademie věd, 1952. - S. 529-542.
- Glebsky Yu. V. O charakteristických vlastnostech řešení pravidelných a kvaziregulárních problémů variačního počtu // Zprávy Akademie věd SSSR. - 1957. - T. 116, č. 6. - S. 910-912.
- Glebsky Yu. V. Kódování pomocí konečných automatů // Zprávy Akademie věd SSSR. - 1961. - T. 141, č. 5. - S. 1054-1058.
- Glebsky Yu.V. Možné posloupnosti v konečných automatech // Problémy kybernetiky. - M., 1961. - Vydání. 5. - S. 279-282.
- Glebsky Yu. V. K otázce optimalizace pracovního plánu // Novinky vysokých škol Radiofyzika. - 1963. - V. 6, č. 5. - S. 1034-1051.
- Glebsky Yu. V., Shevchenko V. N. O sestavení optimálního pracovního plánu // Problémy kybernetiky. - M., 1963. - Vydání. 10. - S. 275-279.
- Glebsky Yu.V., Shevchenko VN O sestavení optimálního harmonogramu práce na n strojích // Sborník o využití elektronických počítačů v národním hospodářství. Gorkij: GSU, 1964. - S. 31-34.
- Glebsky Yu.V., Dudich A.M., Kogan D.I., Liogonkiy M.I., Markov Al. A. Algoritmy implementované opakovanými aplikacemi konečných automatů // Problémy kybernetiky. - M., 1965. - Vydání. 13. - S. 241-243.
- Glebsky Yu. V., Talanov V. A. Některé definice pro popis systémů, které se mění v čase. Radiofyzika. - GSU, 1968. - T. 11, č. 11. - S. 1730-1736.
- Glebsky Yu. V., Kogan D. I., Liogonkiy M. I., Talanov V. A. Objem a míra spokojenosti vzorců úzkého predikátového počtu // Kybernetika. - 1969. - č. 2 - S. 17-26.
- Glebsky Yu. V. O jedné třídě množin slov // Izvestiya VUZov Radiofizika. - Nakladatelství GSU, 1970. - V.13, č. 8. - S. 1256-1258.
- Glebsky Yu. V., Kogan D. I. Aditivně řízené systémy a jazyky: některé problémy s algoritmy // Kybernetika. - 1971. - č. 4 - S. 25-29.
- Glebsky Yu. V., Gordon E. I. Asynchronní automaty a logické jazyky // Automatizace a telemechanika. - 1974. - č. 10 - S. 154-159.
- Glebsky Yu. V., Gordon E. I. Asynchronní automaty se zpožděním a logickými jazyky // Automatizace a telemechanika. - 1974. - č. 12. - S. 143-148.
- Glebsky Yu. V. O stabilitě asynchronních automatů // Automatizace a telemechanika. - 1976. - č. 12. - S. 114-119.
Odkazy
Tematické stránky |
|
---|