Документы, связанные с Владимир Никифорович Редько
-
"Проблемы разрешения для граф-схем с перестановочными операторами" В.Н. Редько
-
Заседание К В.Н. Редько
Маккарти Дж. "Новые результаты в математической теории вычислений"; Редько В.Н. "Параметрические грамматики"; Фуксман А.Л. "О некоторых свойствах формальных грамматик"; Тузов В.А. "Проблемы разрешения для граф-схем с перестановочными операторами"; Непомнящий В.А. "Об одном методе распознавания эквивалентности схем программ и дискретных преобразований"; Гонца М. Г., Маричук М.Н. "Параметрически управляемый синтаксический контроль и анализ языков программирования"
-
Письмо Н.В. Шкут -> А.П. Ершов
10.11.1965
Рассказывает о структурных изменениях в своем институте, о своей работе и поездке в Польшу. Просит подтвердить согласие быть научным редактором книги по транслятору и участвовать в комиссии по его приемке. /Текст рукописный./
-
Сопроводительное письмо В.Н. Редько -> А.П. Ершов
11.02.1967
к рукописи, в которой нужно отредактировать ссылки и список литературы с целью сократить количество иностранных авторов.
-
Статья В.Н. Редько
10.03.1967
"Алгоритмические языки и программирование" для "Истории отечественной математики". Вышла в Киеве в 1970 году, том 4, книга 2.
-
Письмо .. -> А.П. Ершов
06.02.1968
Просьба выслать на имя В.М. Глушкова приглашение выступить с докладом.
-
Письмо В.Н. Редько -> А.П. Ершов
18.04.1968
Автор с благодарностью принимает предложение выступить на конференции по программированию с докладом "Параметрические системы программирования", а также приглашение на симпозиум "Новые алгоритмические языки". /Текст рукописный./
-
Телеграмма Е.Л. Ющенко -> А.П. Ершов
06.09.1968
Сообщение о конечных сроках приема обзорных докладов для опубликования. В случае невозможности своевременной отправки, просьба публикацию докладов взять на себя.
-
Анкета
01.01.1970
-
Телеграмма В.Н. Редько -> А.П. Ершов
04.01.1970
Поздравление с Новым годом.
-
Письмо В.Н. Редько -> А.П. Ершов
06.01.1970
Сообщает, что работа представлена к защите; указывает назначенный срок.
-
Письмо К.Д. Жук -> А.П. Ершов
07.01.1970
Официальное уведомление о принятии к защите докторской диссертации В.Н. Редько; просьба дать предварительный отзыв.
-
Письмо В.Н. Редько -> А.П. Ершов
08.01.1970
Просьба выслать отзыв на домашний адрес.
-
Телеграмма А.П. Ершов -> К.Д. Жук
20.01.1970
Отзыв выслан; публиковать автореферат можно.
-
Телеграмма В.Н. Редько -> А.П. Ершов
13.03.1970
Спрашивает, есть ли у Андрея Петровича возможность присутствовать на защите 10-го апреля?
-
Телеграмма В.Н. Редько -> А.П. Ершов
08.10.1970
с просьбой сообщить сроки командировки и выслать отзыв.
-
Письмо К.Д. Жук -> А.П. Ершов
20.11.1970
Официальное извещение о защите диссертации В.Н. Редько.
-
Телефонограмма В.Н. Редько -> А.П. Ершов
21.11.1970
о защите В.Н. Редько; поздравления в связи с избранием членом-корреспондентом АН СССР; о командировке адресата в Киев. /Текст рукописный./
-
Отзыв А.П. Ершов
27.11.1970
официального оппонента о работе В.Н. Редько "Параметрические системы программирования", представленной на соискание ученой степени доктора физико-математических наук.
-
Решение
26.06.1972
Симпозиум способствовал сближению точек зрения по вопросам, представленным в его тематике, установлению личных научных и деловых контактов. Перечислены высказанные рекомендации.
-
Приказ В.И. Крутов -> А.П. Ершов
25.01.1974
о проведении всесоюзного научного симпозиума на тему "Системное и теоретическое программирование" в сентябре 1974 года в Кишиневе. В Приложении - состав оргкомитета в количестве двадцати человек.
-
Шуточный отчёт в про-эпиграммах С.С. Лавров
12.12.1974
О симпозиуме "Системное и теоретическое программирование"и рабочей группе по реализации языков программирования.
-
Телеграмма В.Н. Редько -> А.П. Ершов
30.01.1975
о вылете.
-
Письмо А.П. Ершов -> М.М. Кулешов
31.01.1975
Просьба предоставить места в гостинице иногородним участникам Технического совещания по системам построения трансляторов согласно списку.
-
Постановление М.В. Келдыш -> А.П. Ершов
13.02.1975
Президиума АН СССР "О составе редакционной коллегии журнала "Программирование" (представление Отделения математики)".
-
Письмо Г.Е. Цейтлин -> А.П. Ершов
29.03.1975
Сообщение о передаче в подарок книги; обсуждение ближайших научных планов.
-
Приказ В.П. Елютин -> А.П. Ершов
11.05.1977
"Об утверждении состава Научно-методического совета по прикладной математике". Даны списки членов Президиума Совета и всех его секций.
-
Брошюра В.Н. Редько
25.08.1978
В.Н. Редько "Теоретические проблемы программирования. Программы и программные композиции."
-
Письмо М.Г. Гонца -> А.П. Ершов
17.01.1979
Просьба предоставить возможность доложить на семинаре отдела диссертационную работу на тему "Многоязыковые транслирующие процессоры". В случае положительной оценки работы, просьба к адресату быть официальным оппонентом.
-
План В.А. Матулис
03.09.1980
размещения участников конференции в ДО "Жилвинас" (состояние на 3 сентября).
-
Распоряжение Е.И. Шемякин
27.10.1980
о проведении конференции по методам трансляции. Приложена программа конференции.
-
Телеграмма В.Н. Редько -> А.П. Ершов
23.04.1981
с поздравлениями от В.Н. Редько. /Снабжено рукописным пояснением, которое Андрей Петрович сделал для своей мамы./
-
Приказ В.И. Крутов
09.07.1981
"О проведении всесоюзной научной конференции "Синтез, тестирование, верификация и отладка программ" (сентябрь 1981 года; Рига) и Приложение (состав оргкомитета) к нему.
-
Стенограмма
06.04.1982
заседания специализированного совета Д 002.10.02 при ВЦ СО АН СССР по поводу защиты диссертации Б.Н. Островского "Построение языково-ориентированных анализаторов с помощью смешанных вычислений". /Текст черновой./
-
Стенограмма
26.04.1982
Окончательный вариант стенограммы заседания специализированного совета Д 002.10.02 при ВЦ СО АН СССР по поводу защиты диссертации Б.Н. Островского "Построение языково-ориентированных анализаторов с помощью смешанных вычислений".