ПрезентацияСапоговА_А_ОИСТ_11_2025_2

1.

Федеральное агентство морского и речного транспорта
Волжский государственный университет водного транспорта
Институт управления, экономики, и права
Кафедра Систем информационной безопасности,
управления и телекоммуникаций
Отечественная школа программирования в триаде имён А. П. Ершов, С. С. Лавров, М. Р. Шура-Бура
Дисциплина «История информационных технологий»
Выполнил:
студент Сапогов Андрей Александрович, ОИСТ-11
Проверил: Федосенко Юрий Семенович
Нижний Новгород
2025 год
1

2.

Становление советской школы программирования.
Формирование
советской школы
программирования в середине
XX века характеризовалось
глубоким математическим
подходом, ориентацией на
надёжность и автоматизацию
2

3.

Андрей Петрович Ершов (1931-1988)
3

4.

Научные достижения Ершова
Научные
достижения: теория схем
программ, оптимизация
компиляции, язык АЛЬФА,
первый школьный учебник
4

5.

Святослав Лавров – теоретик надёжности
(1923-2004)
5

6.

Методы верификации Лаврова
Метод инвариантов
для доказательства
правильности программ.
Применение в критически
важных системах
6

7.

Михаил Шура-Бура – инженер больших систем
(1918-2008)
7

8.

Система ПРО – главное достижение Шура-Буры
Под руководством Шура-Буры был создан программный
комплекс для системы противоракетной обороны — одного из первых
в мире многозадачных комплексов реального времени
8

9.

Работа с вычислительной техникой
Значительный вклад Шура-Буры связан с созданием программного
обеспечения для ЭВМ БЭСМ-6. Под его руководством разрабатывались
трансляторы с языков программирования, системные библиотеки и одна из
первых советских операционных систем «Дубна»
9

10.

Взаимодействие трёх учёных
Научные подходы Ершова, Лаврова и Шура-Буры
образовали взаимодополняющую систему. Теоретические разработки
Ершова в области компиляции, методы верификации Лаврова и
практический опыт Шура-Буры по созданию сложных систем
создали прочный фундамент для развития отечественной школы
программирования.
10

11.

Наследие для современности
Наследие живёт в современных
компиляторах, инструментах верификации и
управлении IT-проектами.
11

12.

Историческое значение и перспективы
Научное наследие
отечественной школы заложило
фундамент современных компьютерных
технологий и продолжает вдохновлять
новые поколения исследователей.
Сохранение этих традиций
фундаментального подхода особенно
важно для России в условиях
современной технологической
конкуренции
12

13.

Заключение
Отечественная школа программирования доказала свою
конкурентоспособность на мировом уровне, заложив основы современных
информационных технологий, а сохранение её традиций остается важной
задачей для российской IT-индустрии.
13

14.

Спасибо за внимание!