Недавно я был на совещании в Нижегородском государственном университете
им. Н.И. Лобачевского и в одном из выступлений тридцатипятилетнего докладчика
из Новосибирского Академгородка услышал словосочетание "комбинаторные схемы",
которое резануло слух.
Моя реплика о том, что в советской литературе по теории автоматов такие схемы
всегда назывались не "комбинаторными", а "комбинационными", не заставила себя
долго ждать, как впрочем, и ответ докладчика:
"Советскую литературу по этой тематике не читал, а применяю англоязычные
руководства для пользователей".
Такой ответ меня, естественно, возмутил, так как у нас в стране в этой области
была Великая эпоха, а даже уже не очень молодые люди не знают об этом, и, самое
главное, похоже и знать не хотят, так как это их никуда не приближает.
Указанный ответ меня не удивил, так как я в последнее время общался с большим
числом очень сильных молодых программистов из различных организаций и ни один
из них не знал, что в нашей стране уже более 25 лет Академия наук выпускает
журнал "Программирование", который выходит также на английском языке выходит под названием
"Programming and Computer Software" (годовая подписка этого не очень толстого
журнала стоит 1292$ за шесть номеров и 1550$ при их совместном приобретении
вместе с электронной версией). Полное отсутствие интереса к авторитетному
(иначе за него не платили бы на Западе такие деньги) в мире профессионального
программирования журналу, видимо, связано с его теоретической направленностью,
которая, похоже, "продвинутым" программистам мало интересна. А ведь, и в области
программирования в Советском Союзе, как будет показано ниже, была Великая эпоха,
тесно связанная с такой же эпохой в теории автоматов.
Никаких воспоминаний я писать не собирался (да и, видимо, еще рано, правда,
завтра может быть поздно — как кто-то сказал: "Где я, а где завтра?"), но
появился повод — Леонид Яковлевич Розенблюм (Лека или Лекочка, как зовут его
друзья) написал воспоминания и продолжает их писать дальше. Может быть он в
будущем и сам напишет про исторический "контекст", но так как он разрешил
опубликовать часть, относящуюся к Гавриловским школам, то я решил написать
предисловие, в котором поясняется этот феномен и перечисляются многие из
участников школ.
По моему мнению, этот материал целесообразно опубликовать на сайте
www.softcraft.ru,
так как Александр Иванович Легалов демонстрирует любовь к
автоматам, а один из героев Лекиных воспоминаний - Виктор Ильич Варшавский —
был оппонентом его кандидатской диссертации, а автор воспоминаний —
неофициальным оппонентом.
Эти воспоминания о Людях, которые создавали прикладную теорию автоматов, и о
Духе радости и доброжелательности, царившем на Гавриловских школах. Будем
надеяться, что воспоминания об этих школах не последние.
Итак, "контекст". Что такое Гавриловские школы?
Это Школа по теории релейных устройств и конечных автоматов, носящая сейчас имя
члена-корреспондента АН СССР Михаила Александровича Гаврилова (1903–1979),
который в течение многих лет работал в Институте проблем управления (Институт
автоматики и телемеханики) АН СССР (Москва) и который внес определяющий вклад
в становление прикладной теории автоматов в нашей стране и в объединение вокруг
этой теории людей, многие из которых стали друзьями на всю жизнь.
Гавриловские школы — это уникальное явление, не имеющее аналогов в современной
мировой науке. Ни в одной области науки, ни в одной стране мира нет Школы,
которая существовала бы уже более сорока лет, причем заседания Школы проходили
и проходят не в одном месте, а в различных городах СССР.
Из Школы М.А. Гаврилова выделился ряд других школ: по диагностике, по
однородным структурам, по автоматизации проектирования.
За это время через Школу прошли сотни людей, некоторых из которых я по памяти
перечислю ниже. Я не могу перечислить всех, так как стал заниматься автоматами
только с 1971 г., да и на школах бывал не так часто, но, видимо, являюсь
последним поступившим в Школу при МАГе (Михаиле Александровиче Гаврилове) и, к
сожалению, дело идет к тому, что могу стать последним кто ее закончит, "так как
одних уж нет, а те далече". Тем более, что и журнал "Автоматика и телемеханика",
базирующийся в Институте проблем управления, перестает быть "оплотом" этого
научного направления, так как перестает принимать статьи по логическому синтезу,
считая в настоящее время эту область не научной, а технологической. Хотя, как
говорил С.В. Яблонский, "если наука не спекулятивна, она не устареет".
Теория релейных устройств начала развиваться в мире с пионерской работы В.И.
Шестакова (1907–1987) "Некоторые математические методы конструирования и
упрощения двухполюсных схем класса А", выполненной в 1934–1935 гг. на
физическом факультете Московского государственного университета. В 1938 г. по
этой работе была защищена кандидатская диссертация. В этом же году К.Э. Шеннон
(1917–2001) опубликовал аналогичную работу "Символический анализ релейных и
переключательных схем", которая имела огромное влияние на развитие этого
направления науки в мире. Третьим, сделавшим аналогичное открытие, был японец
А. Накашима.
А ведь до Шестакова в Казани работал И.И. Жегалкин, опередивший лет на тридцать
американцев Рида и Миллера, работу которого 1924 г. на русском языке я видел
в 1995 г. в США на конференции по ситуационному управлению (предложенному Д.А.
Поспеловым) в руках у военного-ученого из Пентагона, занимавшегося NP-трудными
задачами. Он неожиданно нашел меня по Интернету и вновь проявил интерес к
исследованиям в области полиномов Жегалкина. Кстати отметим, что первой задачей,
для которой была доказана ее NP-полнота, является задача "Выполнимость булевой
формулы", а все остальные задачи этого класса могут быть сведены к ней.
Отметим также, что задолго до Жегалкина в Казани работал П.С. Порецкий, одна из
основополагающих работ которого по математической логике датируется 1884 г., а
на возможность использования алгебры логики при построении релейных схем
впервые указал петербургский физик П.С. Эренфест (1910 г.). К числу авторов
первых в мире работ по проектированию релейных схем следует отнести наших
соотечественников А. Кутти и М. Цымбалистого (1928 г.).
После работ В.И. Шестакова в этой области науки в СССР наступила эпоха М.А.
Гаврилова, которая могла (если бы не было борьбы с кибернетикой, железного
занавеса и других характерных для нас прелестей) превратиться в его эпоху во
всем мире, тем более, что К.Э. Шеннон от работ в этой области весьма скоро
отошел.
М.А. Гаврилов начинал свою научную деятельность с практических работ по
телемеханике, в которой релейные устройства строились эвристически. Он пришел к
выводу, что этот класс устройств может быть синтезирован с помощью
формализованных методов, про которые написал и выпустил первую в мире
монографию (Гаврилов М.А. Теория релейно-контактных схем. М.: Изд-во АН СССР,
1950).
Однако, путь МАГа в этом направлении не был усыпан розами. Так, докторскую
диссертацию по этой тематике он смог защитить только в 1946 г., и только
благодаря усилиям философа С.А. Яновской, которая смогла убедить "окружающих",
что применение булевой алгебры при синтезе схем не является идеализмом и не
противоречит марксизму-ленинизму. Да, и в Академию наук он был избран
сравнительно поздно (1963 г.). Интересно, что про МАГа (что редко бывает
применительно к ученым, особенно при их жизни) написана художественная книга —
Юрий Вебер "Когда приходит ответ", изданная, по-моему, в "Детгизе"! Это вам не
покемоны и телепузиками. Эта книга в дальнейшем была переиздана в издательстве
"Художественная литература" в серии "Пути в незнаемое".
После выхода в 1950 г. книги М.А. Гаврилова началось!!!
Г.Н. Поваров (с которым я переписывался еще сравнительно недавно) в 50-х годах
публикует до защиты кандидатской диссертации (доктором он, к сожалению,
почему-то не стал, но зато стал классиком) с десяток статей в "Докладах
Академии наук" (вспомните какого уровня публикации в большинстве случаев
встречаются в нынешних диссертациях, особенно кандидатских, по Computer
Science).
П.П. Пархоменко в 1956 году на Всемирной выставке в Брюсселе получает Золотую
медаль за машину для минимизации релейных схем.
В силу того, что я выше отметил, что пишу не историю, а предисловие к
воспоминаниям, перехожу к перечислению участников Школы, о которых я помню или
знаю. Школьники разбиты на классы по имени своего Учителя или по
территориальному принципу.
Ученики Гаврилова М.А. - Кузнецов О.П., Казаков В.Д., Томфельд Ю.Л.,
Тимофеев Б.Л., Остиану В.М., Ляхович В.Ф., Девятков В.В., Пупырев Е.И.,
Амбарцумян А.А., Потехин А.И., Степаненко С.А., Бивол Л.Г., Малевич А.Н.,
Запольских Е.Н., Чичковский А.Б., Липатников В.И., Искра С.А., Ивченков Л.А.,
Шоломов Л.А., Макаревский А.Я., Шипилина Л.Б., Марковский А.В.,
Вольвовский Л.А., Григорян А.К., Окуджава В.Ш., Лаговиер Б.А., Воклер И.Э.,
Золотаревская М.Я., Галактионова Е.И., Гребенюк Е.А., Котляр С.Б. и др.
Ученики Глушкова В.М., создавшего методологию синтеза цифровых автоматов и
решившего обобщенную пятую проблему Гильберта (Институт кибернетики, Киев) -
Капитонова Ю.В., Летичевский А.А., Цетлин Г.Е., Стогний А.А., Рабинович З.Л.,
Иваськив Ю.Л., Коваль В.Н., Чеботарев А.Н., Мацевитый Л.В., Деркач В.П.,
Денисенко Е.Л., Чайка Н.С., Алексеенко В.Г., Мищенко А.Т., Гороховский С.С.,
Боднарчук В.Г., Комухаев Э.И., Литвинов В.В. и др.
Ученики Прангишвили И.В. (Институт проблем управления) — Игнатущенко В.В.,
Малюгин В.Д., Бабичева Е.В., Абрамова Н.А., Ускач М.А., Вишневский В.М.,
Медведев И.Л., Стецюра Г.Г., Вейц А.В., Чачанидзе В.Г., Асатиани Г.Г.,
Абуладзе Т.Д., Егоров И.П., Степановская И.А., Сперанская И.В, Попова Г.М.,
Смородинова О.Г., Чудин А.А., Прохорова Э.Г., Быховский В.К., Певцов Д.В.,
Соколов В.В., Зуенков М.А. и др.
Ученики Лазарева В.Г. (Институт проблем передачи информации, Москва) —
Пийль Е.И., Дьяченко В.Ф., Саввин Г.Г., Гармаш В.А., Наумчук (Сергеева) О.Ф.,
Крейнин Г.В., Исьянов В.М., Ершова Э.Б., Ершов В.А., Майстрова Т.Л.,
Иванова О.Н., Турута Е.Н., Ченцов В.М., Бутрименко А.В., Черняев В.Г.,
Савельев А.Г., Сейфула И.Д., Донианц В.Н., Фирсов А.И., Пепинов Ф.И.,
Кондратьева Е.А., Сопруненко Е.П., Паршенков Н.Я., Соловьев А.В.,
Богданова Г.В., Зорева Л.Н. и др.
Ученики Варшавского В.И. (Ленинград) — Розенблюм Л.Я., Овсиевич Б.Л.,
Боголюбов И.Н., Воронцова И.П., Песчанский В.А., Мараховский В.Б.,
Стародубцев Н.А., Цирлин Б.С., Кондратьев А.В., Кишеневский М.А., Таубин А.Р.,
Астановский А.Г., Финкельштейн Р.Л., Яковлев А.В.
Ученики Закревского А.Д. (Томский государственный университет, Институт
технической кибернетики, Минск) — Янковская А.Е., Поттосин Ю.В., Новоселов В.Г.,
Ротко В.Ф., Торопов Н.Р., Агибалов Г.П, Евтушенко Н.В., Черемисинова Л.Д.,
Бибило П.Н., Шнейдер Б.Н., Василенок В.К. и др.
Ученики Якубайтиса Э.А. (Институт автоматики и вычислительной техники, Рига) —
Фрицнович Г.Ф., Гобземис А.Ю., Чапенко В.П., Горобец В.Г., Петренко А.Ф.,
Гуртовцев А.Л., Калнберзинь А.Я., Гринберг Э.Я., Илзиня И.Г., Лемберский И.Г.,
Ланге Э.Э., Калниньш Я.Я., Толмачева А.Ю. и др.
Ученики Поспелова Д.А. — Захаров В.Н., Хазацкий В.Е., Вагин В.Н. и др.
Ученики Каляева А.В. (Таганрогский радиотехнический институт) — Мелехов А.Н.,
Курейчик В.М., Берштейн Л.С., Иванов Г.И., Топольский Н.Г., Гузик В.Ф.,
Пьявченко О.Н., Лисяк В.В., Кодачигов В.И., Макаревич О.Б., Витиска Н.И.,
Денисенко Н.И., Калашников В.А. и др.
Ученики Пархоменко П.П. (Институт проблем управления) — Горовой В.Р.,
Карибский В.В., Согомонян Е.С., Аксенова Г.П., Халчев В.Ф., Каравай М.Ф. и др.
Диагностикой, связанной с теорией автоматов, занимались также Коган И.В. и
Гробман Д.М.
Ученики Чистова В.П. (Инсититут математики, Свердловск) — Битюцкий В.П.,
Закурдаев Н.В., Ковалин Н.В., Кононенко И.А., Ситников И.О., Гогина М.А. и др.
Перейдем к перечислению других "школьников".
Москва — Цетлин М.Л., Харкевич А.Д., Поспелов Г.С., Варшамов Р.Р.,
Рогинский В.Н., Архангельская А.А., Нейман В.И., Таль А.А., Айзерман М.А.,
Розеноэр Л.И., Гусев Л.А., Смирнова И.М., Трахтенгерц Э.А., Юрасов А.Н.,
Войшвилло Е.К., Меклер Я.И., Воржева В.В., Диденко В.П., Иванов В.И.,
Таланцев А.Д., Васильева Н.П., Сагалович Ю.Л., Горбатов В.А., Стефанюк В.Л.,
Доманицкий С.М., Максимов В.И., Юдицкий С.А., Тагаевская А.А., Ефремова Т.К.,
Берендс Т.К., Заславский И.Д., Шрейдер Ю.А., Озерной В.М., Редькин Н.П.,
Миллерова М.Г., Иванов Н.Н., Руднев В.В., Михайлов Г.И., Кукинов А.М.,
Шамров М.И., Попов Ю.А., Бочков П.Е., Голунков Ю.В., Гурвич Е.И., Гурвиц Е.А.,
Дулепов Е.Г., Карасик В.М., Белявский В.Л., Казаков А.Д. и др.
Ленинград — Карповский М.Г., Баранов С.И., Немолочнов О.Ф., Фирдман Г.Р.,
Питтель Б.Г., Сапожников В.В., Сапожников Вл.В., Карпов Ю.Г., Артюхов В.Л.,
Копейкин Г.А., Шалыто А.А., Кондратьев В.Н., Кухарев Г.А., Москалев Э.С.,
Перчук В.Л., Дудкин В.С., Лапкин Л.Я., Берлин А.Н., Альтшуль С.Д., Гильман Г.И.,
Рог Г.В., Иохельсон Е.Д., Авсаркисян Г.С. и др.
Киев — Вавилов Е.Н., Портной Г.П., Егоров Б.П., Шишков Д.Б., Карташев В.И.,
Карташева С.П., Сафонов И.В. и др.
Новосибирск — Бандман О.Л., Евреинов Э.В., Косарев Ю.Г., Фет Я.И., Макаров Л.И.,
Макаров С.В., Маркова В.П., Пискунов С.В., Ачасова С.М., Анишев П.А.,
Мишин А.И., Седристый Б.А., Мерекин Ю.В., Сергеев С.Н., Корнеев Ю.Н.,
Койфман А.А., Скоробогатов В.А., Хорошевский В.Г., Иловайский И.В.,
Хрущев А.И., Потапов В.И., Седухин С.Г. и др.
Минск — Блох А.Ш., Ладес В.И., Павловский А.И., Казущик В.А., Пономаренко В.К.,
Неверов Г.В., Горелик А.В., Уткин А.А., Скляров В.А., Синев В.Н., Шмерко В.П.,
Янушкевич С.Н., Зайцева Е.Н. и др.
Ярославль — Маматов Ю.А.
Новочеркасск — Мельников М.С.
Пенза — Левин В.И.
Рязань — Корячко А.П.
Рига — Страздинь И.Э., Скляревич А.Н., Белявский В.Л.
Донецк — Баркалов А.А.
Владивосток — Май В.П., Грейнер Г.Р., Гольдман Р.С., Чипулис В.П., Токмакова Л.И.
Саратов — Богомолов А.М., Твердохлебов В.А., Грунский И.С., Барашко А.С.,
Сперанский Д.В.
Кишенев — Кришталь В.З., Булат М.С.
Таллин — Тамм Б.Г., Тыугу Э.Х., Тани Х.И., Кээвалик А.Э.
Ужгород — Айзенберг Н.Н.
Севастополь — Бутаков Е.А., Островский В.И.
Фрунзе — Образцов В.В., Арсентьев Ю.Н., Копыленко В.М., Базарбаева Т.Г.,
Вострова З.И.
Тбилиси — Чавчанидзе В.В., Гиоргадзе А.Х., Ананиашвили Г.А., Цирумиа Г.С.
Баку — Фараджев Р.Г., Аскеров Ч.И., Гамидов В.В.
Каунас — Абрайтис Л.Б., Атстопас Ф.Ф., Жинтелис Г.В. и др.
Ташкент — Абдулаев Д.А., Юнусов Д.
Харьков — Попов В.А., Скибенко И.Т., Мокляк И.Г., Сычев А.В., Мищенко В.А.,
Козюминский В.Д., Семашко А.Н. и др.
Тирасполь — Выхованец В.С.
Отметим, что в области прикладной теории автоматов работало еще много других
ученых, которые не перечислены выше, так как не принимали участия в работе
Гавриловских школ. В это время активно работали Майоров С.А., Новиков Г.И.,
Скорубский В.И., Смолов В.Б., Пузанков Д.В., Балашов Е.П., Петров Г.А.,
Барашенков В.В., Игнатьев М.Б., Торгашев В.А., Кравцов Л.Я., Кузнецов Б.П. и
многие, многие другие.
Теорией вероятностных автоматов занимались: Бухараев Р.Г., Срагович В.Г.,
Церцвадзе Г.Н., Лоренц А.А., Флеров Ю.А., Чирков М.К., Новорусский В.В. и др.
Кроме исследований в области прикладной теории автоматов, в СССР сложилась
школа математиков, занимавшихся теорией автоматов, которая в основном
сформировалась в Институте прикладной математики АН СССР (Москва) и Московском
государственном университете (МГУ) и оказала существенное влияние на прикладную
теорию автоматов и специалистов, работавших в этой области.
Лидером этой школы по сей день является О.Б. Лупанов, автореферат кандидатской
диссертации которого занимает чуть больше одной страницы (на защиту выносилось
доказательство асимптотической оценки сложности реализации произвольной булевой
функции контактными схемами; при этом верхняя оценка, полученная К.Э. Шенноном,
уменьшалась в два раза), а не печатного листа, как это бывает обычно.
Автор имел честь однажды беседовать О.Б. Лупановым, и эта беседа запомнилась на
всю жизнь. Она без предварительной договоренности началась в 22–15, а
закончилась далеко заполночь. При этом один из крупнейших в области дискретной
математики ученых мира несмотря на то, что видел меня первый раз в жизни
(правда, моя первая книжка, которую я ему послал, стояла у него в шкафу),
внимательно слушал и никуда казалось бы не торопился, а ведь дело было на
Ленинских горах зимой, в мороз, и ему еще необходимо было добраться домой, а
используя принятую выше терминологию, эта беседа его мало куда приближала.
Еще один интересный штрих. Я однажды сообщил об юбилее О.Б. Лупанова своему
научному руководителю В.Л. Артюхову, который предположил, что Олегу Борисовичу
восемьдесят лет, а не всего пятьдесят, как было на самом деле, так как к тому
времени Лупанов был широко известен уже долгие годы.
В эту школу входили также Яблонский С.В., Журавлев Ю.И., Чегис И.А.,
Потапов Ю.Г., Васильев Ю.Л., Коршунов А.Д., Фрейвалд Р.В., Мартынюк В.В.,
Шестопал Г.А., Медведев Ю.Т., Левенштейн В.И., Гаврилов Г.П., Кудрявцев В.Б.,
Алешин С.В., Подколзин А.С., Карпова Н.А., Храпченко В.М., Буевич В.А.,
Карацуба А.А., Кратко М.И., Редько В.Н., Кузнецов А.В., Сапоженко А.А.,
Субботовская Б.А. и др.
Кроме того в Москве в это время работали такие известные ученые в области
дискретной математики и искусственного интеллекта как Адян А.С., Успенский В.А.,
Кронрод М.А., Адельсон-Вельский Г.М. и Ландис Е.М., АВЛ-деревья которых изучают
во всем мире в курсе теории алгоритмов, Арлазаров В.Л., Усков А., Хачиян Л.Г., предложивший
полиномиальный алгоритм в линейном программировании, Зарипов Р.Х. и др.
В Новосибирске области теории автоматов и дискретной математики работали
Трахтенброт Б.А., Кобринский Н.Е., Ершов Ю.Л., Гладкий А.В., Кузьмин В.А.,
Глаголев В.В., Кратко М.И., Кричевский Р.Е., Евстигнеев В.А. и др.
В этой области в Риге работал Бардзинь Я.М., в Казани — Нигматуллин Р.Г. В
Ленинграде исследования по математической логике выполняли Шанин Н.А.,
Матиясевич Ю.В., решивший десятую проблему Гильберта, Маслов С.Ю.,
Слисенко А.О., Цейтин Г.С., а по теории автоматов — Нечипорук Э.И., Лунц А.Г.
Исследования по теории автоматов проводились в СССР параллельно с созданием
практического и теоретического программирования. В его становлении принимали
участие такие ученые как Брудно А.Л., Янов Ю.И., Ершов А.П., Иванников В.П. (главный
редактор журнала "Программирование"), Шура-Бура М.Р., Подловченко Р.И.,
Кулагина О.С., Лавров С.С., Задыхайло И.Б., Любимский Э.З., Камынин С.С.,
Калужнин Л.А., Мартынюк В.В., Трифонов Н.П., Жоголев Е.А., Турчин В.Ф.,
Штаркман В.С., Ющенко Е.Л., Королюк В.С., Агафонов В.Н., Поттосин И.В.,
Касьянов В.Н., Непомнящий В.А., Котов В.Е., Сабельфельд В.К., Нариньяни А.С.,
Вальковский В.А. и др.
Работы по теории автоматов и программированию косвенно и в прямую
использовались при создании отечественной вычислительной техники, некоторые
образцы которой (например, машины М-10 и БЭСМ-6) не уступали, а во многом и
превосходили зарубежные аналоги. Это, в первую очередь, касалось закрытой
тематики, так как в противном случае СССР не мог бы обеспечить оборонный
паритет. Среди создателей отечественной вычислительной техники следует отметить
таких выдающихся конструкторов как Лебедев С.А., Брук И.С., Рамеев Б.И. (доктор
технических наук без высшего образования), Бессонов Н.И., Базилевский Ю.Я.,
Матюхин Н.Я., Брусенцов Н.П., Королев Л.Н., Карцев М.А., Бруевич Н.Г.,
Малиновский Б.Н., Бункин Б.В., Бурцев В.С., Мельников В.А., Бабаян Б.А. и др.
Теория автоматов, программирование и вычислительная техника развивались в
рамках единого направления, названного Н. Винером "Кибернетика" (сегодня это
"Информатика" или "Computer Science"), для которой также было характерно
рассмотрение вопросов управления в живой природе, которым посвятили свои
исследования такие ученые как Тимофеев-Ресовский Н.В., Шмальгаузен И.И.,
Лурия А.Р., Гурфинкель В.С. и многие другие.
Роль Берга А.И., Гаазе-Рапопорта М.Г., Дородницына А.А., Котельникова В.А.,
Гнеденко Б.В., Бусленко Н.П., Добрушина Р.Л., Бонгарда М.М., Полетаева И.А.,
Китова А.И., Криницкого Н.А. в становлении кибернетики в СССР трудно
переоценить.
Многие из перечисленных выше специалистов являются крупными учеными мирового
уровня, но кроме них развитию кибернетики в нашей стране помогали такие титаны
науки как Колмогоров А.Н., Канторович Л.В., Келдыш М.В., Лаврентьев М.А.,
Соболев С.Л., Новиков П.С., Марков А.А. (младший), Гельфанд И.М., Мальцев А.И.,
Ляпунов А.А.
Несколько слов об Алексее Андреевиче Ляпунове (1911–1973), ученике Лузина Н.Н.,
внесшем большой вклад в становление теоретического программирования в мире.
"Для студентов кафедры вычислительной математики МГУ в 1952/53 учебном году
Алексеем Андреевичем был прочитан небольшой по количеству лекций (восемь!)
курс под названием "Принципы программирования". В процессе его чтения у
лектора сформировалась система понятий, положенная в основу его операторного
метода. Из него выросли затем и символические языки программирования,
трансляторы (именуемые ранее программирующими программами) и теория схем
программ. Алексей Андреевич начинал свой курс, когда программистов были
единицы, а то немногое, что относилось к ЭВМ, было засекречено. Решению
будущих фундаментальных проблем программирования очень помогло непосредственное
знакомство Алексея Андреевича с первой отечественной вычислительной машиной,
для чего ему пришлось съездить в Феофанию, что под Киевом: там она была создана
под руководством С.А. Лебедева" (Р.И. Подловченко).
Кстати, как тесен мир: одно из книжных издательств попросило профессора МГУ
Римму Ивановну Подловченко дать отзыв на план-проспект книги "Теория автоматов
в программировании", написанный мною в соавторстве с Н.И. Туккелем.
"Переходя к обзору достижений А.А. Ляпунова, отметим прежде всего его работы
по теории программирования. Уже в ранний период развития программирования были
осознаны трудности в создании больших программ без предварительного составления
подходящей блок-схемы в терминах достаточно крупных операций. В 1953 г. Алексей
Андреевич предложил метод предварительного описания программ при помощи
операторных схем, который был ориентирован на четкое выделение основных
операторов и на построение своеобразной алгебры преобразований программ. Этот
метод благодаря алгебраической записи оказался значительно более удобным, чем
применявшийся ранее метод блок-схем. Он стал основным средством автоматизации
программирования и положен в основу развития идей советской школы
программирования. В дальнейшем эти идеи углублялись и развивались как
советскими (Ю.И. Янов, А.П. Ершов), так и зарубежными учеными. На этом пути
было достигнуто лучшее понимание того, как можно преобразовывать схемы
программ эквивалентным образом и оценивать получающуюся программу по виду ее
логической схемы" (Б.А. Трахтенброт).
"IEEE (The Institute of Electrical and Electronic Engineers) как международное
сообщество существует уже более 100 лет. В 1946 г. в нем было основано
структурное подразделение — Computer Society, которое объединяет сотни тысяч
профессионалов, работающих в области компьютерной науки и индустрии:
информатики, программирования, производства вычислительной техники и
компьютерного бизнеса. Самая престижная награда этого общества — медаль
"Computer Pioneer" — учреждена в 1981 г. Ее цель — признать и представить
мировому сообществу тех выдающихся лиц, усилиями которых создавалась и
развивалась сфера компьютерных технологий, при условии, что главный их вклад
был сделан не менее, чем 15 лет назад. Среди 55 лауреатов этой почетной награды
можно назвать таких классиков информатики как Дж. Атанасов — за создание одной
из первых электронных вычислительных машин, Н. Вирт — за разработку языка
"Паскаль", Дж. Маккарти и М. Минский — за работы в области искусственного
интеллекта, Э. Кодд — за создание реляционной модели данных и др.
В этом списке (во многом из-за железного занавеса) не было советских ученых.
В 1996 г., в пятидесятилетний юбилей своего образования Общество приложило
максимальные усилия, чтобы восстановить историческую справедливость, и
наградила медалями "Computer Pioneer" В.М. Глушкова, С.А. Лебедева и
А.А. Ляпунова — за заслуги в создании основ вычислительной техники и
программирования" (Короткевич Г.В.).
В заключение отметим, что перечисленная выше "компания" была ничуть не слабее
соответствующей западной, во многом создававшей "Computer Science". Просто
нашим "немного" не повезло!
Кроме того обидно, что становление теории автоматов и теории программирования
происходило в доинтернетовскую эпоху, что практически исключает полученные в
этих областях результаты из сферы интересов отечественной молодежи, для которой
Интернет является чуть ли не единственным источником знаний. При этом отметим,
что указанная тенденция еще охватила не весь мир. Так, например, библиотека
Кембриджского университета выписывает 55000 журналов (!) и их, наверное, читают
(Известия, 19.04.2002 г.).
И последнее. Часто можно слышать мнение, что в инфантилизме молодежи надо
винить нас, в чем, видимо, есть доля правды. Однако в их инфантилизме я сильно
сомневаюсь, так как большинство из них легко пройдут тест на его отсутствие:
различат, что в качестве зарплаты им дали, например, 700 рублей, а не 700
долларов. Так что инфантилизм, если он у них и есть, то весьма избирательный.
Кстати, есть еще тест и "покруче": "Миру перевернуться или мне чай без сахара
пить?" (Ф.М. Достоевский).
Хочется верить, что если предыдущие поколения ученых в области информатики
добились весьма многого, то и нынешняя молодежь, которая не менее талантлива,
если захочет, может добиться еще большего. Стоит только захотеть, ведь не зря
говорят, что "человек способен сделать все то, что он может, а еще и все то,
что захочет".
И вновь наступит время, когда "Академия наук будет казаться какой-то
недосягаемой для простых смертных вершиной, простое пребывание на которой
является чем-то невероятным" (Н.Я. Матюхин, студент, а в дальнейшем член-корреспондент АН СССР).
Кстати, Российская Академия наук
со времен Екатерины I была явлением уникальным, так как ни в одной стране мира
нельзя было за деньги заниматься только наукой, не занимаясь, например,
преподаванием. Это привело к крупной "утечке умов" из Западной Европы и в Россию
на долгие годы приехали работать Л. Эйлер (похоронен в Алексанро-Невской
Лавре Санкт-Петебурга), Д. Бернулли, Х. Гольдбах и многие другие крупные ученые.
В заключение отметим, что цитаты, использованные в настоящей работе,
заимствованы из книги "Очерки истории информатики в России"
(редакторы-составители Д.А. Поспелов, Я.И. Фет), которая опубликована
в 1998 году в Новосибирске (издательство ОИГГМ СО РАН) при финансовой
поддержке Российского фонда фундаментальны исследований. Кроме того, весьма
полезны энциклопедический словарь "Информатика" (под редакцией Д.А. Поспелова),
М.:Педагогика–Пресс, 1994 и формирующийся в настоящее время виртуальный музей
вычислительной техники
(www.computer-museum.ru),
а также книги Частикова А.П.
Архитекторы компьютерного мира. СПб.: БХВ–Петербург, 2002
и Кронрод А.С. Бесед о программировании. М.: УРСС, 2002.
Итак, изложив "контекст" Гавриловских Школ, пора переходить к тому, ради чего
писалось предисловие — к воспоминаниям Леонида Яковлевича Розенблюма, который
все эти годы был Душой Гавриловских школ.
Друг Леки Розенблюма,
докт. техн. наук, профессор
|
Шалыто А.А
|
P.S. Автор будет признателен за предложения по корректировке этого материала:
mail@avrorasystems.com (для Шалыто).
|