Документы, связанные с Сергей Александрович Абрамов

Тезисы докладов симпозиума 03.11.1970

по вопросам обработки символьной информации
Письмо Л.И. Гончарова (Станевичене) -> С.С. Лавров 20.10.1971

Автор посылает С.С. Лаврову отчет, рассказывает о своих текущих научных делах и о ходе работы над диссертацией
Отзыв С.С. Лавров 19.06.1972

о диссертации С.А. Абрамова "Алгоритм алгебраических преобразований функциональных выражений"
Отзыв С.С. Лавров 30.03.1974

на рукопись книги С.А. Абрамова и И.Н. Антипова "Алгоритмический язык алгол"
Письмо (рукописное) Е.И. Стечкина -> А.П. Ершов 31.01.1980

Обсуждются несколько вопросов: включения в план издательства книги Пентковского, написание рецензии на рукопись С.А.Абрамова, взаимодействие с Книготоргом по поводу продажи книги А.П.Ершова.
Рецензия А.П. Ершов 17.04.1980

на рукопись С.А.Абрамова "Элементы программирования".
Отзыв С.С. Лавров 27.01.1983

на статью С.А. Абрамова "О вычислении предусловий программ" /для Ж. вычисл. матем. и матем. физ./
Отзыв С.С. Лавров 25.02.1985

на статью С.А. Абрамова, Е.А. Казьминой и В.А. Кукляевой "Применение методов верификации программ к проверке утверждений о погрешностях"
Письмо С.А. Абрамов -> Ю.И. Шокин 12.11.1992

с анализом деятельности и перспектив существования ИСИ СО РАН. Программисткая общественность приветствовала создание в апреле 1990 г. Института систем информатики как одного из очень немногих в России и единственного в Сибири института, основной задачей которого являются исследования по фундаментальным проблемам информатики. Авторы считают нецелесообразным слияние Института с любым другим институтом СО РАН, убеждены в необходимости его существования в качестве самостоятельного академического института. Письмо подписали 15 человек.