Redko, Vladimir Nikiforovich

Vladimir Nikiforovich Redko
Syntymä 12. huhtikuuta 1937 (85-vuotias) Kiova( 12.4.1937 )
Lähetys CPSU
koulutus
Akateeminen tutkinto Fysikaalisten ja matemaattisten tieteiden tohtori
Palkinnot
Kansojen ystävyyden ritarikunta
Työpaikka

Redko Vladimir Nikiforovich (12. huhtikuuta 1937, Kiova) - Ukrainan kansallisen tiedeakatemian akateemikko, fysiikan ja matemaattisten tieteiden tohtori, professori, Ukrainan tieteen ja teknologian kunniatyöntekijä.

Elämäkerta

Syntynyt 12. huhtikuuta 1937 Kiovan kaupungissa. Vuonna 1959 hän valmistui Kiovan valtionyliopiston mekaniikan ja matematiikan tiedekunnasta. T. G. Shevchenko, joka on puolustanut väitöskirjaansa aiheesta "Erällisten Abelin ryhmien nilpotentit algebrat" professori Lev Kaluzhinin ohjauksessa. Vuosina 1963-1970. työskenteli tutkijana Neuvostoliiton tiedeakatemian kybernetiikan instituutissa. Vuonna 1963 hän suoritti jatko-opinnot akateemikko V. M. Glushkovin johdolla ja puolusti tohtorinsa matemaattinen logiikka ja ohjelmointi."

V. N. Redko perusti vuonna 1971 yliopistoon ohjelmointiteorian laitoksen ja johti sitä huhtikuuhun 2002 asti; Ohjelmointiteorian laitoksen professori vuodesta 1973; Kybernetiikan tiedekunnan dekaani 1984-1987

Työssään yliopistossa vuodesta 1971 lähtien hän kehitti 5 normatiivista ja 16 erikoiskurssia. Viime vuosina hän on lukenut normatiivisia kursseja "Ohjelmoinnin teoria", "Ohjelmoinnin teoreettiset perusteet", erityiskursseja "Prosessologian perusteet", "Ohjelman logiikka", "Ohjelmoinnin ongelmat", "Ohjelmoinnin perusteet", johtaa seminaareja. "Ohjelma ja sen sovellus", "Looginen ohjelmointi". Kutsusta hän piti Leipzigin yliopistossa luentokurssin "Descriptive Structures of Informatics" (1994).

Koulun tieteellisen tutkimuksen pääsuunta on eksplikatiivinen ohjelmointi - teoria deskriptiivisistä ja deklaratiivisista ohjelmaalgeboideista (algebralliset rakenteet, jotka toimivat tietorakenteiden, ohjelmien ja ohjelmien suunnittelutyökalujen muodollisina ja adekvaattisina malleina).

Redko VN on kirjoittanut yli 160 tieteellistä, opetus- ja menetelmäteosta. Niiden joukossa on kolme kustantamoiden "Lybid" (Kiova, 1992), "Scientific Thought" (Kiova, 1992) ja "Academperiodika" (Kiova, 2001) julkaisemaa monografiaa.

Vuonna 1992 hänet valittiin Ukrainan kansallisen tiedeakatemian kirjeenvaihtajajäseneksi automatisoitujen järjestelmien tutkinnon suorittaneeksi ja vuonna 2000 tietojärjestelmien tutkinnon suorittaneeksi akateemioksi informatiikkaosastolta.

Palkinnot

Hedelmällisestä tieteellisestä ja pedagogisesta toiminnasta Redko V. N. palkittiin juhlamitalilla "Upeasta työstä. Neuvostoliiton korkeimman neuvoston puheenjohtajiston (1970) Vladimir Iljitš Leninin syntymän 100-vuotisjuhlan muistoksi Neuvostoliiton korkea-asteen ja keskiasteen erityisopetuksen ministeriön kunniamerkki "Sosialistisen kilpailun voittaja vuonna 1976". Neuvostoliitto ja opetustyöntekijöiden, korkeakoulujen ja oppilaitosten ammattiliiton siviililaki (1977 .), Neuvostoliiton korkea-asteen ja toisen asteen erityisopetuksen ministeriön kunniamerkki "Erinomainen työmenestys", mitali "1500-luvun muistoksi" Kiovan vuosipäivä" Neuvostoliiton korkeimman neuvoston puheenjohtajiston (1982), Neuvostoliiton kansojen ystävyyden ritarikunta (1984), Ukrainan tiede- ja teknologiaministeriön rintamerkki "Saavutuksesta" (1999), Kunniakirja erityisen merkittävistä palveluista Kiovan Taras Shevchenkon kansalliselle yliopistolle (2002).

Tärkeimmät työt