Редько Владимир Никифорович




Surname: Редько

Name: Владимир

Last name: Никифорович

Доктор физ.-мат. наук

redko@unicyb.kiev.ua

Академик Национальной Академии Наук Украины.
Профессор, доктор физико-математических наук.
Лауреат Государственной премии Украины в области науки и техники

Редько Владимир Никифорович – основатель кафедры теории программирования и первый ее заведующий. Окончил механико-математический факультет Киевского университета имени Тараса Шевченко в 1959 г. (специальность – математика), аспирантуру Института кибернетики – в 1963 г. под руководством академика В.М. Глушкова.

Кандидат физико-математических наук с 1963 года, доктор физико-математических наук с 1972 г., академик Национальной Академии Наук Украины, (специальность автоматизированные системы) с мая 2000

Главным научным достижением профессора В.Н.Редька является открытие универсальных дескриптивных логик и решения трех классических проблем существования, однозначности и описания всех дескриптивных логик и алгебр. Этим был заложен математическое фундамент принципиально нового направления информатики – програмологии, интенсивно развивается как в нашей стране, так и за рубежом. В рамках этого направления удалось дать полное решением ряда принципиально сложных математических проблем, некоторые из которых не имели решения более пятидесяти лет. В частности, решить проблему Клинья о аксиоматизации регулярной и квазирегулярных алгебр, проблему Черча-Катленд о полноте целочисленных вычислительных функций, проблему Тарского о алгебраическую характеристику вычислительных функций рационального аргумента и значения, а также аналогичную проблему Мальцева для словарных функций.

Научные результаты В.Н. Редько, которые составили фундамент програмологии, вошли во многие монографии и учебники отечественных и зарубежных авторов. На ниве програмологии и ее приложений выросла основательная научная школа с крупными международными творческими связями. Ее ученики из Германии, Чехии, Словакии, Индии и Вьетнама плодотворно работают в своих странах. В.Н. Редько подготовлен 41 кандидат и 2 доктора наук.

За плодотворную научно-педагогическую работу был награжден орденом Дружбы народов (в 1984 г.). Его работы в области новых информационных технологий были отмечены Национальной Академией Наук премией им. В.М. Глушкова (1992 г.), был Соросовский профессор.

Профессор В.Н. Редько является членом Консультативного совета по вопросам информатизации при Верховной Раде Украины, членом Научно-технического совета Министерства Украины по делам науки и технологий. Несколько терминов был членом экспертных советов ВАК Украины, экспертного совета Национального агентства по вопросам информатизации при Президенте Украины.

В течение многих лет читает фундаментальный курс «Теоретические основы программирования», подготовил десятки спецкурсов, в т.ч. «Программные логики» и «Программные дефиниторы и дефиниторные процессоры».

E-mail: redko@unicyb.kiev.ua

Редько В.Н. является автором многих научных и учебно-методических работ.

Публикации:

  1. Редько В.Н., Сергиенко И.В., Стукало С. Прикладные программные системы. – Киев: Наукова думка,
    1992 – 317 с.
  2. Басараб И.А., Никитченко Н.С., Редько В.Н. Композиционные базы данных. – Киев: Лыбидь,
    1992. – 191 с.
  3. Редько В.Н., Басараб И.А. Базы данных и информационные системы. – М.: Знание, 1987. – 32 с.
  4. Редько В.Н., Лисовик Л.П. Алгоритмы и формальные системы. – Киев: КГУ, 1981. – 111 с.
  5. Редько В.Н., Жежерун А.П., Зубенко В.В. Введение в операционные системы. – Киев: КГУ, 1990. – 112 с.
  6. V.N. Redko Grundlagen der Programmierung. – Lepzig: Universitat-Verlag, 1994. – 207 p.
  • 1. Редько В.Н. Дескриптивные системы: ретроспективы и перспективы. Материалы V международной научно-практической конференции по программированию, УкрПРОГ `2006, 23-25 ​​мая 2006г., Украина, Киев
    2. Редько В.Н., Редько И.В., Гришко Н.В. Дескриптивные системы: концептуальные базис. Журнал «Проблемы программирования», № 2-3, специальный выпуск. – 2006, ст. 75-80.
    3. Буй Д.Б., Никитченко Н.С., Омельчук Л.Л., Редько В.Н., Шишацкая О.В. Классификация языков и методов формальных спецификаций программных систем. International conference «TAAPSD` 2008 «. Abstracts. – Kyiv-Chernihiv, 2008 – pp. 27-33.
    4. Редько В.Н., Редько И.В., Гришко Н.В. Программологические основания сущносной платформы. Проблемы программирования, № 3. -2008г., С.75-83
    5. Редько В.Н., Редько И.В. Экзистенциальный основания композиционной парадигмы. Журнал «Кибернетика и системный анализ», № 2. – 2008, ст. 3-12.
    6. Редько В.Н., Богатырева Ю.А., Буй Д.Б. Примитивные программные алгебры функций множественных (мультимножинних) аргументов и значений. Доклады Национальной академии наук Украины. Научно-теоретический журнал Президиума НАН Украины. – № 9. – 2011.
Новини
Дошка оголошень
Цікаві факти