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

Наукові праці

Перелік наукових, учбових та методичних праць професора Редька Володимира Никифоровича

№ п/п Назва Друкована, або на правах рукопису Видавництво, журнал (назва, номер, рік) або номер авторського свідоцтва К-ть друк. листів або сторінок Прізвища співавторів
1. p-подгруппы линейных групп над конечными полями характеристики p и над кольцом вычетов по модулю pm Друкована Успехи математических наук, т. ХIV, вып.5 (89), 1959 0,2 Л.А.Калужнин и др.
2. О коммутативных автоматах Друкована Труды Международного Симпозиума по теории релейных устройств и конечных автоматов, М., 1962 0,2  
3. Про комутативне замикання подій Друкована ДАН УРСР, № 3, 1963 0,3  
4. Некоторые вопросы теории коммутативных автоматов Рукопис, канд. дис. ИМ АН УССР, К., 1963 6  
5. Некоторые вопросы теории коммутативных автоматов Друкована Автореферат кандидатской диссертации, К., 1963 0,9  
6. Об определяющей совокупности соотношений алгебры регулярных событий Друкована УМЖ, № 1, 1964 0,8  
7. Об алгебре коммутативных событий Друкована УМЖ, № 2, 1964 1  
8. О коммутативных автоматах Друкована Сб. “Теория конечных и вероятностных автоматов”, Наука, М., 1965 0,5  
9. О композиции автоматов Друкована Сб. Трудов семинара “Теория автоматов”, ИК АН УССР, К., 1965 0,7  
10. О связи автоматов и полугрупп Друкована Сб. “Вопросы теоретической кибернетики”, Наукова думка, К., 1965 0,7  
11. Некоторые вопросы теории языков Друкована Кибернетика, № 4, 1965 1,2  
12. К вопросу классификации и минимизации логических граф-схем обучения Друкована Труды семинара 1,2 "Программированное обучение и обучающие машины", ИК АН УССР, К., 1965 1,2 Е.Л.Ющенко
13. К синтаксическому анализу контекстно-свободных языков Друкована Кибернетика, № 3, 1966 1,2  
14. Некоторые вопросы теории языков Друкована Труды Международного конгресса по математике, Наука, М., 1966 0,2  
15. Система языков для моделирования психических функций Друкована Сб. трудов семинара "Некоторые проблемы биокибернетики, применение электроники в биологии и медицине", ИК АН УССР, К., 1966 0,8 Е.Л.Ющенко и др.
16. Требования к языкам для моделирования психических функций Друкована Сб. "Биокибернетика", Наукова думка, К., 1966 0,7 Е.Л.Ющенко и др.
17. О принципах построения универсальных систем обработки данных на основе их описаний в алгоритмических языках Друкована Труды Всесоюзной конференции по обработке данных, Батуми, 1966 0,9 Л.П.Бабенко, Е.Л.Ющенко
18. Алгоритмические языки и транслирующие системы Друкована Кибернетика, № 5, 1967 0,8 Е.Л.Ющенко
19. Об одном методе построения транслирующих систем Друкована Труды Межвузовской конференции по программированию экономических расчетов, М.,1967 0,2 Е.Л.Ющенко
20. Метод построения интерпретирующих и транслирующих систем Друкована Труды конференции по системотехнике, К., 1968 0,4  
21. Параметрические системы программирования Друкована Труды первой Всесоюзной конференции по программированию, К., 1968 2,2  
22. К проблеме синтаксического анализа языков. I Друкована Кибернетика, № 1, 1969 0,9  
23. К проблеме синтаксического анализа языков. II Друкована Кибернетика, № 3, 1969 0,9  
24. Интерпретированные языки и интерпретаторы Друкована Кибернетика, № 5, 1969 1  
25. Параметрические грамматики и проблема параметризации Друкована Сб. ”Автоматизация программирования”, ИК АН УССР, К., вып. 1, 1969 0,9  
26. Параметрические системы программирования Рукопис, доктор. дис. ИК АН УССР, К., 1969 12  
27. Параметрические системы программирования Друкована Автореферат докторской диссертации, К., 1970 1,7  
28. Параметрические грамматики и проблема синтаксического анализа языков Друкована Труды Второй Всесоюзной конференции по программированию, Новосибирск, 1970 0,9  
29. Теория интерпретаторов и параметрические системы программирования Друкована Сб. “Математическое обеспечение ЭЦВМ”, ИК АН УССР, К., 1970 0,8 Е.Л.Ющенко
30. О принципах построения универсальных систем обработки данных на основе их описания в алгоритмических языках Друкована В кн. “Вопросы проектирования отраслевых автоматизированных систем управления”, Наука, М., 1970 0,9 Е.Л.Ющенко, Л.П.Бабенко
31. Алгоритмические языки и программирование Друкована Сб. “Математическое обеспечение ЭЦВМ”, ИК АН УССР, К., 1971 0,8 Е.Л.Ющенко
32. Алгебры языков Друкована Труды Международного симпозиума по теории автоматов, Берлин, 1971 0,8  
33. Алгоритмические языки и автоматизация программирования Друкована В кн. “История отечественной математики”, Наукова думка, т.4, 1971 2 А.П.Ершов, М.Р.Шура-Бура, Е.Л.Ющенко
34. Проблемы подготовки специалистов по прикладной математике Друкована Сб. “Проблемы высшей школы”, Высшая школа, К., 1971 0,8 И.И.Ляшко
35. Синтаксические проблемы языков программирования Друкована Труды Всесоюзной конференции по системному программированию, Новосибирск, 1972 0,8  
36. Параметрическая система программирования “Контроль” Друкована Труды Всесоюзной Конференции по Математическому Обеспечению, М.,1972 0,3 Б.И.Бойко и др.
37. Дефиниторные процессоры и метод дефиниторного процессирования Друкована Труды Всесоюзной конференции по теоретическому программированию, Кишинев, 1973 0,8  
38. Дефиниторные алгебры и алгебры языков Друкована Кибернетика, № 4, 1973 1,2  
39. Дефиниторы и метод дефиниторного процессирования Друкована Кибернетика, № 6, 1974 0,8  
40. Метод дефиниторного процессирования Друкована Труды Всесоюзной конференции по прикладной математике, Канев, 1974 0,8  
41. Дефиниторы и языки Друкована Сб. "Теория языков и процессоров", ИК АН УССР, К., 1975 0,8  
42. Семантические проблем языков программирования Друкована Труды Международного симпозиума по теоретическому программированию, Новосибирск, 1975 0,7  
43. Лабораторный практикум по программированию Друкована КГУ, К., 1975 12 И.И.Ляшко, В.И.Малиновский и др.
44. Языки и процессоры Друкована ИК АН УССР, К., 1975 6 Б.И.Бойко, В.В.Быць и др.
45. Теоретико-дефиниторные аспекты языков Друкована Сб. “Проблемы кибернетики”, Наука, М., т.31, 1976 1,1  
46. Современные проблемы программирования Друкована В кн. “История отечественной математики”, Высшая школа, К., 1976 0,7  
47. Проблема тождества квазирегуляторных алгебр над конечно-определенными коммутативными подгруппами Друкована Кибернетика, № 1, 1976 0,7 Л.П.Лисовик
48. Композиции автоматов Друкована Энциклопедия математики, Наука, М., 1977 0,3  
49. Теоретические проблемы программирования (синтаксические аспекты) Друкована Знание, К., 1977 2 Г.Г.Трубчанинов
50. Синтаксические дефиниции (структурный подход) Друкована Программирование, № 5, 1977 1,5 Г.Г.Трубчанинов
51. Теоретические проблемы программирования (программы и программные композиции) Друкована Знание, К., 1978 2  
52. Композиции программ и композиционное программирование Друкована Программирование, № 5, 1978 2  
53. Дефиниторные системы над полугруппами и их применение Друкована Труды ІІ Всесоюзного Симпозиума по теории полугрупп, Свердловск, 1978 0,2  
54. Структура синтаксических дефиниций языков программирования Друкована Программирование, № 4, 1979 1,5 С.С.Шкильняк
55. Семантико-синтаксические структуры языков программирования Друкована В кн. “Семантика естественных и искусственных языков”, ЛГУ, Ленинград, 1979 0,2  
56. О генераторах регулярных языков Друкована Кибернетика, № 1, 1979 0,5 Л.П.Лисовик
57. Основания композиционного программирования Друкована Программирование, №3, 1979 1  
58. Основания композиционного программирования Друкована Знание, К., 1979 1,5  
59. Регулярные события в полугруппах Друкована Сб. “Проблемы кибернетики”, Наука, М., Т37, 1980 3,5 Л.П.Лисовик
60. Проблема эквивалентности для конечно-повторных счетчиковых машин Друкована Кибернетика, №4, 1980 0,5 Л.П.Лисовик
61. Композиционные базы данных Друкована Труды 1 Всесоюзной конференции “Банки данных”, Тбилиси, 1980 0,2  
62. Семантическое конструирование программ Друкована Знание, К., 1980 1,5  
63. Построение языковых процессоров Друкована Труды 1 Всесоюзной конференции “Пакеты программ”, Таллин, 1980 0,2  
64. Семантические структуры программ Друкована Программирование, №1, 1981 1,5  
65. Языковые процессоры с семантико-синтаксическим управлением Друкована Труды конференции “Методы трансляции”, Новосибирск, 1981 0,2  
66. Универсальные программные логики Друкована Труды конференции “Синтез, верификация, отладка программ”, Рига, 1981 0,2  
67. Композиционная технология программирования Друкована Знание, К., 1981 1,5  
68. Алгоритмы и формальные системы: Учебное пособие Друкована КГУ, К., 1981 6 Л.П.Лисовик
69. Основания программологии Друкована Труды конференции по вычислительной математике, Канев, 1982 0,4  
70. Мировоззренческие аспекты программирования Друкована Всесоюзная конференция “Мировоззренческие аспекты науки”, Высшая школа, К., 1982 1,5  
71. Автоматизированные системы обучения (ретроспективы и перспективы) Друкована Труды конференции “Автоматизированные системы обучения”, Львов, 1982 0,3  
72. Система производства пакетов программ универсального и специального назначения Друкована Труды конференции “Пакеты программ”, Рига, 1982 0,2  
73. Логико-функциональные аспекты баз данных (композиционный подход) Друкована Труды 2 Всесоюзной конференции “Банки данных”, Секция 1, Ташкент, 1983 0,3 И.А.Басараб
74. Императивные программные логики (основные результаты и открытие проблемы) Друкована Труды 2 Всесоюзной конференции “Автоматизация производства прикладных пакетов программ и трансляторов”, Таллин, 1983 0,4  
75. Универсальные программные логики и их применение Друкована Труды конференции “Системное и теоретическое программирование”, Кишинев, 1983 1,2  
76. Диалоговый комплекс автоматизации вычислительных работ Друкована В кн. “Средства реализации систем программирования”, ИК АН УССР, К., 1983 0,5 Б.И.Бойко, И.В.Карпенко
77. Базы данных с логико-функциональной точки зрения Друкована Программирование, №2, 1984 1,5 И.А.Басараб
78. Примитивные программные алгебры. І Друкована Кибернетика, №5, 1984 0,8 Д.Б.Буй
79. Примитивные программные алгебры. ІІ Друкована Кибернетика, №1, 1985 0,8 Д.Б.Буй
80. Примитивные программные алгебры целочисленных и словарных функций Друкована ДАН УССР, Сер. А, №10, 1984 0,3 Д.Б.Буй
81. Примитивные программные алгебры функций рациональных аргументов и значений Друкована ДАН УССР, Сер. А, №6, 1985 0,3 Д.Б.Буй
82. Композиционное и функциональное программирование: сравнительный анализ Друкована Программирование, №2, 1985 0,8 Н.С.Никитченко
83. Синтез программ в композиционном и функциональном программировании Друкована Труды конференции “Методы трансляции и конструирования программ”, Новосибирск, 1985 0,2 Н.С.Никитченко
84. Семантико-синтаксическое конструирование программ в примерах и задачах Друкована КГУ, К., 1985 2 Г.А.Кияшко, Е.И.Манакова, Н.С.Никитченко, Н.Г.Рябчун
85. Элементарное программирование (конспект лекций) Друкована КГУ, К., 1985 2 Г.А.Кияшко, Е.И.Манакова, И.А.Басараб
86. Именные структуры данных Друкована В кн. “Организация взаимодействия человека с ЭВМ”, ИК АН УССР, К., 1986 0,9 И.А.Басараб
87. Структурный метод анализа сложности операторов манипулирования данными Друкована В кн. “Математические методы в автоматизированных системах и банках данных”, ИК АН УССР, К., 1986 0,8 И.А.Басараб
88. Интерактивная информационная система Друкована Информационный листок №86-116, Киевское отделение УкрНИИНТИ, 1986 0,4 И.А.Басараб
89. Адаптивные вычислительные системы Друкована Тезисы Всесоюзной конференции “Диалог – ЭВМ”, 1986 0,2  
90. Адаптивные базы знаний Друкована Тезисы Всесоюзной конференции “Диалог – ЭВМ”, 1986 0,2 А.П.Жежерун
91. Об основных понятиях языков программирования (математико-синтаксический подход) Друкована УкрНИИНТИ, К., №725, 1986 2 В.Ф.Кузенко
92. Композиционные аспекты программологии, І Друкована Кибернетика, №5, 1987 1,2 Н.С.Никитченко
93. Базы данных и информационные системы Друкована Знание, Сер. “Математика, кибернетика”, №6, 1987 3,6 И.А.Басараб
94. Композиционные аспекты программологии, ІІ Друкована Кибернетика, №1, 1988 1,2 Н.С.Никитченко
95. Проблемы полноты в классах вычислимых именных функций Друкована Труды ІІ Всесоюзной конференции “Прикладная логика”, Новосибирск, 1988 0,1 Д.Б.Буй, Б.В.Губский
96. Проблемы полноты в классах вычислимых именных функций Друкована Кибернетика, №4, 1988 1,2 Д.Б.Буй, Б.В.Губский
97. Поняття програми та програмування Друкована Наука та суспільство, №5, 1998 0,2 Г.А.Кияшко
98. Інтуїтивні властивості програм Друкована Наука та суспільство, №8, 1998 0,2Г.А.Кияшко
99. Структури програм програмування Друкована Наука та суспільство, №10, 1988 0,2 Г.А.Кияшко
100. Природа мов програмування Друкована Наука та суспільство, №11, 1988 0,2 Г.А.Кияшко
101. Обчислювальні машини та системи в першому наближенні Друкована Наука та суспільство, №2, 1989 0,2 Г.А.Кияшко
102. Програмування обчислення найбільношо загального дільника (початкові етапи) Друкована Наука та суспільство, №4, 1989 0,2 Г.А.Кияшко
103. Програмування обчислення найбільшого загального дільника (кінцеві етапи) Друкована Наука та суспільство, №6, 1989 0,2 Г.А.Кияшко
104. Програмування обчислення найменшого кратного Друкована Наука та суспільство, №9, 1989 0,2 Г.А.Кияшко
105. Програмування арифметичних операцій додавання та множення Друкована Наука та суспільство, №11, 1989 0,2 Г.А.Кияшко
106. Semantics of Data Manipulation Languages: A Compositional Approach Друкована Proc. 12th Int. Seminar on DBMS, Suzdal, USSR, 1989 0,9 B.V.Gubsky
107. Манипуляционный аспект баз данных: композиционный подход Друкована Кибернетика, №6, 1989 1,2 Д.Б.Буй, С.П.Загорский
108. Интуитивные представления о программах и программировании Друкована КГУ, К., 1989 2 Г.А.Кияшко
109. Методы элементарного программирования Друкована КГУ, К., 1989 2 Г.А.Кияшко
110. Программирование со структурами данных простого типа Друкована КГУ, К., 1989 2 Г.А.Кияшко
111. Семантика языков манипулирования данными: композиционный подход Друкована Труды 12 Международного симпозиума по базам данных, Суздаль,1989 0,9 Б.В.Губский
112. Введение в операционные системы СМ ЭВМ: Учебное пособие Друкована УМК ВО, К., 1989 5 А.П.Жежерун, В.В.Зубенко
113. Программирование с простыми данными Друкована КГУ, К., 1990 2 Г.А.Кияшко
114. Программирование теоретико-числовых задач Друкована КГУ, К., 1990 2 Г.А.Кияшко
115. Композиционный подход к построению курса “Программирование и вычислительные системы” Друкована Проблемы высшей школы, Вып. 70, 1990 0,4 Г.А.Кияшко
116. Программирование со сложными структурами данных Друкована КГУ, К., 1990 2,3 Г.А.Кияшко
117. Контрольные задания к разделу “Программирование со структурами данных простого типа” Друкована КГУ, К., 1990 0,7 Г.А.Кияшко
118. Контрольные задания к разделу “Программирование со сложными структурами данных” Друкована КГУ, К., 1990 0,6 Г.А.Кияшко
119. Технология программирования задач численного анализа Друкована КГУ, К., 1990 1,1 Г.А.Кияшко
120. Контрольные задания к разделу “Интуитивные представления о программах” Друкована КГУ, К., 1990 0,6 Г.А.Кияшко
121. Композиционный подход к построению курса “Программирование и ВС” Друкована Проблемы высшей школы, Вып. 70, 1991 0,7 Г.А.Кияшко
122. Дефиниторные алгебры над полугруппами и их применение Друкована Труды алгебраического симпозиума, Свердловск, 1991 0,2  
123. Прикладные программные системы. Архитектура. Построение. Развитие. Друкована Наукова думка, К., 1992 15 И.В.Сергиенко, А.С.Стукало
124. Композиционные базы данных Друкована Либідь, К., 1992 10 И.А.Басараб, Н.С.Никитченко
125. О композиционном подходе к построению курса “Программирование и вычислительные системы” Друкована Проблемы высшей школы, Вып. 73, 1991 0,4 Г.А.Кияшко
126. Композиционный подход к построению курса “Программирование и вычислительные системы” Друкована Проблемы высшей школы, Вып. 76, 1992 0,4 Г.А.Кияшко
127. Методичні вказівки і учбові завдання до вивчення курсу “Програмування і обчислювальні системи” Друкована Видавничо-поліграфічний центр “Київський університет”, К., 1993 14 Г.А.Кияшко
128. Grundlagen der Programmierung Друкована Leipzig, Universitдt-Verlag, 1994 10  
129. Программологические аспекты метода неподвижной точки Друкована Кибернетика и системный анализ, 1994, №6 0,9 Д.Б.Буй
130. Принципы построения композиционных баз данных Друкована Управляющие системы и машины, 1994, №6 0,5 И.А.Басараб, Б.В.Губский, Н.С.Никитченко
131. DESC-Architekturen Друкована Leipzig, Universitдt-Verlag, 1994 0,1 S.Gerber
132. Decriptive Informatik: Stelung und Entwicklung Друкована Leipzig, Universitдt-Verlag, 1994 0,1 S.Gerber
133. Descriptive Informatik: einzelne Striche Друкована Leipzig, Universitдt-Verlag, 1994 0,2 S.Gerber
134. DESC-Spezifikationen Друкована Leipzig, Universitдt-Verlag, 1994 0,2 S.Gerber
135. Primдre Paradigmen der DESC-Spezifikationen in Beispielen Друкована Leipzig, Universitдt-Verlag, 1994 0,2 S.Gerber
136. DESC-Computersysteme Друкована Leipzig, Universitдt-Verlag, 1994 0,1 S.Gerber
137. DESC-offene Systeme der Parallelverabeitung Друкована Leipzig, Universitдt-Verlag, 1994 0,1 S.Gerber
138. Composition Models of Databases Друкована British Computer Society, 1994, №1 0,6 I.A.Basarab, B.V.Gubsky, N.S.Nikitchenko
139. Неподвижные точки и операторы замыкания: программологические аспекты Друкована Киберннетика и системный анализ, 1995, №1 0,8 Д.Б.Буй
140. Взаимная непроизводность и выразительная сила операций реляционных алгебр Друкована ДАН Украины, Сер. “Математика, Природознавство. Технічні науки”, 1996, №11 0,3 Ю.И.Брона, Д.Б.Буй
141. К основаниям теории реляционный моделей баз данных Друкована Кибернетика и системный анализ, 1996, №4 0,8 Д.Б.Буй
142. Інформаційний аспект CASE-технологій: основні співвідношення в табличних алгебрах Друкована Проблемы программирования, 1997, Вып. 1 0.7 Ю.Й.Брона, Д.Б.Буй
143. К основаниям теории реляционных баз данных: табличные алгебры Депонований рукопис КУ, К., 1996 8 Ю.И.Брона, Д.Б.Буй
144. Проблемы полноты в классах вычислимых функций Друкована Труды международной конференции по вычислительной и прикладной математике, К., 1997 0,1  
145. Реляционные алгебры: операции проекции и соединений Друкована Кибернетика и системный анализ, 1997, №4 0,9 Д.Б.Буй, Ю.И.Брона
146. Реляционные алгебры: операции деления, переименования и активного дополнения Друкована Кибернетика и системный анализ, 1997, №5 0,9 Д.Б.Буй, Ю.И.Брона
147. Програмування в першому наближенні Друкована КГУ, К., 1997 1,2 Г.А.Кияшко
148. Програмування задач чисельного аналізу Друкована КГУ, К., 1987 1,6 Г.А.Кияшко
149. Экспликативное программирование: ретроспективы и перспективы Друкована Праці I науково-практичної конференції з програмування УкрПРОГ’98, К., 1998 1,5  
150. Композиционная структура программологии Друкована Кибернетика и системный анализ, 1998, №4 1,5  
151. Экспликативное программирование в среде логико-математических спецификаций Друкована Праці I науково-практичної конференції з програмування, К., 1998 0,9 Н.В.Гришко, И.В.Редько
152. Программология: прошлое, настоящее, будущее Друкована Вестник международного Соломонова университета, Вып.1, 1999 1,7  
153. Елементи редукційного програмування: Навчальний посібник для студентів факультету кібернетики Друкована Видавничий центр “Київський університет”, К., 1999 5 І.О.Манакова
154. Семантико-синтаксична технологія конструювання програм, які базуються на рекурентних співвідношеннях: Навчальний посібник для студентів 1-го курсу факультету кібернетики Друкована Видавничий центр “Київський університет”, К., 1999 5,5 І.О.Манакова
155. Основания программологии Друкована Кибернетика и системный анализ, 2000, №1 1,6  
156. Начала программологии: экспликативный базис Друкована Вестник международного Соломонова университета, Вып.1, 2000 1,8  
157. Эталонное программирование: ретроспективы и перспективы Друкована Проблемы программирования, 2000, № 1-2 1,7 Н.В.Гришко, И.В.Редько
158. Програмологія: ретроспективи та перспективи Друкована Вісник. Кібернетика, КНУ, Вип. 1, 2000 1,9  
159. Реляційні бази даних: табличні алгебри та SQL-подібні мови Друкована Видавничий дім “Академперіодика”, Київ, 2001 11,62 Ю.Й.Брона, Д.Б.Буй, С.А.Поляков
160. Дескриптологические основания программирования Друкована Кибернетика и системный анализ, 2001, №6 0,7  
161. Дескриптологічні основи інформатики Друкована Наукові записки. Том 7. Факультет кібернетики. – Київ: КПДВ “Педагогіка”, 2004 1  
162. Дескриптологические системы: ретроспективы и перспективы Друкована Вісник Київського університету. Серія фіз.-мат. науки. Спецвипуск за матеріалами Міжнародної конференції “Теоретичної та прикладні аспекти побудови програмних систем” (TAAPSD’2004), 2004 0,36 И.В.Редько

Developed and designed by Infosoft