|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Документы, связанные с Сергей Александрович Абрамов Письмо, Л. И. Гончарова->С. С. Лавров, 20.10.1971 Автор посылает С.С. Лаврову отчет, рассказывает о своих текущих научных делах и о ходе работы над диссертацией
Отзыв, 27.01.1983на статью С.А. Абрамова "О вычислении предусловий программ" /для Ж. вычисл. матем. и матем. физ./
Письмо, В. М. Курочкин->Ю. И. Шокин..., 12.11.1992с анализом деятельности и перспектив существования ИСИ СО РАН. Программисткая общественность приветствовала создание в апреле 1990 г. Института систем информатики как одного из очень немногих в России и единственного в Сибири института, основной задачей которого являются исследования по фундаментальным проблемам информатики. Авторы считают нецелесообразным слияние Института с любым другим институтом СО РАН, убеждены в необходимости его существования в качестве самостоятельного академического института. Письмо подписали 15 человек.
Отзыв, 25.02.1985на статью С.А. Абрамова, Е.А. Казьминой и В.А. Кукляевой "Применение методов верификации программ к проверке утверждений о погрешностях"
Письмо (рукописное), Е. И. Стечкина->А.П. Ершов, 31.01.1980Обсуждются несколько вопросов: включения в план издательства книги Пентковского, написание рецензии на рукопись С.А.Абрамова, взаимодействие с Книготоргом по поводу продажи книги А.П.Ершова.
Рецензия, 17.04.1980на рукопись С.А.Абрамова "Элементы программирования".
По порядку | По алфавиту | По дате Назад |
|
| Switch to English | Поиск | Расширенный поиск | Папки | Темы | |
|
|||||
|
|||||
|
|||||
|
|||||
|
