Glebsky, Juri Vasilievich
Glebsky Juri Vasilyevich (1927 - 01.8.1977) - Neuvostoliiton matemaatikko . 0-1-lain kirjoittaja matemaattisessa logiikassa: koska maailmankaikkeuden voima pyrkii äärettömyyteen, minkä tahansa lauseen tyydyttävyyden osuus, joka ei sisällä nollapaikan predikaatteja , on yleensä 0 tai 1. Yu. V. Glebskyn todistus viittaa asymptoottisen totuuden algoritminen ratkaistavuus ensimmäisen asteen logiikassa. MI Liogon'kiy tutki väitöskirjassaan toteutettavuuden ehdollisen osuuden käsitettä. V. A. Talanov ja V. V. Knyazev laajensivat (0-1)-lain tiettyihin äärettömien kaavojen luokkiin ja moniarvoiseen logiikkaan.
Merkittäviä opiskelijoita
Valeri Nikolajevitš Shevchenko (s. 1940) on venäläinen matemaatikko, fysiikan ja matemaattisten tieteiden tohtori, MLVA VMK UNN:n osaston johtaja.
Alexander Aleksandrovich Markov (1937-1994) on tunnustettu koodausteorian asiantuntija, monografian "Introduction to Coding Theory" (M.: Nauka, 1982) kirjoittaja.
Pääteokset
- Glebsky Yu. V. Alueen lähentyminen ja funktionaalisen konvergenssi // Matemaattinen kokoelma. - T. 30 (72), no. 3. - M.: Tiedeakatemian kustantamo, 1952. - S. 529-542.
- Glebsky Yu. V. Variaatiolaskelman säännöllisten ja kvasisäännöllisten ongelmien ratkaisujen tunnusomaisista ominaisuuksista // Neuvostoliiton tiedeakatemian raportit. - 1957. - T. 116, nro 6. - S. 910-912.
- Glebsky Yu. V. Koodaus äärellisillä automaateilla // Neuvostoliiton tiedeakatemian raportit. - 1961. - T. 141, nro 5. - S. 1054-1058.
- Glebsky Yu. V. Toteutettavat sekvenssit äärellisissä automaateissa // Kybernetiikan ongelmat. - M., 1961. - Numero. 5. - S. 279-282.
- Glebsky Yu. V. Työsuunnitelman optimointikysymyksestä // Korkeakoulujen uutisia Radiofysiikka. - 1963. - V. 6, nro 5. - S. 1034-1051.
- Glebsky Yu. V., Shevchenko V. N. Optimaalisen työaikataulun laatimisesta // Kybernetiikan ongelmat. - M., 1963. - Numero. 10. - S. 275-279.
- Glebsky Yu. V., Shevchenko VN n:n koneen optimaalisen työaikataulun laatimisesta // Proceedings of Electronic Computers in the National Economics. Gorki: GSU, 1964. - S. 31-34.
- Glebsky Yu. V., Dudich A. M., Kogan D. I., Liogonkiy M. I., Markov Al. A. Äärillisten automaattien toistuvilla sovelluksilla toteutetut algoritmit // Kybernetiikan ongelmat. - M., 1965. - Numero. 13. - S. 241-243.
- Glebsky Yu. V., Talanov V. A. Joitakin määritelmiä ajassa muuttuvien järjestelmien kuvaamiseen. Radiofysiikka. - GSU, 1968. - T. 11, nro 11. - S. 1730-1736.
- Glebsky Yu. V., Kogan D. I., Liogonkiy M. I., Talanov V. A. Kapean predikaattilaskennan kaavojen määrä ja tyytyväisyysaste // Kybernetiikka. - 1969. - Nro 2 - S. 17-26.
- Glebsky Yu. V. Tietoja yhdestä sanajoukoista // Izvestiya VUZov Radiofizika. - GSU:n kustantamo, 1970. - V.13, nro 8. - S. 1256-1258.
- Glebsky Yu. V., Kogan D. I. Additiivisesti ohjatut järjestelmät ja kielet: joitakin algoritmisia ongelmia // Kybernetiikka. - 1971. - Nro 4 - S. 25-29.
- Glebsky Yu. V., Gordon E. I. Asynkroniset automaatit ja loogiset kielet // Automaatio ja telemekaniikka. - 1974. - Nro 10 - S. 154-159.
- Glebsky Yu. V., Gordon E. I. Asynkroniset automaatit viiveillä ja loogisilla kielillä // Automaatio ja telemekaniikka. - 1974. - nro 12. - S. 143-148.
- Glebsky Yu. V. Asynkronisten automaattien vakaudesta // Automaatio ja telemekaniikka. - 1976. - nro 12. - s. 114-119.
Linkit
Temaattiset sivustot |
|
---|