Документы, связанные с Людмила Александровна Черкасова

Протокол №1, 28.08.1990
заседания Ученого совета ИСИ СО АН СССР.
Индивидуальный план, 01.10.1980(?)
аспирантки Л.А. Черкасовой. /Позже перешла В.Е. Котову и защитилась в январе 1984 года./
Записка, 23.01.1981
с названием диссертации Л.А. Черкасовой.
Информационное письмо, Л. И. Нарышева->А.П. Ершов, 23.02.1982
о дате аттестации аспирантов.
Научно-техническое задание, М. И. Нечепуренко->В. Е. Котов, 01.04.1987(?)
В.Е. Котову и Л.А. Черкасовой, выезжающим в командировку во Францию в четвертом квартале 1987 года.
Протокол №20, 02.04.1991
заседания Ученого совета ИСИ СО РАН.
Протокол №24, 14.05.1991
заседания Ученого совета ИСИ СО РАН.
Протокол №5, 18.02.1992
заседания Ученого совета ИСИ СО РАН.
Выписка, 18.02.1992
из протокола №5 заседания Ученого совета ИСИ СО РАН - об избрании И.В. Поттосина представителем в Объединенный ученый совет по математике и информатике.
Заключение, 10.01.1984
специализированного совета Д 002.10.02 при ВЦ СО АН СССР о кандидатской диссертации Л.А.Черкасовой.
Извещение, 16.11.1983
о заседании секции "Информатика, вычислительные системы и АСУ" Учёного совета ВЦ СО АН СССР. /Приписка Андрея Петровича: "Не был."/
Отзыв, 21.08.1980
о работе Л.А. Черкасовой "Структурированные сети Петри".
Извещение, М. И. Нечепуренко->А.П. Ершов, 10.01.1984
о заседании специализированного совета Д 002.10.01 при ВЦ СО АН СССР.
Тезисы доклада
В.Е. Котов, Л.А. Черкасова (Новосибирск) "Унификация логических средств при описании процессов и верификации их свойств".

По порядку | По алфавиту | По дате


Назад

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