Лавров Святослав Сергеевич.

Лавров Святослав Сергеевич

Дата рождения: 12.03.1923

Дата смерти: 18.06.2004

Место рождения: г.Петроград

Специальность: Специалист в области математического обеспечения ЭВМ и прикладной небесной механики

Членство в РАН (1)
Ступени членства Дата избрания Специальность Отделение
член-корреспондент 01.07.1966 автоматическое управление Отделение механики и процессов управления

Внешние ссылки на информационный ресурс о персоналии: Архив Ершова ИСИ СО РАН. Фонд 4. "Лавров Святослав Сергеевич (1923-2004), специалист в области математического обеспечения ЭВМ и прикладной небесной механики; член-корреспондент АН СССР (1966)"

Место хранения личного дела: АРАН

Шифр: АРАН. Ф.411.Оп. 4а. Д.783

Область знаний: Математика

Библиография

Список научных трудов Лаврова С.С.

Технические отчеты по научно-исследовательским работам, проекты. / Соавторы сотрудники предприятия. – П/я 651, 1947-1966. – 50 печ. л.

Баллистика управляемых ракет дальнего действия. / Соавторы Р.Ф.Аппазов, В.П.Мишин. – М.: Артиллерийская инженерная академия им. Ф.Э.Дзержинского. – 1956. – 332 с. (публичное издание М.: Наука, 1966. – 308 с.)

Об одном варианте обобщенных неравенств Боля. – "Труды предприятия п/я 989", 1956. – 0,5 печ. л.

Об экономии памяти в замкнутых операторных схемах. – "Журнал вычислительной математики и математической физики", №4, 1961. – 15 с.

Метод квадратичной аппроксимации с использованием барицентрических координат. Тезисы доклада – Симпозиум по многоэкстремальным задачам. – Каунас, Институт энергетики и электротехники АН Литовской ССР, 1963. – 1 с.

Программирующая программа для машины М-20. / Соавторы В.А.Степанов, В.Н. Попов и др. – П/я 651, 1963. – 2 печ. л.

Метод последовательных градиентов. Тезисы доклада – Симпозиум по многоэкстремальным задачам. – Каунас: Институт энергетики и электротехники АН Литовской ССР, 1963. – 2 с.

СНОБОЛ-А. Язык для обработки строк. – М.: ВЦ АН СССР, 1968. – 16 с.

Развитие исследований по автоматизации программирования (доклад). – М.: Вестник АН СССР. – 0,1 печ. л.

Аппроксимация функций многих переменных с использованием метода наименьших квадратов. – "Журнал вычислительной математики и математической физики", т. 4, №3, 1964. – 4 с.

Применение барицентрических координат для решения некоторых вычислительных задач. – "Журнал вычислительной математики и математической физики"., т. 4, №5, 1964. – 7 с.

Универсальный язык программирования (АЛГОЛ-60). – М.: Наука, 1964. – 172 с. (изд. 2-е, переработанное – М.: Наука, 1967. – 196 с.; изд. 3-е, исправленное. Серия "Библиотечка программиста" – М.: Наука, 1972. – 184 с.)

Метод "последовательных градиентов" для отыскания экстремумов функций многих переменных. Тезисы доклада – Конференция по математическому оптимальному программированию. – Новосибирск: Институт математики СО АН СССР, 1965. – 2 с.

Предварительное сообщение об алгоритмическом языке МИЛАН. – Изд. ГК КНИР СССР, 1965. – ротапр. 2 печ. л.

Сообщение об алгоритмическом языке АЛГЭК. / Соавторы М.А.Королев и др. – Кибернетика №2, 1966. – 2 печ. л.

Аппарат геометрических описаний для автоматизации конструкторских работ. / Соавторы Г.С.Бегунков, И.Е.Педанов, В.А.Степанов. – В сб. "Вычислительная техника в машиностроении", май 1966. – 1 печ. л.

Состояние и перспективы развития математического обеспечения ЭВМ. – Изд. ОИЯИ, 1968. – Ротапр. 2 печ. л.

Лекции по автоматической обработке данных. Часть I. Организация информационных массивов. / Соавтор Л.И.Гончарова. – М.: Изд. ВЦ АН СССР, 1969. – 174 с.

Входной язык и интерпретатор системы программирования на базе языка лисп для машины БЭСМ-6. / Соавтор Г.С. Силагадзе. – М.: Изд. ВЦ АН СССР, 1969. – 122 с.

Эвристическое программирование. / Соавторы Г.М.Адельсон-Вельский, В.Л.Арлазаров, М.М.Бонгард. – "Труды 2-й всесоюзной конференции по программированию". – Новосибирск: изд. ВЦ СО АН СССР, 1970. – Ротапр. 1 печ. л.

Вычислительные машины и программирование. (Тексты лекций) Часть I. – М.: Изд. МГУ, 1971. – 156 с.

Языковая основа применений ЭВМ. – "Журнал вычислительной математики и математической физики", т. 11, №2, 1971. – 7 с.

Вычислительные машины и программирование. (Тексты лекций) Часть II. / Соавтор О.Н.Кацкова. – М.: Изд. МГУ, 1971. – 133 с.

Автоматическая обработка данных. Хранение информации в памяти ЭВМ. Серия "Библиотечка программиста" / Соавтор Л.И.Гончарова. - М.: Наука, 1971. – 160 с.

О решении задач на ЭВМ и доказательстве правильности программ. – В сб. "Проблемы прикладной математики и механики", – М.: Наука, 1971. – 5 с.

Введение в программирование. – М.: Наука, 1973. – 352 с. (2-е изд. – М.: Наука, 1977. – 368 с.)

Об одном расширении алгоритма Кнута для анализа бесконтекстных языков. / Соавтор А.А.Ордян. – "Журнал вычислительной математики и математической физики", т. 15, №4, 1975. – 12 с.

Расширяемый алгоритмический язык АБВ. / Соавторы Е.Н.Капустина, М.И.Селюн. – В сб. "Обработка символьной информации", в. 3. – М.: Изд. ВЦ АН СССР, 1976. – 49 с.

Схема расширений и основные принципы реализации аппарата процедур языка Паскаль в языке АБВ. / Соавторы Е.Н.Капустина, М.И.Селюн. – В сб. "Обработка символьной информации", в. 4. – М.: Изд. ВЦ АН СССР, 1978. – 6 с.

Синтаксические анализаторы магазинного типа. / Соавтор М.В.Дмитриева. – "Программирование", №3, 1978. – 5 с.

Об одной процедуре упорядочивания массивов. / Соавторы В.Ю.Бакенпрот, Т.П.Балкунова. – "Программирование", №4, 1978. – 2 с.

Методы задания семантики языков программирования. – "Программирование", №6, 1978. – 8 с.

Автоматическая обработка данных. Язык лисп и его реализация. Серия "Библиотечка программиста" / Соавтор Г.С. Силагадзе. - М.: Наука, 1978. – 176 с.

Схема расширений и основные принципы реализации аппарата процедур языка "Паскаль" в языке АБВ. – В кн.: Обработка символьной информации, в. 4 – М.: Вычислительный центр АН СССР, 1978

Декарт – входной язык системы СПОРА / Соавторы И.О. Бабаев, Ф.А. Новиков и Т.И. Петрушина. – В кн.: "Прикладная информатика" – М.: "Финансы и статистика", 1980

Реализация языка Паскаль для МВК "Эльбрус". / Соавторы С.В.Вдовкин, А.А.Кубенский, В.О.Сафонов. – "Программирование", №3, 1981. – 3 с.

Основные понятия и конструкции языков программирования. – М.: "Финансы и статистика", 1982. – 80 с. (вероятно также М.: Наука, 1986 – есть ссылка у Сафонова)

Синтез программ. – "Кибернетика", №6, 1982. – 6 с.

Кому и для чего нужна персональная вычислительная машина? – "Микропроцессорные средства и системы", N 1, 1984

Давайте работать вместе. Методологические и психологические вопросы диалоговых систем. – Вестник Московского университета. Серия 14. Психология. №2, 1984. – 5 с.

Интеллект – искусственный и естественный. – "Знание – сила", Май 1984. – 2 с.

Использование вычислительной техники, программирование и искусственный интеллект (перспективы развития) – "Микропроцессорные средства и системы", № 3, 1984 (также пленарный доклад Всесоюзного семинара "Промышленная технология создания и применения программных средств в организационном управлении НИОКР". Свердловск, октябрь 1984. – 28 с.).

Методология программирования. – В кн. "Семиотика и информатика", в. 23 – М: ВИНИТИ, 1984

Творчество и алгоритмы. – "Наука и жизнь", №3, 1985. – 9 с.

О знаниях и языке машины и человека. – В кн. "Семиотика и информатика", в. 24 – М: ВИНИТИ, 1985

Представление и использование знаний в автоматизированных системах – "Микропроцессорные средства и системы", N 3, 1986

Формализация, лингвистика, логика. – В кн. "Семиотика и информатика", в. 27 – М: ВИНИТИ, 1986

D-аксиоматизация языка Декарт. – В сб.: "Прикладная информатика" – М.: "Финансы и статистика", 1987.

Что такое представление и использование знаний в машине? / Соавтор Г.С.Цейтин. – М: ВИНИТИ, 1989, №5. – 6 с.

Воспоминания об Андрее Петровиче Ершове – "Программирование", №1, 1990. – 2 с.

К обоснованию методов восстановления изображений на основе выпуклых критериев качества – СПб.: Институт прикладной астрономии РАН, 1997

Элементы методологии и технологии программирования прикладных задач. – СПб.: Институт прикладной астрономии РАН, 1997. – 19 c.

Лекции по теории программирования: уч. пособие. / Министерство общего образования Российской Федерации. Санкт-Петербургский государственный технический университет. – СПб.: изд-во НЕСТОР, 1999. – 107 с.

Объекто-ориентированное программирование. – СПб.: Институт прикладной астрономии РАН, 2000. – 15 с.

О родстве основания программирования и математики. – "Программирование", №6, 2001. – 10 с.

Программирование. Математические основы, средства, теория. – СПб.: BHV-Санкт-Петербург, 2001. – 317 с.

Научная автобиография. – "Компьютерные инструменты в образовании", №2, 2003. – 9 с.


Свернуть