Glebsky, Yuri Vasilievich
Glebsky Yuri Vasilyevich (1927 - 08/01/1977) - sovjetisk matematiker . Forfatteren af 0-1-loven i matematisk logik: da universets magt tenderer mod det uendelige, tenderer andelen af tilfredsstillelse af enhver sætning, der ikke indeholder prædikater på nul, til 0 eller 1. Yu. V. Glebskys bevis antyder den algoritmiske løselighed af asymptotisk sandhed i førsteordens logik. MI Liogon'kiy undersøgte i sin afhandling begrebet betinget andel af gennemførligheden. V. A. Talanov og V. V. Knyazev udvidede (0-1)-loven til visse klasser af uendelige formler og til logikker med mange værdier.
Bemærkelsesværdige studerende
Valery Nikolaevich Shevchenko (f. 1940) er en russisk matematiker, doktor i fysiske og matematiske videnskaber, leder af afdelingen for MLVA VMK UNN.
Alexander Alexandrovich Markov (1937-1994) er en anerkendt specialist i kodningsteori, forfatter til monografien "Introduction to Coding Theory" (M.: Nauka, 1982).
Hovedværker
- Glebsky Yu. V. Konvergens i areal og konvergens i funktionel // Matematisk samling. - T. 30 (72), Nr. 3. - M.: Videnskabsakademiets forlag, 1952. - S. 529-542.
- Glebsky Yu. V. Om de karakteristiske egenskaber ved løsninger på regulære og kvasi-regulære problemer i variationsregningen // Rapporter fra USSR's Videnskabsakademi. - 1957. - T. 116, nr. 6. - S. 910-912.
- Glebsky Yu. V. Kodning ved hjælp af endelige automater // Rapporter fra USSR's Videnskabsakademi. - 1961. - T. 141, nr. 5. - S. 1054-1058.
- Glebsky Yu. V. Gennemførlige sekvenser i endelige automater // Problemer med kybernetik. - M., 1961. - Udgave. 5. - S. 279-282.
- Glebsky Yu. V. Om spørgsmålet om optimering af arbejdsplanen // Nyheder om videregående uddannelsesinstitutioner Radiofysik. - 1963. - V. 6, nr. 5. - S. 1034-1051.
- Glebsky Yu. V., Shevchenko V. N. Om udarbejdelse af en optimal arbejdsplan // Problemer med kybernetik. - M., 1963. - Udgave. 10. - S. 275-279.
- Glebsky Yu. V., Shevchenko VN Om udarbejdelse af den optimale tidsplan for arbejde på n maskiner // Sager om brugen af elektroniske computere i den nationale økonomi. Gorky: GSU, 1964. - S. 31-34.
- Glebsky Yu. V., Dudich A. M., Kogan D. I., Liogonkiy M. I., Markov Al. A. Algoritmer implementeret af gentagne anvendelser af endelige automater // Problemer med kybernetik. - M., 1965. - Udgave. 13. - S. 241-243.
- Glebsky Yu. V., Talanov V. A. Nogle definitioner til beskrivelse af systemer, der ændrer sig med tiden. Radiofysik. - GSU, 1968. - T. 11, nr. 11. - S. 1730-1736.
- Glebsky Yu. V., Kogan D. I., Liogonkiy M. I., Talanov V. A. Volumen og tilfredshedsgrad af formler for smal prædikatregning // Kybernetik. - 1969. - Nr. 2 - S. 17-26.
- Glebsky Yu. V. Om en klasse af sæt af ord // Izvestiya VUZov Radiofizika. - Forlag for GSU, 1970. - V.13, nr. 8. - S. 1256-1258.
- Glebsky Yu. V., Kogan D. I. Additivt kontrollerede systemer og sprog: nogle algoritmiske problemer // Kybernetik. - 1971. - Nr. 4 - S. 25-29.
- Glebsky Yu. V., Gordon E. I. Asynkrone automater og logiske sprog // Automation and Telemechanics. - 1974. - Nr. 10 - S. 154-159.
- Glebsky Yu. V., Gordon E. I. Asynkrone automater med forsinkelser og logiske sprog // Automation and Telemechanics. - 1974. - Nr. 12. - S. 143-148.
- Glebsky Yu. V. Om stabiliteten af asynkrone automater // Automation and Telemechanics. - 1976. - Nr. 12. - S. 114-119.
Links
Tematiske steder |
|
---|