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

Письмо (электр.), С. С. Лавров->Р. И. Подловченко, 12.08.2000
Ответ на письмо от 09.08.2000
Заметка (машинописн. рукопись), 01.12.1983(?)
Программирование в разных измерениях /опубликована в ж. "Знание - сила" №1, 1984/
Письмо, Р. И. Подловченко->С. С. Лавров, 10.09.2000
Ответ на электронное письмо от 12.08.2000, полученное по возвращении из турпоездки
Черновики, 20.02.1984-11.07.1984
"О языке постановки задачи" /два варианта; машинная распечатка/
Письмо, С. С. Лавров->И. Купка, 21.12.1981
Согласие присоединиться к исследованиям по теме "Разработка гибридного языка для процедурного и непроцедурного программирования", представляющей интерес для автора и его аспирантов. Рассказ об опыте разработки универсальной системы программирования, поддерживающей непроцедурные средства для вычислительных расчетов и реляционных баз данных, и о проекте по разработке языка для процедурного и непроцедурного программирования, цели которого практически совпадают с целями мюнхенского проекта CIP. О приглашении проф. Купки в Ленинград сроком на 5 мес. в мае 1972 г. Просьба прислать материалы из прилагаемого списка
Сопроводительное письмо и список рассылки, 12.12.1968(?)
к отчетам №1-21 по проблеме Государственного плана научных исследований № 0.80.551 по созданию автоматизированной высокопроизводительной системы на базе ВЦ СОАН СССР
Письмо, С. С. Лавров->Б. В. Шабат, 09.01.1969
Обоснование целесообразности перевода на русский язык и издания многотомного "Справочника по вычислениям на электронных вычислительных машинах" (Handbook for Automatic Computation), готовящегося к выпуску в ФРГ
Письмо с приложением, 12.07.1991-02.08.1991
Сопроводительное письмо и черновой вариант книги Эрика Хенера "A Practical Theory of Programming" с просьбой прочесть и дать знать о замечаниях, предложениях и замеченных ошибках к октябрю 1991 г.
Письмо, А.П. Ершов->С. С. Лавров, 09.09.1971
о возможном участии адресата в симпозиуме ИФИП.
Статья (черновик, фрагмент), 06.11.1984
С.С. Лавров, "Творчество и алгоритмы" /машинная распечатка/
Письмо (электр.), С. С. Лавров->Р. И. Подловченко, 27.09.2000
Ответ на "бумажное" письмо от 10.09.2000
Записка (рук. черновик электр. письма), Р. И. Подловченко->С. С. Лавров, 29.11.2000
Сообщение об отправке бумажного письма
Записи, 17.12.1984
"О внешности и реализации первичных" /машинная распечатка/
Письмо, Г. С. Цейтин->С. С. Лавров, 23.01.1969
Обсуждение научных вопросов: о различных типах языков; о расширяемости языков; о тенденциях развития алгоритмических языков; предложения об изменениях в Алголе-68
Письмо, Е. Л. Ющенко->С. С. Лавров, 28.02.1969
Просьба принять участие в написании статей для Энциклопедии кибернетики
Письмо, Р. И. Подловченко->С. С. Лавров, 28.11.2000
о текущих делах
Письмо (электр.), С. С. Лавров->Р. И. Подловченко, 01.12.2000
Рукопись, 10.10.1984(?)
доклада "Архитектура баз знаний"
Письмо, В. А. Васильев->С. С. Лавров, 12.04.1969
Сопроводительное письмо к рукописи автореферата работы автора, посвященной теории видов, с просьбой оценить целесообразность публикации результатов в "Журнале вычислительной математики и математической физики" и выступления на семинаре у С.С. Лаврова
Учебная программа (проект), 10.09.1984
по специальности "Разработка и эксплуатация программных систем".

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