Redko, Vladimir Nikiforovich

Vladimir Nikiforovich Redko
Fødsel 12. april 1937 (85 år) Kiev( 12-04-1937 )
Forsendelsen CPSU
Uddannelse
Akademisk grad Doktor i fysiske og matematiske videnskaber
Priser
Orden for Venskab af Folk
Arbejdsplads

Redko Vladimir Nikiforovich (12. april 1937, Kiev) - Akademiker fra Ukraines Nationale Videnskabsakademi, doktor i fysiske og matematiske videnskaber, professor, hædret arbejder i videnskab og teknologi i Ukraine.

Biografi

Født 12. april 1937 i byen Kiev. I 1959 dimitterede han fra fakultetet for mekanik og matematik ved Kyiv State University. T. G. Shevchenko, efter at have forsvaret sin afhandling om emnet "Nilpotente algebraer af endelige Abelske grupper" under vejledning af professor Lev Kaluzhin. I 1963-1970. arbejdet som forsker ved Institute of Cybernetics ved USSR Academy of Sciences. I 1963, under vejledning af akademiker V. M. Glushkov, afsluttede han sine postgraduate studier og forsvarede sin Ph.D. Matematisk logik og programmering").

I 1971 grundlagde V. N. Redko Institut for Programmeringsteori på universitetet og ledede det indtil april 2002; Professor ved Institut for Programmeringsteori siden 1973; Dekan for Det Kybernetiske Fakultet i 1984-1987

Under sit arbejde på universitetet siden 1971 udviklede han 5 normative og 16 specialkurser. I de senere år har han læst normative kurser "Theory of Programming", "Theoretical Foundations of Programming", særlige kurser "Fundamentals of Processology", "Program Logic", "Problems of Programming", "Fundamentals of Programming", afholder seminarer "Programologi og dens anvendelse", "Logisk programmering". På invitationen holdt han et kursus med forelæsninger "Descriptive Structures of Informatics" ved universitetet i Leipzig (1994).

Hovedretningen for skolens videnskabelige forskning er forklarende programmering - teorien om beskrivende og deklarative programalgebroider (algebraiske strukturer, der fungerer som formelle og passende modeller af datastrukturer, programmer og programdesignværktøjer).

Redko VN er forfatter til mere end 160 videnskabelige, uddannelsesmæssige og metodiske værker. Blandt dem er tre monografier udgivet af forlagene "Lybid" (Kiev, 1992), "Scientific Thought" (Kiev, 1992) og "Academperiodika" (Kiev, 2001).

I 1992 blev han valgt til et tilsvarende medlem af National Academy of Sciences i Ukraine med en grad i automatiserede systemer, og i 2000 en akademiker med en grad i informationssystemer i Informatikafdelingen.

Priser

For frugtbar videnskabelig og pædagogisk virksomhed blev Redko V. N. tildelt jubilæumsmedaljen "For tappert arbejde. Til fejring af 100-året for fødslen af ​​Vladimir Ilyich Lenin "fra Præsidiet for den øverste sovjet i USSR (1970), emblemet "Vinder af den socialistiske konkurrence i 1976" fra Ministeriet for Højere og Sekundær Specialiseret Uddannelse i USSR og Civil Code of the Trade Union of Educational Workers, Higher School and Institutions (1977 .), badge "For fremragende succes i arbejdet" fra Ministeriet for Højere og Secondary Special Education i USSR, medalje "Til minde om det 1500. jubilæum for Kiev" for Præsidiet for USSR's Øverste Sovjet (1982), Venskabsorden for USSR's folk (1984), brystskiltemærke "For Achievement" fra Ukraines Ministerium for Videnskab og Teknologi" (1999), Æresdiplom for særligt fremragende tjenester til Taras Shevchenko National University of Kyiv (2002).

Større værker