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

Комментарии М.С. Петровская

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

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

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

по статье Г.С. Цейтина "Сборочное программирование".
Текст (машинописн.) С.С. Лавров

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

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

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

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

С матерью перед войной
Предложения С.С. Лавров

В рабочую группу по подготовке проекта информатизации советского общества. О проектах, подготовленных различными рабочими группами. Предлагается положить в основу дальнейшей работы над Концепцией проект рабочей группы под руководством Д.М. Гвишиани, как наиболее отвечающий целям программы. /2 экземпляра черновиков с правкой/
Статья "О родстве оснований программирования и математики" С.С. Лавров

Опубликовано в журнале "Программирование", 2001, №6, с. 3-12.
Фотография

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

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

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

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

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

"О сущности смешанных вычислений".
Статья "Использование вычислительной техники, программирование и искусственный интеллект" С.С. Лавров
Страница из рукописи С.С. Лавров

о системах представления знаний
Предисловие (машинописный черновик) С.С. Лавров
Письмо С.С. Лавров -> В.И. Битюцков

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

на рукопись книги М.И. Клиот-Дашинского, Э.Б. Карпиловской и Б.Г. Вагера "ЭВМ и программирование" /учебное пособие авторов "Электронно-вычислительные машины и программирование" вышло в издательстве ЛИСИ в 1976 году/
Записи С.С. Лавров

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

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

"Наиболее эффективное применение ЭВМ в науке и технике"
Машинописный текст с правкой. С.С. Лавров
Статья "Lisp-1204 " С.С. Лавров
Замечания (черновая распечатка) С.С. Лавров

Замечания к "Заметкам о языке представления знаний и спецификации задач"
Доклад С.С. Лавров

С.С. Лаврова на методологическом семинаре "О постановлении ЦК КПСС по идеологическим вопросам" (от 26.04.1979)
Рукописная заметка (фрагмент или сноска) С.С. Лавров

о математической терминологии на английском языке
Статья "Problem solving based on knowledge representation and program synthesis" С.С. Лавров

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

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

Prof. S.Lavrov. The Most Effective Applications of Electronic Computers in Science and Technology /машинописн. черновик с правкой/
Вставка В (рукописные страницы) С.С. Лавров

9. Кратные циклы 9.1. Размещение в памяти многомерных массивов
Рукопись статьи "Алгоритм слияния и его уроки" С.С. Лавров
Рукописная заметка С.С. Лавров

Искусственный интеллект как система накопления концептуального знания
Информационное письмо

В марте 1983 года в Таллине будет проводиться всесоюзная конференция "Автоматизация производства пакетов прикладных программ и трансляторов". Перечислены цели конференции; тематика; члены программного комитета; вопросы, связанные с оформлением заявок и тезисов, и прочее.
Рукописные листы С.С. Лавров

Фрагмент рукописи, посвященной математическим основам программирования
Фотография

Святослав Сергеевич Лавров.1987
Заключение С.С. Лавров

Машинописный черновик с правкой
Заключение С.С. Лавров

комиссии по предложению А.С. Кронрода о совершенствовании логической структуры ЭВМ и разработке новой серии ЭВМ
Записи (рукописный фрагмент) С.С. Лавров

Основные пути создания программ
Рабочие записи (1969) С.С. Лавров

Правила синтаксического анализа: рукописные записи, черновики с примерами, таблицами и диаграммами
Черновые записи С.С. Лаврова по системе СПОРА С.С. Лавров
Списки С.С. Лавров

совета ЛПК и редколлегии /рукописные/

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

Страницы