Досье личности

Ценность: 1.833 (6)

Симпатия: 2.333 (6)

дата обновления - 2017-04-22

просмотров - 1

РЕДЬКО Владимир Никифорович

Имя латиницей: Red`ko Vladimir Nikiforovich

Пол: мужской

Дата рождения: 12.04.1937 Возраст (80)

Место рождения: Киев, Украина

Дата смерти: 00.00.0 Возраст (80)

Знак зодиака: Овен

По восточному: Бык

География: СССР, УКРАИНА.

Ключевые слова: академик, знание, информатик, наука.

Ключевой год: 2000

Владимир Никифорович РЕДЬКО

украинский ученый, академик НАН Украины – отделение информатики (2000). Кандидат (1963), доктор (1972) физико-математических наук. Заслуженный деятель науки и техники Украины (2004). Окончил механико-математический факультет Киевского университета им. Т. Г. Шевченко (1959) и аспирантуру Института кибернетики АН СССР (1963, под руководством академика В. М. Глушкова). В 1963-1970 гг. – научный сотрудник в Институте кибернетики АН СССР. Основатель кафедры теории программирования (1971) и ее заведующий (1971-2002), профессор (с 1973), декан факультета кибернетики (1984-1987). Является членом Консультативного Совета по вопросам информатизации при Верховной Раде Украины, членом редколлегий профессиональных журналов: «Кибернетика и системный анализ», «Проблемы программирования», «Системные исследования и информационные технологии», «Вестник Киевского университета. Серия "Кибернетика"» , «Проблемы управления и информатики», а также журнала «Компьютер в школе и семье».

Автор более 160 научных, учебных и методических работ, в т. ч. 3 монографий. Внес фундаментальный вклад в развитие современной информатики. Главным научным достижением ученого является открытие универсальных дескриптивных логик. Заложил математический фундамент принципиально нового направления информатики – «програмологии». Решил проблему «Клинья» о аксиоматизации регулярной и квазирегулярных алгебр, проблему «Черча-Катленд» о полноте целочисленных вычислительных функций, проблему «Тарского» об алгебраической характеристике вычислительных функций рационального аргумента и значения, а также аналогичную проблему «Мальцева» для словарных функций. Лауреат премии им. В. М. Глушкова (1992) и Государственной премии Украины в области науки и техники (2003).

Связи (1)
Источники (2)
Обсуждение
comments powered by HyperComments
Наверх