|
|||||||||||
Документы, связанные с Валерий Александрович Непомнящий Сопроводительное письмо, В. А. Матулис->А.П. Ершов, 03.12.1979 к материалам, касающимся подготовки сообщений на II-й секции конференции, которые автор передает через члена программного комитета Г.К. Григаса. Также автор сообщает информацию по некоторым пленарным докладам. /Текст рукописный./
Письмо и рукописные замечания, А.П. Ершов->Х. Д. Миллс..., 25.12.1979(?)Замечания В.А. Непомнящего к статье Х. Миллса и письмо А.П. Ершова, содержащее перевод этих замечаний.
Варианты словника, 10.01.1980предложенные сотрудниками отдела А.П. Ершова.
Письмо, Х. Д. Миллс->А.П. Ершов, 01.02.1980с благодарностью за замечания по докладу, сделанные В.Э. Иткиным и В.А. Непомнящим.
Рецензия, В.А. Непомнящий->А.П. Ершов, 20.02.1980В.А. Непомнящего на доклад М. Энгелина.
Обложка, 13.03.1980-04.11.1980с хронологией работы над статьей.
Сопроводительное письмо, А. О. Слисенко->А.П. Ершов, 27.03.1980к информации о семинаре "Оценка сложности вычислений", который планируется провести с 20 по 23 января 1981 г. в ЛО ИМ. Приложена записка, адресованная В.А. Непомнящему, с просьбой зайти к адресату по поводу этого письма.
Отчет, 25.04.1980о работе доцента Д.Н. Тодороя на факультете повышения квалификации НГУ.
Отчет рецензента, 21.05.1980о статье "On inclusion problem for deterministic multitape automata".
Программа, 13.06.1980предварительная приема научного сотрудника Математического института БАН к.ф.-м.н. А.О. Буды. Продолжительность командировки - 7 дней.
Оглавление, 02.11.1980сборника "Математическая теория и практика систем программного обеспечения", основанного на докладах советско-болгарского совещания (София, 1980 год), и справочная информация о нем.
Протокол, 17.11.1980по итогам научного сотрудничества между Единым центром математики и механики БАН и Вычислительным центром СО АН СССР по подтеме "Теория алгоритмов" темы 1.1 "Математическая логика" за период 1977-1980 гг.
Письмо, А.П. Ершов->Ю. И. Янов, 26.12.1980Излагает свои замечания к интересной статье адресата в журнале "Проблемы кибернетики", № 37. Просит прислать несколько оттисков.
Статья, 09.01.1981"Программирование теоретическое". /Черновик./
Статья, 21.01.1981"Программирование теоретическое".
Адрес, А. С. Нариньяни ->А.П. Ершов..., 18.04.1981от сотрудников ВЦ СО АН, завсегдатаев кофе-клуба. /В список авторов не включены лица, не идентифицируемые по подписи. Снабжено рукописным пояснением, которое Андрей Петрович сделал для своей мамы./
Письмо (рукописное), М. Миякава->А.П. Ершов, 06.05.1981Автор благодарит за руководство и помощь, посылает оттиски своей статьи и обсуждает возможность перевода и публикации статьи о смешанных вычислениях.
Письмо, А.П. Ершов->С. И. Будыхо, 24.08.1981Поддерживает исправленный вариант статьи В.А. Непомнящего "Доказательство правильности программ линейной алгебры".
Телеграмма, А. С. Нариньяни ->Г. Е. Цейтлин..., 01.02.1982Слова скорби по поводу безвременной кончины В.М. Глушкова.
Письмо, Х. Еномото->А.П. Ершов, 01.02.1982в сопровождение докладов, представленных на Шестую международную конференцию по технологии программирования и направленных А.П. Ершову на рецензирование.
1 2 3 4 5 6 7 8 9 10 По порядку | По алфавиту | По дате Назад |
||
Switch to English | Поиск | Расширенный поиск | Папки | Темы |
|