Glebsky, Yuri Vasilievici
Glebsky Yuri Vasilyevich (1927 - 08.01.1977) - matematician sovietic . Autorul legii 0-1 în logica matematică: pe măsură ce puterea universului tinde spre infinit, ponderea de satisfiabilitate a oricărei propoziții care nu conține predicate de loc zero tinde spre 0 sau 1. Demonstrarea lui Yu. V. Glebsky implică solubilitatea algoritmică a adevărului asimptotic în logica de ordinul întâi. MI Liogon'kiy în disertația sa a investigat conceptul de cotă condiționată a fezabilității. V. A. Talanov și V. V. Knyazev au extins legea (0-1) la anumite clase de formule infinite și la logici cu mai multe valori.
Studenți remarcabili
Valery Nikolaevich Shevchenko (n. 1940) este un matematician rus, doctor în științe fizice și matematice, șef al departamentului MLVA VMK UNN.
Alexander Alexandrovich Markov (1937-1994) este un specialist recunoscut în teoria codificării, autor al monografiei „Introduction to Coding Theory” (M.: Nauka, 1982).
Lucrări principale
- Glebsky Yu. V. Convergență în zonă și convergență în funcțional // Colecție matematică. - T. 30 (72), nr. 3. - M.: editura Academiei de Științe, 1952. - S. 529-542.
- Glebsky Yu. V. Despre proprietățile caracteristice ale soluțiilor la problemele regulate și cvasi-regulate ale calculului variațiilor // Rapoarte ale Academiei de Științe a URSS. - 1957. - T. 116, nr. 6. - S. 910-912.
- Glebsky Yu. V. Codificare folosind automate finite // Rapoarte ale Academiei de Științe a URSS. - 1961. - T. 141, nr. 5. - S. 1054-1058.
- Glebsky Yu. V. Secvențe fezabile în automate finite // Probleme de cibernetică. - M., 1961. - Numărul. 5. - S. 279-282.
- Glebsky Yu. V. Pe tema optimizării planului de lucru // Știri ale instituțiilor de învățământ superior Radiofizică. - 1963. - V. 6, nr 5. - S. 1034-1051.
- Glebsky Yu. V., Shevchenko V. N. Despre întocmirea unui program optim de lucru // Probleme de cibernetică. - M., 1963. - Numărul. 10. - S. 275-279.
- Glebsky Yu. V., Shevchenko VN Cu privire la compilarea programului optim de lucru pe n mașini // Proceduri privind utilizarea calculatoarelor electronice în economia națională. Gorki: GSU, 1964. - S. 31-34.
- Glebsky Yu. V., Dudich A. M., Kogan D. I., Liogonkiy M. I., Markov Al. A. Algoritmi implementați prin aplicații repetitive ale automatelor finite // Probleme de cibernetică. - M., 1965. - Numărul. 13. - S. 241-243.
- Glebsky Yu. V., Talanov V. A. Câteva definiții pentru descrierea sistemelor care se schimbă în timp. Radiofizica. - GSU, 1968. - T. 11, Nr. 11. - S. 1730-1736.
- Glebsky Yu. V., Kogan D. I., Liogonkiy M. I., Talanov V. A. Volumul și rata de satisfacție a formulelor de calcul al predicatului îngust // Cibernetică. - 1969. - Nr 2 - S. 17-26.
- Glebsky Yu. V. Despre o clasă de seturi de cuvinte // Izvestiya VUZov Radiofizika. - Editura GSU, 1970. - V.13, Nr. 8. - S. 1256-1258.
- Glebsky Yu. V., Kogan D. I. Sisteme și limbaje controlate aditiv: unele probleme algoritmice // Cibernetică. - 1971. - Nr. 4 - S. 25-29.
- Glebsky Yu. V., Gordon E. I. Automate asincrone și limbaje logice // Automatizare și telemecanică. - 1974. - Nr. 10 - S. 154-159.
- Glebsky Yu. V., Gordon E. I. Automate asincrone cu întârzieri și limbaje logice // Automatizare și telemecanică. - 1974. - Nr. 12. - S. 143-148.
- Glebsky Yu. V. Despre stabilitatea automatelor asincrone // Automatizare și telemecanică. - 1976. - Nr. 12. - P. 114-119.
Link -uri
Site-uri tematice |
|
---|