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

Заседание К
Маккарти Дж. "Новые результаты в математической теории вычислений"; Редько В.Н. "Параметрические грамматики"; Фуксман А.Л. "О некоторых свойствах формальных грамматик"; Тузов В.А. "Проблемы разрешения для граф-схем с перестановочными операторами"; Непомнящий В.А. "Об одном методе распознавания эквивалентности схем программ и дискретных преобразований"; Гонца М. Г., Маричук М.Н. "Параметрически управляемый синтаксический контроль и анализ языков программирования"
Телеграмма, А.П. Ершов->В. И. Битюцков, 27.01.1975
Просит адресатов определиться с участием в совещании по системам построения трансляторов.
Письмо, А.П. Ершов->М. М. Кулешов, 31.01.1975
Просьба предоставить места в гостинице иногородним участникам Технического совещания по системам построения трансляторов согласно списку.
Телеграмма, А.П. Ершов->В. Н. Редько, 19.03.1982(?)
Просит адресата приехать на защиту, так как запасного оппонента нет.
Письмо, В. Н. Редько->А.П. Ершов, 18.04.1968
Автор с благодарностью принимает предложение выступить на конференции по программированию с докладом "Параметрические системы программирования", а также приглашение на симпозиум "Новые алгоритмические языки". /Текст рукописный./
Сопроводительное письмо, В. Н. Редько->А.П. Ершов, 11.02.1967
к рукописи, в которой нужно отредактировать ссылки и список литературы с целью сократить количество иностранных авторов.
Анкета, 01.01.1970
Телеграмма, В. Н. Редько->А.П. Ершов, 13.03.1970
Спрашивает, есть ли у Андрея Петровича возможность присутствовать на защите 10-го апреля?
Письмо, Ю. А. Первин->А.П. Ершов, 06.02.1968
Просьба выслать на имя В.М. Глушкова приглашение выступить с докладом.
Письмо, А.П. Ершов->В. Н. Редько, 05.04.1968
с приглашением выступить на Первой всесоюзной конференции по программированию с докладом на тему "Теория языков и системы программирования, ориентированные на описание языка".
Телеграмма, В. Н. Редько->А.П. Ершов, 23.04.1981
с поздравлениями от В.Н. Редько. /Снабжено рукописным пояснением, которое Андрей Петрович сделал для своей мамы./
Телеграмма, А.П. Ершов->В. М. Курочкин, 01.08.1972
по адресам: В.М. Курочкина, Г.С. Поспелова, Р.И. Подловченко, Я.М. Барздиня, Н.А. Криницкого, А.А. Летичевского, В.Н. Редько, В.А. Тузова, А.Л. Фуксмана, Г.С. Цейтина и Ю.Г. Шукуряна - просьба телеграфировать дату прибытия в Новосибирск и номер рейса.
План, 03.09.1980
размещения участников конференции в ДО "Жилвинас" (состояние на 3 сентября).
Письмо, Н. В. Шкут->А.П. Ершов, 10.11.1965
Рассказывает о структурных изменениях в своем институте, о своей работе и поездке в Польшу. Просит подтвердить согласие быть научным редактором книги по транслятору и участвовать в комиссии по его приемке. /Текст рукописный./
"Проблемы разрешения для граф-схем с перестановочными операторами"
Телеграмма, В. Н. Редько->А.П. Ершов, 08.10.1970
с просьбой сообщить сроки командировки и выслать отзыв.
Телефонограмма, В. М. Глушков->А.П. Ершов..., 21.11.1970
о защите В.Н. Редько; поздравления в связи с избранием членом-корреспондентом АН СССР; о командировке адресата в Киев. /Текст рукописный./
Письмо, К. Д. Жук->А.П. Ершов, 20.11.1970
Официальное извещение о защите диссертации В.Н. Редько.
Письмо, Г. Е. Цейтлин->А.П. Ершов, 29.03.1975
Сообщение о передаче в подарок книги; обсуждение ближайших научных планов.
Отзыв, 27.11.1970
официального оппонента о работе В.Н. Редько "Параметрические системы программирования", представленной на соискание ученой степени доктора физико-математических наук.

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


Назад

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