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

Письмо, С. С. Лавров->В.М. Савинков, 09.03.1983
Предложения о мерах по популяризации сборника "Прикладная информатика"; критика издательства "Финансы и статистика", допускающего переработку здательскими работниками получаемых материалов; несогласие с переделками, внесенными редакторами в статью Лаврова о методологии программирования.
Отзыв, 27.12.1985
на статью А.С. Гитмана и Т.В. Новиковой "Сортировка с вычислением адреса для неравномерного распределения"
Письмо с приложением, П. Хаммер->С. С. Лавров, 20.06.1970
Сопроводительное письмо к заметке автора о математической терминологии с предложением рассмотреть вопрос о создании международного комитета по стандартизации математической терминологии. В приложении - статья "Стандарты и математическая терминология"
Письмо, Б. Г. Тамм->А. А. Дородницын, 17.08.1967
Приложение к письму автора к С.С. Лаврову от 17.08.1967 с предложением обсудить на заседании руководимой адресатом Межведомственной комиссии по математическому обеспечению ЭВМ тему "Применение вычислительных маших в технологии металлообработки"; темы сообщений, с которыми могли бы выступить сотрудники ИК АН ЭССР
Письмо (рукописн. черновик), Р. И. Подловченко->С. С. Лавров, 15.11.1999-19.11.1999
Ответ на письмо от 28 октября 1999
Черновики, 11.09.1980-14.09.1980
"С-аксиоматизация" /распечатки с рукописной правкой, 2 экземпляра/
Статья, 23.06.1980
С.С. Лавров, Л.А. Залогова, Т.И. Петрушина, "Принципы планирования решения задач в системе автоматического синтеза программ", Программирование, 3 (1982), 35-43 /отдельный оттиск/
Письмо, А.П. Ершов->С. С. Лавров, 11.09.1967
Просьба поделиться литературой, требующейся для дипломных проектов по языкам Лисп и Алгол 67, выполняемых под руководством А.П. Ершова
Письмо, Ж. Лерэ->С. С. Лавров, 25.10.1970(?)
с просьбой к С.Лаврову проверить перевод его доклада на Международном конгрессе математиков, сделанный организаторами, чтобы гарантировать его точность, и надеждой, что русский текст доклада будет опубликован в СССР
Отзыв, 27.12.1985
на статью С.А. Киржбаум "Применение блок-схем как языка програмирования"
Письмо, В. Ш. Кауфман->С. С. Лавров, 29.04.1983
в продолжение дискуссии о смешанных вычислениях, станках с ЧПУ и проекционном подходе
Письмо, С. С. Лавров->В. Ш. Кауфман, 04.05.1983
Ответ на письмо от 29.04.1983 в продолжение разговора о методе смешанных вычислений и проекционном подходе
Отзыв, 27.12.1985
на статью М.К. Кулешова "Сортировка с помощью файлов прямого доступа"
Письмо, М. Русева->С. С. Лавров, 26.10.1970
от болгарской аспирантки С.С. Лаврова из Нью-Йорка. Автор обсуждает планы своего 7-месячного пребывания в США, рабочие и аспирантские дела
Письмо на бланке с приложением, Н. Лутов->С. С. Лавров, 15.11.1967
Просьба дать отзыв на работу "Язык для вывода графической информации "ЧЕРТЕЖ-1". В приложении - бланк счета к оплате
Письмо, Р. Курки-Суонио->А.П. Ершов, 12.09.1985
Автор пишет, что получил письмо, которое является звеном в цепочке, начатой в Японии. Цель - дать возможность ученым выразить свою поддержку прекращению гонки вооружений и началу ядерного разоружения. Просьба написать аналогичное письмо десяти другим ученым, а копию письма отправить японскому ученому Т. Ито. /На обороте рукой Андрея Петровича написано десять фамилий людей, которым он намеревался написать такое письмо./
Рабочие записи, 22.11.1982-27.11.1982
сделанные во время встречи СССР-Венгрия в ноябре 1982 года и по возвращении в Москву, а также разбор статьи С.С.Лаврова "Кому и для чего нужна персональная вычислительная машина".
Письмо, С. С. Лавров->А.П. Ершов, 24.03.1967
Автор передает просьбу Ю.И. Королькова подтвердить дату заседания ИФИП/РГ2.1 в Амстердаме.
Письмо (рукописное), 22.12.1992
По состоянию здоровья автор не смог принять участие в совещании Научного совета по программному обеспечению ЭВМ ОИВТА РАН 12 ноября, где рассматривался вопрос об Институте систем информатики СО РАН и его научной деятельности. Автор полностью поддерживает все сказанное в письме Научного совета по программному обеспечению ЭВМ ОИТВА РАН по этому вопросу.
Письмо, А.П. Ершов->А. О. Буда, 25.03.1975
Сообщает свое расписание, чтобы можно было найти время для встречи и обсуждения работы адресата. Дает рекомендации, одобряет статью для журнала "Theoretical Computer Science".

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49
По порядку | По алфавиту | По дате


Назад

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