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

  • Заседание К В.Н. Редько
    Маккарти Дж. "Новые результаты в математической теории вычислений"; Редько В.Н. "Параметрические грамматики"; Фуксман А.Л. "О некоторых свойствах формальных грамматик"; Тузов В.А. "Проблемы разрешения для граф-схем с перестановочными операторами"; Непомнящий В.А. "Об одном методе распознавания эквивалентности схем программ и дискретных преобразований"; Гонца М. Г., Маричук М.Н. "Параметрически управляемый синтаксический контроль и анализ языков программирования"
  • "Проблемы разрешения для граф-схем с перестановочными операторами" В.Н. Редько
  • Письмо Н.В. Шкут -> А.П. Ершов 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 при ВЦ СО АН СССР по поводу защиты диссертации Б.Н. Островского "Построение языково-ориентированных анализаторов с помощью смешанных вычислений".
Назад