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

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

Размер карточек: 130 х 90 мм.
Доклад (черновик с правкой) С.С. Лавров

С.С. Лавров. Текущий политический момент и развитие внутрипартийной демократии (вторая половина 1989 г.)
Рукописный черновик доклада С.С. Лавров

"Наиболее эффективное применение ЭВМ в науке и технике"
Отзыв С.С. Лавров

на статью И.А. Бекельмана "Метод стремительной сортировки"
Записка А.Н. Маслов -> А.П. Ершов

Просьба попросить С.С. Лаврова сформировать Рабочую группу.
Фрагмент рукописи (нумерованные рукописные листы со вставками) С.С. Лавров

О формальном описании языков (синтаксис, дерево вывода, бесконечные грамматики, эквивалентные грамматики, общие порождающие грамматики)
Черновик заметки ""Маленькие хитрости" в структурном программировании" С.С. Лавров
Отзыв С.С. Лавров

на работу проф. Сантьяго Порро Камачо "Кубинский календарь"
Авторская справка С.С. Лавров

на доклад С.С. Лаврова "Эвристическое программирование".
Фотография

Святослав Сергеевич Лавров. 1960-е
Статья (машинопись) С.С. Лавров

"О сущности смешанных вычислений"
Список рассылки Алгол-бюллетеня С.С. Лавров
Заметка С.С. Лавров

"По поводу статей М.С. Петровской "Улучшение сходимости разложения потенциала планеты", вышедших в "Астрономическом журнале" в 1986 г.
Фрагмент книги воспоминаний Р.Ф. Аппазов

Рефат Аппазов. "Следы в памяти и в сердце"
Фотография

Святослав Сергеевич Лавров
Текст (машинописн.) С.С. Лавров

о роли вычислительных машин и о труде программиста /в форме ответов на вопросы/
Вставка А (рукописные страницы) С.С. Лавров

Приемы вычисления конечных сумм. Чистка циклов
Манифест

Ленинградского клуба программистов
Рукописные тезисы С.С. Лавров

"К вопросу об автоформатизации"
Фотография

Святослав Сергеевич Лавров. 1980
Предисловие (рукописный черновик) С.С. Лавров
Рукопись (фрагмент) С.С. Лавров

"Методологические и технические вопросы диалоговых систем" /текст машинописный/
Письмо С.С. Лавров -> В.И. Битюцков

В ответ на просьбу написать статью "СНОБОЛ" для "Математической энциклопедии" С.С. Лавров рекомендует обратиться к сотруднице ф-та ВМиК МГУ Л.И. Станевичене
Комментарии М.С. Петровская

М.С. Петровской к Отчету С.С. Лаврова "О некоторых задачах теории потенциала", переданному на рассмотрение М.С. Петровской
Рукописный фрагмент С.С. Лавров

о теории и практике социалистического развития
Рабочие записи С.С. Лавров

русско-английский список терминов и вставки в русский текст статьи
Состав библиотеки стандартных программ для серийного образца ЭВМ БЭСМ-6
Отзыв С.С. Лавров

на статью А.А. Землянского "Об одном методе композиции программ иерархической структуры"
Записка С.С. Лавров -> А.П. Ершов

Просьба помочь отменить решение Минвуза о сокращении набора студентов на математико-механический факультет ЛГУ.
Текст (машинописн.) С.С. Лавров

С.С. Лавров. Прикладная математика /ксерокопия/
Рукописный учебный (?) материал С.С. Лавров

Выведение уравнения геодезической линии на сплюснутой поверхности эллипсоида вращения
Черновик статьи "Методологические и теоретические вопросы диалоговых систем" С.С. Лавров
Статья "Функциональное программирование" С.С. Лавров

Продолжение серии статей со сквозной нумерацией разделов, публикуемых в журнале "Компьютерные инструменты в образовании" в 2002 году.
Научное эссе "Только ли геометрия? " С.С. Лавров

(предп. 1985)
Фотография

С матерью перед войной
Отзыв С.С. Лавров

на план-проспект книги А.П. Крюкова и др. "Практическое программирование на ЛИСПе" /книга вышла в издательстве "Радио и связь" в 1991 г./
Замечания С.С. Лавров

на рукопись, представленную на конференцию "Языки программирования и конструирование систем".
Рукопись А.П. Ершов

книги "Введение в теоретическое программирование" с замечаниями С.С. Лаврова и реакцией на них А.П. Ершова.
Приглашенные доклады, 1-й выпуск С.С. Лавров

Глушков В.М. "Автоматизированные системы управления"; Адельсон-Вельский Г.М., Бонгард М.М., Лавров С.С. "Эвристическое программирование"; Гладкий А.В., Диковский А.Я. "Теория формальных грамматик и языков"
Фотография

Святослав Сергеевич Лавров с семьей. 1960
Статья на английском языке (распечатка с рукописной правкой) С.С. Лавров

On the essence of mixed computation. Машинописный черновик (распечатка) с рукописной правкой
Отзыв С.С. Лавров

на книгу Ю.Л. Ершова, Е.А. Палютина и М.А. Тайцлина "Математическая логика"
Рецензия Р.И. Подловченко

ведущего научного сотрудника НИВЦ МГУ Подловченко Р.И. на учебное пособие С.С. Лаврова "Лекции по теории программирования"
Рукопись С.С. Лавров

Модель "Элементарное программирование" (рукописный черновик и распечатка)
Вставка Б (рукописные страницы) С.С. Лавров

Приемы построения вычислительных алгоритмов
Дискуссия

по статье Г.С. Цейтина "Сборочное программирование".
Страница из рукописи С.С. Лавров

о системах представления знаний
Статья "Синтаксические анализаторы магазинного типа" С.С. Лавров

Опубликована в журнале "Программирование", 3 (1978), 41-45 /отдельный оттиск/.
Предисловие (машинописный черновик) С.С. Лавров

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

Страницы