Святослав Сергеевич Лавров
жизнь ученого в фотографиях, документах и воспоминаниях


Научные труды

  1. Технические отчеты по научно-исследовательским работам, проекты. / Соавторы сотрудники предприятия. – П/я 651, 1947-1966. – 50 печ. л.
  2. Баллистика управляемых ракет дальнего действия. /  Соавторы Р.Ф.Аппазов, В.П.Мишин. – М.: Артиллерийская инженерная академия им. Ф.Э.Дзержинского. – 1956. – 332 с. (публичное издание М.: Наука, 1966. – 308 с.)
  3. Об одном варианте обобщенных неравенств Боля. – "Труды предприятия п/я 989", 1956. – 0,5 печ. л.
  4. Об экономии памяти в замкнутых операторных схемах. – "Журнал вычислительной математики и математической физики", №4, 1961. – 15 с.
  5. Метод квадратичной аппроксимации с использованием барицентрических координат. Тезисы доклада – Симпозиум по многоэкстремальным задачам. – Каунас, Институт энергетики и электротехники АН Литовской ССР, 1963. – 1 с.
  6. Программирующая программа для машины М-20. / Соавторы В.А.Степанов, В.Н. Попов и др. – П/я 651, 1963. – 2 печ. л.
  7. Метод последовательных градиентов. Тезисы доклада – Симпозиум по многоэкстремальным задачам. – Каунас: Институт энергетики и электротехники АН Литовской ССР, 1963. – 2 с.
  8. СНОБОЛ-А. Язык для обработки строк. – М.: ВЦ АН СССР, 1968. – 16 с.
  9. Развитие исследований по автоматизации программирования (доклад). – М.: Вестник АН СССР. – 0,1 печ. л.
  10. Аппроксимация функций многих переменных с использованием метода наименьших квадратов. – "Журнал вычислительной математики и математической физики", т. 4, №3, 1964. – 4 с.
  11. Применение барицентрических координат для решения некоторых вычислительных задач. – "Журнал вычислительной математики и математической физики"., т. 4, №5, 1964. – 7 с.
  12. Универсальный язык программирования (АЛГОЛ-60). – М.: Наука, 1964. – 172 с. (изд. 2-е, переработанное – М.: Наука, 1967. – 196 с.; изд. 3-е, исправленное. Серия "Библиотечка программиста"  – М.: Наука, 1972. – 184 с.)
  13. Метод "последовательных градиентов" для отыскания экстремумов функций многих переменных. Тезисы доклада – Конференция по математическому оптимальному программированию. – Новосибирск: Институт математики СО АН СССР, 1965. – 2 с.
  14. Предварительное сообщение об алгоритмическом языке МИЛАН. – Изд. ГК КНИР СССР, 1965. – ротапр. 2 печ.  л.
  15. Сообщение об алгоритмическом языке АЛГЭК. / Соавторы М.А.Королев и др. – Кибернетика №2, 1966. – 2 печ. л.
  16. Аппарат геометрических описаний для автоматизации конструкторских работ.  / Соавторы Г.С.Бегунков, И.Е.Педанов, В.А.Степанов. – В сб. "Вычислительная техника в машиностроении", май 1966. – 1 печ. л.
  17. Состояние и перспективы развития математического обеспечения ЭВМ. – Изд. ОИЯИ, 1968. – Ротапр. 2 печ. л.
  18. Лекции по автоматической обработке данных. Часть I. Организация информационных массивов. / Соавтор Л.И.Гончарова. – М.: Изд. ВЦ АН СССР, 1969. – 174 с.
  19. Входной язык и интерпретатор системы программирования на базе языка лисп для машины БЭСМ-6. / Соавтор Г.С. Силагадзе. – М.: Изд. ВЦ АН СССР, 1969. – 122 с.
  20. Эвристическое программирование. / Соавторы Г.М.Адельсон-Вельский, В.Л.Арлазаров, М.М.Бонгард. – "Труды 2-й всесоюзной конференции по программированию". – Новосибирск: изд. ВЦ СО АН СССР, 1970. – Ротапр. 1 печ. л.
  21. Вычислительные машины и программирование. (Тексты лекций) Часть I. – М.: Изд. МГУ, 1971. – 156 с.
  22. Языковая основа применений ЭВМ. – "Журнал вычислительной математики и математической физики", т. 11, №2, 1971. – 7 с.
  23. Вычислительные машины и программирование. (Тексты лекций) Часть II. / Соавтор О.Н.Кацкова. – М.: Изд. МГУ, 1971. – 133 с.
  24. Автоматическая обработка данных. Хранение информации в памяти ЭВМ. Серия "Библиотечка программиста" / Соавтор Л.И.Гончарова. - М.: Наука, 1971. – 160 с.
  25. О решении задач на ЭВМ и доказательстве правильности программ. – В сб. "Проблемы прикладной математики и механики", – М.: Наука, 1971. – 5 с.
  26. Введение в программирование. – М.: Наука, 1973. – 352 с. (2-е изд. – М.: Наука, 1977. – 368 с.)
  27. Об одном расширении алгоритма Кнута для анализа бесконтекстных языков. / Соавтор А.А.Ордян. – "Журнал вычислительной математики и математической физики", т. 15, №4, 1975. – 12 с.
  28. Расширяемый алгоритмический язык АБВ. / Соавторы Е.Н.Капустина, М.И.Селюн. – В сб. "Обработка символьной информации", в. 3. – М.: Изд. ВЦ АН СССР, 1976. – 49 с.
  29. Схема расширений и основные принципы реализации аппарата процедур языка Паскаль в языке АБВ. / Соавторы Е.Н.Капустина, М.И.Селюн. – В сб. "Обработка символьной информации", в. 4. – М.: Изд. ВЦ АН СССР, 1978. – 6 с.
  30. Синтаксические анализаторы магазинного типа. / Соавтор М.В.Дмитриева. – "Программирование", №3, 1978. – 5 с.
  31. Об одной процедуре упорядочивания массивов. / Соавторы В.Ю.Бакенпрот, Т.П.Балкунова. – "Программирование", №4, 1978. – 2 с.
  32. Методы задания семантики языков программирования. – "Программирование", №6, 1978. – 8 с.
  33. Автоматическая обработка данных. Язык лисп и его реализация. Серия "Библиотечка программиста" / Соавтор Г.С. Силагадзе. - М.: Наука, 1978. – 176 с.
  34. Схема расширений и основные принципы реализации аппарата процедур языка "Паскаль" в языке АБВ. – В кн.: Обработка символьной информации, в. 4 – М.: Вычислительный центр АН СССР, 1978
  35. Декарт – входной язык системы СПОРА / Соавторы  И.О. Бабаев, Ф.А. Новиков и Т.И. Петрушина. – В кн.: "Прикладная информатика" – М.: "Финансы и статистика", 1980
  36. Реализация языка Паскаль для МВК "Эльбрус". / Соавторы С.В.Вдовкин, А.А.Кубенский, В.О.Сафонов. – "Программирование", №3, 1981. – 3 с.
  37. Основные понятия и конструкции языков программирования. – М.: "Финансы и статистика", 1982. – 80 с. (вероятно также М.: Наука, 1986 – есть ссылка у Сафонова)
  38. Синтез программ. – "Кибернетика", №6, 1982. – 6 с.
  39. Кому и для чего нужна персональная вычислительная машина? – "Микропроцессорные средства и системы", N 1, 1984
  40. Давайте работать вместе. Методологические и психологические вопросы диалоговых систем. – Вестник Московского университета. Серия 14. Психология. №2, 1984. – 5 с.
  41. Интеллект – искусственный и естественный. – "Знание – сила", Май 1984. – 2 с.
  42. Использование вычислительной техники, программирование и искусственный интеллект (перспективы развития) – "Микропроцессорные средства и системы", № 3, 1984 (также пленарный доклад Всесоюзного семинара "Промышленная технология создания и применения программных средств в организационном управлении НИОКР". Свердловск, октябрь 1984. – 28 с.).
  43. Методология программирования. – В кн. "Семиотика и информатика", в. 23 – М: ВИНИТИ, 1984
  44. Творчество и алгоритмы. – "Наука и жизнь", №3, 1985. – 9 с.
  45. О знаниях и языке машины и человека. – В кн. "Семиотика и информатика", в. 24 – М: ВИНИТИ, 1985
  46. Представление и использование знаний в автоматизированных системах – "Микропроцессорные средства и системы", N 3, 1986
  47. Формализация, лингвистика, логика. – В кн. "Семиотика и информатика", в. 27 – М: ВИНИТИ, 1986
  48. D-аксиоматизация языка Декарт. – В сб.: "Прикладная информатика" – М.: "Финансы и статистика", 1987.
  49. Что такое представление и использование знаний в машине? / Соавтор Г.С.Цейтин. – М: ВИНИТИ, 1989, №5. – 6 с.
  50. Воспоминания об Андрее Петровиче Ершове – "Программирование", №1, 1990. – 2 с.
  51. К обоснованию методов восстановления изображений на основе выпуклых критериев качества – СПб.: Институт прикладной астрономии РАН, 1997
  52. Элементы методологии и технологии программирования прикладных задач. – СПб.: Институт прикладной астрономии РАН, 1997. – 19 c.
  53. Лекции по теории программирования: уч. пособие. / Министерство общего образования Российской Федерации. Санкт-Петербургский государственный технический университет. – СПб.: изд-во НЕСТОР, 1999. – 107 с.
  54. Объекто-ориентированное программирование. – СПб.: Институт прикладной астрономии РАН, 2000. – 15 с.
  55. О родстве основания программирования и математики. – "Программирование", №6, 2001. – 10 с.
  56. Программирование. Математические основы, средства, теория. – СПб.: BHV-Санкт-Петербург, 2001. – 317 с.
  57. Научная автобиография. – "Компьютерные инструменты в образовании", №2, 2003. – 9 с.