|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Документы, связанные с Людмила Викторовна Черноброд (Суковатицына) Письмо, А.П. Ершов->Дж. Маккарти, 15.08.1969 Обсуждение работ по ЛИСПу, АИСТу-0; сообщение о ВКП-2; другие вопросы.
Письмо, Л.В. Черноброд (Суковатицына)->А.П. Ершов, 06.09.1974Просьба продлить отпуск, во время которого заболела и пока окончательно не выздоровела. /Текст рукописный./
Письмо, А.П. Ершов->С. И. Будыхо, 24.08.1981Рекомендует к публикации исправленный вариант статьи Л.В. Черноброд "О контроле типов значений переменных с использованием доказательства свойств программ". /Текст рукописный, черновой./
Письмо, С. С. Лавров->А.П. Ершов, 27.03.1984Автор сообщает, что на семинаре кафедры проф. Романовским И.В. был сделан интересный доклад. Сотрудница ВЦ СО АН Черноброд Л.В. на нем присутствовала. Было бы хорошо, если бы она по возвращении рассказала о том, что слышала.
Отзыв, 23.07.1984научного руководителя о диссертации Л.В. Черноброд "Верификация алголоподобных программ методом индуктивных высказываний".
Письмо, А.П. Ершов->Дж. Маккарти, 02.12.1971о текущих делах и своих планах.
Повестка, М. И. Нечепуренко->А.П. Ершов, 26.06.1984заседания специализированного совета Д 002.10.02 при ВЦ СО АН СССР.
Отзыв, 12.06.1970руководителя о дипломной работе Л.В. Суковатицыной "Автоматическая проверка доказательств".
Письмо с конвертом, Л.В. Черноброд (Суковатицына)->А.П. Ершов, 14.10.1969Автор рассказывает о своем выступлении на семинаре по конструктивной логике в Ленинграде и о нынешней работе.
1 2 3 По порядку | По алфавиту | По дате Назад |
|
| Switch to English | Поиск | Расширенный поиск | Папки | Темы | |
|
|||||
|
|||||
|
|||||
|
|||||
|
