|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Документы, связанные с Людмила Викторовна Черноброд (Суковатицына) Список, 01.08.1973 работ сотрудников отдела А.П.Ершова по языку СЕТЛ.
Извещение, 24.01.1979о заседании СНС по информатике.
Письмо, А.П. Ершов->Дж. Т. Шварц, 31.01.1974Рассказывает о работе по программе научно-технического сотрудничества, о планируемом визите В.Е. Котова в США, о текущих делах в отделе.
Сопроводительное письмо (рукописное), В. А. Матулис->А.П. Ершов, 29.10.1979к 10 экз. первого информационного письма и копии списка персональной рассылки по Новосибирску. Приложение: 1. Список рассылки; 2. Первое информационное письмо.
Отчет, 18.10.1972Л.В. Черноброд о проделанной работе.
Тест, 11.08.1972для проверки функциональной полноты реализации Лисп-интерпретатора на БЭСМ-6, выполненного в ВЦ СО АН СССР.
Письмо, А.П. Ершов->С. И. Будыхо, 24.08.1981Поддерживает исправленный вариант статьи Л.В. Черноброд "О контроле типов значений переменных с использованием доказательства свойств программы".
План расселения, 24.09.1974по комнатам сотрудников лабораторий А.П. Ершова и И.В. Поттосина.
Рецензия, Л.В. Черноброд (Суковатицына)->А.П. Ершов, 01.02.1980Л.В. Черноброд на доклад Ж. Террина.
Извещение, 01.07.1982о заседании СНС по информатике.
Заключение, 29.06.1984специализированного совета Д 002.10.02 о кандидатской диссертации Л.В.Черноброд.
Письмо, А.П. Ершов->Я. М. Барздинь, 14.04.1980Посылает проспект диссертации Л.В. Черноброд и просит адресата оценить степень диссертабельности этой работы.
Отчет, 27.03.1978младшего научного сотрудника лаборатории теоретического программирования Л.В. Черноброд о работе за 1977 год.
Преварительная программа, 06.07.1987пребывания в ВЦ СО АН СССР профессора Стэнфордского университета Дж. Маккарти (шт. Калифорния, США).
Письмо, А.П. Ершов->Дж. Т. Шварц, 30.04.1973Рассказывает о рабочих новостях (работа СЕТЛ-группы; создание группы по искусственному интеллекту; выпуск эскизного проекта по системе БЕТА; завершение работ по системе АИСТ-0), о планах своих возможных поездок в США и Японию.
Программа, 24.08.1987пребывания в ВЦ СО АН СССР профессора Стэнфордского университета Дж. Маккарти (шт. Калифорния, США).
Письмо, А.П. Ершов->Н. С. Фурс, 12.07.1982Рекомендация для опубликования в журнале статьи Л.В. Черноброд "Аксиоматическая система для проверки правильности программ относительно структуры объектов".
Письмо, А.П. Ершов->Л. В. Овсянников, 14.05.1969с просьбой о содействии в организации поездки на совещание студентки 4-го курса НГУ Л.В. Суковатицыной.
Письмо, А.П. Ершов->В. П. Оревков, 14.05.1969с просьбой включить в число слушателей совещания студентку 4-го курса НГУ Л.В. Суковатицыну.
Рецензия, 30.01.1980на статью "Monitors with arrays of condition variables ..." для журнала BIT.
1 2 3 По порядку | По алфавиту | По дате Назад |
|
| Switch to English | Поиск | Расширенный поиск | Папки | Темы | |
|
|||||
|
|||||
|
|||||
|
|||||
|
