|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Документы, связанные с Институт кибернетики АН Украинской ССР Приглашение, В. М. Глушков->А.П. Ершов, 11.03.1979 на заседание Программного комитета конференции.
Приглашение и программа, 26.06.1972-01.07.1972всесоюзного симпозиума "Теория языков и методы построения систем программирования".
Сопроводительное письмо, автор не установлен->А.П. Ершов, 06.04.1979к материалам заседания Программного комитета и с описанием некоторых организационных проблем, возникших на тот момент.
Записки, Ю. В. Капитонова ->А.П. Ершов..., 05.06.1979поступившие А.П. Ершову после выступления с пленарным докладом "Трансформационный метод в технологии программирования".
Поздравлениес 20-летием Отдела программирования от сотрудников Института кибернетики АН УССР.
Акт экспертизы, 26.04.1977доклада "К вопросу автоматизации проектирования систем обработки данных".
Информация, А. А. Стогний->А.П. Ершов, 04.02.1980об очередном заседании РГТП. Приведена повестка дня.
Информация, А. А. Стогний->А.П. Ершов, 21.11.1980об очередном заседании РГТП. Приведена повестка дня.
Поздравление, 29.06.1983(?)от всей души со славным юбилеем. Пожелания крепкого здоровья, успехов, счастья. Пусть вычислительное дело прирастает Новосибирью Академгородка!
Телеграмма, А.П. Ершов->В. М. Глушков, 05.01.1978с приветствием к членам Ученого совета и гостям, собравшимся на торжественное заседание в Институте кибернетики АН УССР, с пожеланием больших успехов и плодотворной работы.
Материалы, 06.04.1979заседания Программного комитета конференции "Технология программирования" и письма для рассылки.
Письмо, К. Д. Жук->А.П. Ершов, 07.01.1970Официальное уведомление о принятии к защите докторской диссертации В.Н. Редько; просьба дать предварительный отзыв.
Письмо, А.П. Ершов->В. М. Глушков, 01.02.1962Узнав о начавшейся в ИК АН УССР разработке машины, входным языком которой будет АЛГОЛ, автор предлагает направить в Киев в командировку сотрудницу ИМ СО АН М.М. Бежанову, которая работает над интерпретирующей системой для Входного языка, применимую для отладки алгоритмов, записанных на Входном языке. Он полагает, что такое сотрудничество может быть полезно для обеих сторон.
Письмо, В. С. Михалевич->А.П. Ершов, 17.07.1986Приглашение на заседание программного комитета конференции.
Акт экспертизы, 26.04.1977доклада П.П. Кулябко "Вопросы разработки многоуровневого определения данных, имеющих геометрическое представление".
Письмо с приложением, Н. А. Садовская->А.П. Ершов, 13.07.1979Автор посылает текст статьи, подготовленной для журнала "Кибернетика", рассказывает об основных ее положениях и просит прислать рецензию. "Рыбу" рецензии прилагает.
Отчет, 30.10.1979аспирантки ВЦ СО АН СССР Н.А. Садовской о стажировке в ИК АН УССР.
Концепция, 21.08.1986Исходная концепция и детализированная программа проведения работ по проблеме "Развитие технологии разработки и промышленного производства программных средств вычислительной техники" Комплексной программы научно-технического прогресса стран - членов СЭВ до 2000 г.
Статья, 17.08.1982"Polynomial complete problems in automata theory" ("Полиномиально полные проблемы в теории автоматов"). /Статья дана на английском и русском языках./
Акт экспертизытезисов доклада И.В. Касаткиной "Доказательство свойств программ в языке высокого уровня с косвенной адресацией".
1 2 3 4 5 6 7 8 9 10 По порядку | По алфавиту | По дате Назад |
|
| Switch to English | Поиск | Расширенный поиск | Папки | Темы | |
|
|||||
|
|||||
|
|||||
|
|||||
|
