Документы, связанные с Институт кибернетики АН Украинской ССР

Поздравление
с 20-летием Отдела программирования от сотрудников Института кибернетики АН УССР.
Акт экспертизы
тезисов доклада И.В. Касаткиной "Доказательство свойств программ в языке высокого уровня с косвенной адресацией".
Справка
о научной, научно-организационной и педагогической деятельности д.ф.-м.н. А.А. Летичевского.
Справка
о научной, научно-организационной и педагогической деятельности д.ф.-м.н. И.Н. Молчанова.
Акт экспертизы
тезисов доклада А.Ю. Гвильдиса, А.Р. Ильвеса, Б.Н. Паньшина "Пакет программ диспетчера коллективного пользования по распределению ресурсов ЭВМ на ВЦКП".
Тезисы доклада
С.А. Зинкина "Иерархия автоматов с однородной настраиваемой структурой для реализации отношений частичного порядка в очередях".
Тезисы доклада
Л.Д. Руснак и В.А. Черноусова "Некоторые вопросы программного обеспечения СУБД".
Письмо, А.П. Ершов->В. М. Глушков, 09.11.1961
Просьба помочь в приобретении экземпляра статьи В.М. Глушкова из последнего номера журнала "Успехи математических наук" и экземпляра "Сборника трудов ВЦ" на украинском языке. Чтобы в дальнейшем не обращаться с подобными просьбами, хотелось бы стать постоянным получателем печатной продукции по машинной математике и кибернетике. Пользуясь случаем, автор поздравляет коллектив с успешным проведением опыта по управлению производственным процессом на расстоянии.
Письмо, А.П. Ершов->В. М. Глушков, 01.02.1962
Узнав о начавшейся в ИК АН УССР разработке машины, входным языком которой будет АЛГОЛ, автор предлагает направить в Киев в командировку сотрудницу ИМ СО АН М.М. Бежанову, которая работает над интерпретирующей системой для Входного языка, применимую для отладки алгоритмов, записанных на Входном языке. Он полагает, что такое сотрудничество может быть полезно для обеих сторон.
Письмо, В. Н. Афанасьев->А.П. Ершов..., 26.09.1963
Приглашение от имени оргкомитета на семинар-симпозиум, посвященный проблемам развития вычислительной техники. Просьба к адресату выступить с докладом по автоматизации программирования и входным языкам.
Сопроводительное письмо, Л. С. Козачков->А.П. Ершов, 29.11.1963
к материалам научных семинаров по теоретическим и прикладным вопросам кибернетики.
Сопроводительное письмо, Л. С. Козачков->А.П. Ершов, 20.02.1964
к высланным материалам семинаров.
Письмо, 28.02.1964
с просьбой о дополнительном приглашении на семинар, о включении в программу сообщения "Проект расширения ГОСТа на внешние устройства...".
Письмо, В. М. Глушков->А.П. Ершов, 30.03.1964
Просит дать согласие войти в состав редколлегии нового журнала "Кибернетика".
Письмо, В. М. Глушков->А.П. Ершов, 25.04.1964
Просит дать согласие войти в состав редколлегии и высказать пожелания и рекомендации по поводу тематики нового сборника "Кибернетика и вычислительная техника".
Сопроводительное письмо, Л. С. Козачков->А.П. Ершов, 05.07.1964
к материалам семинаров.
Письмо, Оргкомитет->А.П. Ершов, 10.07.1964
Приглашают выступить с докладом "Алгоритмические языки и автоматизация программирования" на всесоюзной конференции молодых ученых по теоретической кибернетике.
Письмо, В. М. Глушков->А.П. Ершов, 11.07.1964
Рассказывает о новом журнале "Кибернетика" и просит написать статью.
Письмо, Оргкомитет->А.П. Ершов, 24.10.1964
Просят выслать тезисы доклада "Система автоматизации программирования АЛЬФА".
Письмо, 10.12.1964
Названы имена четырех участников семинара по автоматизации программирования.

1 2 3 4 5 6 7 8 9 10
По порядку | По алфавиту | По дате


Назад

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