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

Аспіранти

Перелік аспірантів, що захистили кандидатські дисертації під офіційним керівництвом проф. Редька В. Н.

Аспірант Назва дисертації Рік захисту
1. Гонца М. Г. Некоторые вопросы построения и оптимизация алгоритмов параметрических систем программирования 1969
2. Манакова О. І. Некоторые вопросы теории интерпретаторов 1972
3. Шевченко В. В. Некоторые вопросы построения параметрических систем программирования 1972
4. Бойко Б. І. Грамматики инверсно-кзазирекурсивного типа и синтаксические проблемы языков программирования 1974
5. Биць В. В. Квазирекурсии и синтаксические аспекты языков программирования 1974
6. Євладенко В. Н. Вопросы конструирования и реализации параметрических систем синтаксического контроля и отладки 1974
7. Марічук М. Н. Вопросы создания параметрических транслирующих систем и автоматизация их построения 1974
8. Проценко В. С. Регулярные параметрические грамматики и проблема параметризации 1975
9. Лісовик Л. П. Алгоритмические вопросы алгебраической теории формальных языков 1975
10. Романовський О. О. Проблемы построения специализированных параметрических процессоров 1976
11. Трубчанінов Г. Г. Структура синтаксических дефиниций 1977
12. Кузенко В. Ф. Эквивалентные преобразования языков программирования 1978
13. Зайферт Франц Дітер Регулярные и квазирегулярные множества в группах 1973
14. Шкільняк С. С. Исследование синтаксической структуры языков программирования 1979
15. Нікітченко М. С. Семантико-синтаксические структуры программ 1980
16. Зубенко В. В. Элементарные программные алгебры 1981
17. Пастор Франтішек Абстрактная модель интепретатора 1981
18. Басараб І. А. Исследование и построение композиционных баз данных 1982
19. Карпенко I. В. Исследование и разработка семантико-синтаксических систем построения языковых процессоров 1982
20. Дінь Мань Тионг Программные алгебры (х, у)-арных функций 1983
21. Бородич Д. І. Параметрические системы отладки 1984
22. Бєлий С. Б. Исследование и построение специальных классов программ поиска и их применения в теории Рамсея для графов 1985
23. Буй Д. Б. Примитивные программные алгебры 1985
24. Мітра Індрані Исследование манипуляционного аспекта баз данных квазиреляционного типа 1985
25. Волохов В. М. Исследование и разработка программных комплексов композиционной технологии программирования 1986
26. Горбачик А. П. Семантическое конструирование программ 1986
27. Назаренко А. В. Методы интегрированного описания языков программирования в системах построения языковых процессоров 1986
28. Мавлянов А. В. Исследование и разработка специализированных языковых процессоров с семантико-синтаксическим управлением 1986
29. Лісовський М. С. Методы и средства построения адаптивных информационных систем квазиреляционного типа 1987
30. Гасаненко Н. А. Ситаксические аспекты языков программирования в семантико-синтаксических системах 1987
31. Губський Б. В. Регулярные программные алгебры обобщенно-вычислимых функций 1989
32. Котеля В. В. Функциональные зависимости регулярных алгебр 1989
33. Самойленко Г. Т. Система программирования для языков обработки символьной информации 1989
34. Ніколаєв М. В. Программные механизмы взаимодействия асинхронных процессов 1989
35. Хайдар Мохамад Исследование и разработка языковых средств поддержки квазиреляционных баз данных 1991
36. Дрібаті Мухамед Исследование систем автоматизации построения яыковых процессоров с семантико-синтаксическим управлением 1991
37. Приходько П. П. Исследование и разработка композиционных спецификаций программ 1993
38. Брона Ю. Й. Композиційні моделі реляційних структур та SQL-подібні мови 1998
39. Вінник В. Ю. Еталонні моделі символьної обробки 2003

Developed and designed by Infosoft