Святослав Сергеевич Лавров с семьей. 1960

Вопросы комиссии по работе M.С. Петровской /рукописн./

в защиту своих научных результатов

Автоматизация обработки символьной и геометрической информации

С.С. Лавров и Л.И. Брежнев. Награждение в июне 1961 года орденом Ленина

о награждении старшего техника лейтенанта С.С. Лаврова Орденом Красной звезды в числе бойцов 193 Истребительной авиационной Демблинской ордена Суворова дивизии /документ из Общедоступного электронного банка документов «Подвиг Народа в Великой Отечественной войне 1941-1945 гг.» http://www.podvig-naroda.ru/

Ответ на письмо от 13.05.1999. Новый вариант материала о теореме Райса (реакция на статью Шауцуковой)

извещающее о публикации отчета EWD 196; об Алголе 68; о методе программирования, состоящем в написании доказуемо правильных программ

Благодарность за письмо и программу курса; обсуждение курса "Математическая логика и теория множеств"; просьба посоветовать литературу по исчислению программ

С.С. Лавров. "Кому нужна персональная вычислительная машина и какой ей быть?" /машинописный текст с правкой/

"Персональные ЭВМ"

"Основные направления и этапы внедрения ЭВМ в сфере просвещения" с рукописными пометками С.С. Лаврова. Издана Управлением информатики и вычислительной техники Министерства просвещения СССР в 1987 г. тиражом 52 экз.

на диссертацию И.О. Бабаева "Система для введения абстрактных типов данных в язык ФОРТРАН", представленную на соискание ученой степени кандидата физ.-мат. наук

Президиума АН СССР "О редакционной коллегии научно-технического сборника "Диалоговые системы".

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

"О сущности смешанных вычислений".

членам редакционной комиссии, представляющим республиканские АН - некоторые соображения по подготовке материалов к проекту решения.

о конференции, организуемой межотраслевыми комитетами Ленинградского областного совета НТО.

Автор с благодарностью принимает предложение стать членом КоСМО.

с поздравлениями от С.С. Лаврова. /Снабжено рукописным пояснением, которое Андрей Петрович сделал для своей мамы./