Документы, связанные с Людмила Викторовна Черноброд (Суковатицына)

Письмо, А.П. Ершов->Дж. Маккарти, 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 | Поиск | Расширенный поиск | Папки | Темы
Главная страница Помощь Switch to English Вебмастер © ИСИ СО РАН, 2000-2016