Cайт, присвячений ювілею академіка НАН України В. Н. Редька

Довідка факультету

ДОВІДКА
факультету кібернетики Київського національного університету імені Тараса Шевченка про педагогічну, наукову діяльність та науково-організаційну роботу професора Редька Володимира Никифоровича


Педагогічна діяльність

За час роботи в університеті з 1971 р. Редько В. Н. розробив 5 нормативних курсів:

  • дискретна математика;
  • програмування та обчислювальні системи;
  • математична логіка та теорія алгоритмів;
  • теорія програмування;
  • теоретичні основи програмування.

Редько В. Н. розробив також 16 спеціальних курсів:

  • алгебраїчні системи;
  • теорія моделей;
  • теорія автоматів;
  • теорія формальних мов;
  • теорія дефініторів;
  • дефініторні алгебри;
  • дефініторні процесори;
  • мови та мовні процесори;
  • параметричні системи програмування;
  • технології програмування;
  • середовища програмування;
  • інтерпретовані мови та інтерпретатори;
  • інформаційно-аналітичні системи;
  • програмні логіки;
  • проблеми програмології;
  • основи програмології.

В останні учбові роки Редько В. Н. читає нормативні курси “Теорія програмування”, “Теоретичні основи програмування”, спеціальні курси “Основи процесології”, “Програмні логіки”, “Проблеми програмології”, “Основи програмології”, веде наукові семінари “Програмологія та її застосування”, “Логіки програмування”.

На запрошення прочитав курс лекцій “Дескриптивні структури інформатики” у Лейпцігському університеті (1994 р.).

Редько В. Н. є автором понад 160 наукових, учбових та методичних праць. Серед них один учбовий посібник з грифом міністерства вищої та середньої спеціальної освіти УРСР (Київ, 1989 р.), три навчальних посібника університетського видання (1981 р., 1999 р.).

У 1996 р. він був обраний академіком Вищої Школи України по відділенню інформатики, прикладної математики та обчислювальної техніки. У 1997 р. професор Редько В. Н. отримав грант Соросовського професора.

Редько В. Н. підготував 39 кандидатів та 5 докторів наук. Серед них кандидати наук Зайферт Франц Дітер (НДР), Пастор Франтішек (Чехословаччина), Дінь Мань Тионг (В‘єтнам), Мітра Індрані (Індія), Хайдар Мохамад та Дрібаті Мухамед (Сірія), а також доктор наук Гудак Штефан (Словаччина).

В поточний час він є науковим керівником 1 аспіранта.

Наукова діяльність

Професор Редько В. Н. – відомий вчений світового рівня, який вніс фундаментальний вклад у розвиток сучасної інформатики. Головним науковим досягненням В. Н. Редька є відкриття універсальних дескриптивних логік. Цим був закладений логіко-математичний фундамент принципово нового напрямку інформатики – програмології, що інтенсивно розвивається як у нашій країні, так і за кордоном. Наукові результати В. Н. Редька, що склали фундамент програмології, увійшли до багатьох монографій та підручників вітчизняних та іноземних авторів. На ниві програмології та її застосувань виросла міцна фундаментально-наукова школа світового рівня “Програмологія та її застосування”, заснована у 1971 р.

Головним напрямком наукових досліджень школи є експлікативне програмування – теорія дескриптивних та декларативних програмних алгеброїдів (алгебраїчних структур, які виступають формальними та адекватними моделями структур даних, програм та засобів конструювання програм). Для цих структур вирішені основні класичні проблеми існування, однозначності та ефективного завдання. Вирішення цих проблем закладає основу нового напрямку інформатики – програмології – науки про програми та логіку програмування. В рамках цього напрямку вдалося дати повне вирішення сукупності проблем, які мають фундаментальне значення для шляхів подальшого розвитку інформатики:

  • проблема Кліні про аксіоматизацію регулярних та квазірегулярних алгебр;
  • проблема Чорча-Катленда про повноту цілочисельних обчислюваних функцій та аналогічні проблеми Тарського і Мальцева для функцій раціонального, словарного аргументу та значення;
  • проблема повноти для класів обчислюваних функцій та композицій;
  • проблеми уточнення маніпуляційних дій у базах даних та повноти відповідного класу функцій – функцій, які зберігають денотати;
  • проблема побудови і дослідження семантично орієнтованих некласичних композиційних логік;
  • проблема повного та природного завдання SQL-подібних мов.

Метод дефініторних алгебр, запропонований Редьком В. Н., та головні результати, отримані за його допомогою, викладаються в багатьох класичних монографіях та підручниках з теоретичного програмування.

Редько В. Н. є автором понад 160 наукових, учбових та методичних праць. Серед них три монографії, які вийшли у видавництвах “Либідь” (Київ, 1992 р.), “Наукова думка” (Київ, 1992 р.) та “Академперіодика” (Київ, 2001 р.).

У 1992 р. він був обраний членом-кореспондентом Національної Академії Наук України з спеціальності “Автоматизовані системи”, а в 2000 р. – академіком за спеціальністю “Інформаційні системи” відділення інформатики. Редько В. Н. лауреат премії імені В. М. Глушкова Президії Академії Наук України за цикл робіт з теорії та реалізації нових інформаційних технологій (1992 р.) та лауреат Державної премії України в галузі науки і техніки за цикл робіт з теоретичних основ та інструментальних засобів розробки програмного забезпечення інформаційних технологій (2003 р.).

За час роботи в університеті Редько В. Н. був науковим керівником 11 держбюджетних тем та 15 госпдоговірних робіт (загальний об‘єм фінансування – 119.474 тис грн; 1158 тис крб). В теперішній час він є науковим керівником держбюджетної теми № 06БФ015-05 “ Розробка конструктивних математичних формалізмів для інтелектуальних систем прийняття рішень, обробки знань, еталонування мов сучасних СУБД та CASE-засобів” та її підрозділу “ Теорія експлікативних програмних логік (алгебр) та її застосування до еталонування мов сучасних СУБД та CASE-засобів” (комплексна наукова програма КНУ “Інформатизація суспільства”).

За плідну наукову та педагогічну діяльність Редько В. Н. нагороджений ювілейною медаллю “За доблестный труд. В ознаменование 100-летия со дня рождения Владимира Ильича Ленина” Президії Верховної Ради СРСР (1970 р.), знаком “Победитель социалистического соревнования 1976 года” міністерства вищої та середньої спеціальної освіти СРСР та ЦК профспілки працівників освіти, вищої школи та наукових закладів (1977 р.), нагрудним знаком “За отличные успехи в работе” міністерства вищої та середньої спеціальної освіти СРСР, медаллю “В память 1500-летия Киева” Президії Верховної Ради СРСР (1982 р.), орденом Дружби народів СРСР (1984 р.), нагрудним знаком “За досягнення” міністерства України у справах науки і технологій” (1999 р.), Почесною Грамотою за особливо видатні заслуги перед Київським національним університетом імені Тараса Шевченка (2002 р.).

В 2002 р. Редько В. Н. був удостоєний почесного звання “Заслужений професор” Київського національного університету імені Тараса Шевченка, в 2004 р. – почесного звання “Заслужений діяч науки і техніки України”.

Науково-організаційна робота

В 1971 р. Редько В. Н. заснував кафедру теорії програмування у університеті (зараз кафедра теорії та технології програмування, завідувач кафедри – учень В. Н. Редька професор Нікітченко М.С.) та завідував нею до квітня 2002 р.; професор кафедри теорії програмування з 1973 р.; декан факультету кібернетики в 1984-1987 рр. Він був ініціатором створення і науковим керівником науково-дослідної лабораторії проблем програмування в структурі науково-дослідної частини університету (наказ ректора університету від 18.05.83 № 335 “О”).

Він двічі був головою експертної ради з інформатики та кібернетики ВАК України (Постанова Президії ВАК України від 29.11.2000 р. № 01-77-07/1867); є головою комісії з інформатики міністерства освіти і науки України (наказ від 25.09.2000 р. № 466), членом науково-технічної ради державного комітету з питань зв‘язку та інформатизації, членом Консультативної Ради з питань інформатизації при Верховній Раді України, членом редколегій фахових (за переліками ВАК України) журналів “Кибернетика и системный анализ”, “Проблемы программирования”, “Системні дослідження та інформаційні технології”, “Вісник Київського університету. Серія “Кібернетика”, “Проблемы управления и информатики”, а також журналу “Комп'ютер в школі та сім'ї”. Редько В. Н. є членом спеціалізованих вчених рад з присудження наукових ступенів кандидата і доктора наук при Київському національному університеті імені Тараса Шевченка та Київському національному технічному університеті ”Київський політехнічний інститут”. Виступає членом програмних комітетів міжнародних науково-практичних конференцій з програмування.

Діяльність професора Редька В. Н. завжди сприяла і сприяє іміджу Київського національного університету імені Тараса Шевченка, як центру високоякісної освіти та фундаментальної науки. В даний час він продовжує плідно працювати з студентами та аспірантами, друкується у фахових журналах з проблематики програмування, бере активну участь у міжнародних конференціях.

Developed and designed by Infosoft