Висвітлено життєвий і творчих шлях В.Н.Редька - відомого українського вченого в галузі інформатики, доктора фізико-математичних наук, професора, академіка НАН України. Наведено результати досліджень з питань теорії програмування. Розглянуто темпоральні процедури й алгоритми в контексті дескриптивних систем, імперативні засоби мов програмування високого рівня, інтенсіональні аспекти композиційно-номінативних логік, принцип репрезентативної повноти номінативних даних, синтаксичні структури програм. Визначено перспективні напрями розвитку теоретичної та прикладної програмології.

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

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"