Glebsky, Yuri Vasilievich
Glebsky Yuri Vasilyevich (1927 - 1977-01-08) - sovjetisk matematiker . Författaren till 0-1-lagen i matematisk logik: eftersom universums kraft tenderar mot oändligheten, tenderar andelen tillfredsställelse för en mening som inte innehåller noll -placeringspredikat till 0 eller 1. Yu. V. Glebskys bevis antyder den algoritmiska lösbarheten av asymptotisk sanning i första ordningens logik. MI Liogon'kiy undersökte i sin avhandling begreppet villkorad andel av genomförbarheten. V. A. Talanov och V. V. Knyazev utvidgade (0-1)-lagen till vissa klasser av oändliga formler och till många värdefulla logiker.
Anmärkningsvärda studenter
Valery Nikolaevich Shevchenko (f. 1940) är en rysk matematiker, doktor i fysikaliska och matematiska vetenskaper, avdelningschef för MLVA VMK UNN.
Alexander Alexandrovich Markov (1937-1994) är en erkänd specialist i kodningsteori, författare till monografin "Introduction to Coding Theory" (M.: Nauka, 1982).
Huvudverk
- Glebsky Yu. V. Konvergens i area och konvergens i funktionell // Matematisk samling. - T. 30 (72), nr. 3. - M.: Vetenskapsakademiens förlag, 1952. - S. 529-542.
- Glebsky Yu. V. Om de karakteristiska egenskaperna hos lösningar på regelbundna och kvasi-regelbundna problem i variationskalkylen // Rapporter från USSR:s vetenskapsakademi. - 1957. - T. 116, nr 6. - S. 910-912.
- Glebsky Yu. V. Kodning med finita automater // Rapporter från USSR:s vetenskapsakademi. - 1961. - T. 141, nr 5. - S. 1054-1058.
- Glebsky Yu. V. Genomförbara sekvenser i finita automater // Problems of Cybernetics. - M., 1961. - Utgåva. 5. - S. 279-282.
- Glebsky Yu. V. Om frågan om att optimera arbetsplanen // Nyheter om högre utbildningsinstitutioner Radiofysik. - 1963. - V. 6, nr 5. - S. 1034-1051.
- Glebsky Yu. V., Shevchenko V. N. Om att upprätta ett optimalt arbetsschema // Problems of Cybernetics. - M., 1963. - Utgåva. 10. - S. 275-279.
- Glebsky Yu. V., Shevchenko VN Om sammanställningen av det optimala arbetsschemat på n maskiner // Förfaranden om användningen av elektroniska datorer i den nationella ekonomin. Gorkij: GSU, 1964. - S. 31-34.
- Glebsky Yu. V., Dudich A. M., Kogan D. I., Liogonkiy M. I., Markov Al. A. Algoritmer implementerade av repetitiva tillämpningar av finita automater // Problems of Cybernetics. - M., 1965. - Utgåva. 13. - S. 241-243.
- Glebsky Yu. V., Talanov V. A. Några definitioner för att beskriva system som förändras med tiden. Radiofysik. - GSU, 1968. - T. 11, nr 11. - S. 1730-1736.
- Glebsky Yu. V., Kogan D. I., Liogonkiy M. I., Talanov V. A. Volym och nöjdhetsgrad för formler för smal predikatkalkyl // Cybernetik. - 1969. - Nr 2 - S. 17-26.
- Glebsky Yu. V. Om en klass av uppsättningar ord // Izvestiya VUZov Radiofizika. - Publishing House of the GSU, 1970. - V.13, nr 8. - S. 1256-1258.
- Glebsky Yu. V., Kogan D. I. Additivt kontrollerade system och språk: några algoritmiska problem // Cybernetik. - 1971. - Nr 4 - S. 25-29.
- Glebsky Yu. V., Gordon E. I. Asynkrona automater och logiska språk // Automation and Telemechanics. - 1974. - Nr 10 - S. 154-159.
- Glebsky Yu. V., Gordon E. I. Asynkrona automater med fördröjningar och logiska språk // Automation and Telemechanics. - 1974. - Nr 12. - S. 143-148.
- Glebsky Yu. V. Om stabiliteten hos asynkrona automater // Automation and Telemechanics. - 1976. - Nr 12. - S. 114-119.
Länkar
Tematiska platser |
|
---|