О некоторых задачах теории потенциала Научные записки, замечания к работам М.С. Петровской, переписка с автором и редколлегией "Астрономического журнала", где опубликованы эти работы (1986)
Замечания, 04.10.1973по проекту проблемного доклада о перспективах развития ЭВМ /общие и отдельные по тексту/
Замечания, 15.11.1973к проблемному докладу "Математические и физические основы развития электронно-вычислительных машин и проблемы общения человека с ними" (С.С. Лавров входил в состав рабочей группы по данной проблеме)
Отзыв, 27.03.1969на диссертацию В.Ш. Кауфмана "Об одном классе контекстно-свободных грамматик, используемых в трансляторах" на соискание ученой степени кандидата физ.-мат. наук
Отзыв, 23.11.1970о книге Д. Кнута "Искуство программирования. Том 1. Основные алгоритмы" (D.E. Knuth, The Art of Computer Programming. v.1, Fundamental Algorithms)
Отзыв, 14.01.1971на рукопись книги В.А. Васильева "Основные понятия алгоритмического языка АЛГОЛ-68"
Отзыв, 29.07.1977на статью В.Ю. Бакенрота и Т.П. Балкуновой "Об одной процедуре упорядочивания массивов"
Отзыв, 03.10.1977на пересмотренный вариант книги А.П. Ершова "Введение в теоретическое программирование"
Отзыв, 01.01.1978(?)на статью Б.А. Коляскина и Е.Ю. Кузнецова "Метод организации информации, характеризуемый высокой скоростью поиска и обновления данных"
Отзыв, 30.05.1979на статью А.Д. Макаренковой и др. "Внедрение компилятора компиляторов CDL на ЭВМ БЭСМ-6" /для журнала "Программирование"/
Отзыв, 10.09.1981на диссертацию И.О. Бабаева "Система для введения абстрактных типов данных в язык ФОРТРАН", представленную на соискание ученой степени кандидата физ.-мат. наук
Отзыв, 27.01.1983на статью С.А. Абрамова "О вычислении предусловий программ" /для Ж. вычисл. матем. и матем. физ./
Отзыв, 23.03.1981научного руководителя на диссертацию Манрике Хесуса Ириарте Кироса "Денотационная семантика процедур, функций и указателей"
Отзыв, 23.03.1983научного руководителя на диссертацию Л.А. Залоговой "Организация пакетов программ в системе программного обеспечения для решения задач астрономии"
Отзыв, 19.04.1983на статью Ю.И. Шендеровича "Метод интервальной сортировки"
Отзыв, 24.06.1983на статью А.В. Арсентьевой "Самоподобные рекурсивные структуры и их алгоритмизация"
Отзыв, 21.07.1983на работу И.А. Сурадейкина "Период вращения спутников и планет около оси - результат взаимодействия гравитационных систем"
Отзыв, 01.01.1983(?)на рукопись книги Д.М. Тодороя и Н.В. Канцер "ЭВМ и программирование"
Отзыв, 19.11.1983на статью И.В. Мацкевича "Быстрая сортировка произвольно распределенных последовательностей"
Отзыв, 10.01.1984на рукопись книги И.Д. Бутомо и др. "Программирование на алгоритмическом языке "Паскаль" для микро-ЭВМ" с примерами неточностей и методических просчетов и рекомендацией тщательно доработать текст
Отзыв, 25.02.1985на статью С.А. Абрамова, Е.А. Казьминой и В.А. Кукляевой "Применение методов верификации программ к проверке утверждений о погрешностях"
1
2
3
По порядку | По алфавиту | По дате |