Документы, связанные с Владимир Никифорович Редько

Заседание К
Маккарти Дж. "Новые результаты в математической теории вычислений"; Редько В.Н. "Параметрические грамматики"; Фуксман А.Л. "О некоторых свойствах формальных грамматик"; Тузов В.А. "Проблемы разрешения для граф-схем с перестановочными операторами"; Непомнящий В.А. "Об одном методе распознавания эквивалентности схем программ и дискретных преобразований"; Гонца М. Г., Маричук М.Н. "Параметрически управляемый синтаксический контроль и анализ языков программирования"
"Проблемы разрешения для граф-схем с перестановочными операторами"
Письмо, Н. В. Шкут->А.П. Ершов, 10.11.1965
Рассказывает о структурных изменениях в своем институте, о своей работе и поездке в Польшу. Просит подтвердить согласие быть научным редактором книги по транслятору и участвовать в комиссии по его приемке. /Текст рукописный./
Сопроводительное письмо, В. Н. Редько->А.П. Ершов, 11.02.1967
к рукописи, в которой нужно отредактировать ссылки и список литературы с целью сократить количество иностранных авторов.
Статья, 10.03.1967(?)
"Алгоритмические языки и программирование" для "Истории отечественной математики". Вышла в Киеве в 1970 году, том 4, книга 2.
Письмо, Ю. А. Первин->А.П. Ершов, 06.02.1968
Просьба выслать на имя В.М. Глушкова приглашение выступить с докладом.
Письмо, А.П. Ершов->В. Н. Редько, 05.04.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
С предложенной датой согласен.
Телеграмма, В. Н. Редько->А.П. Ершов, 13.03.1970
Спрашивает, есть ли у Андрея Петровича возможность присутствовать на защите 10-го апреля?
Телеграмма, В. Н. Редько->А.П. Ершов, 08.10.1970
с просьбой сообщить сроки командировки и выслать отзыв.
Письмо, К. Д. Жук->А.П. Ершов, 20.11.1970
Официальное извещение о защите диссертации В.Н. Редько.
Телефонограмма, В. М. Глушков->А.П. Ершов..., 21.11.1970
о защите В.Н. Редько; поздравления в связи с избранием членом-корреспондентом АН СССР; о командировке адресата в Киев. /Текст рукописный./

1 2 3
По порядку | По алфавиту | По дате


Назад

Switch to English | Поиск | Расширенный поиск | Папки | Темы
Главная страница Помощь Switch to English Вебмастер © ИСИ СО РАН, 2000-2016