Брудно, Александр Львович

Александр Львович Брудно (10 января 19181 декабря 2009) — советский математик, также известный работами в области искусственного интеллекта и программирования.

Александр Львович Брудно
Дата рождения 10 января 1918(1918-01-10)
Место рождения СССР
Дата смерти 1 декабря 2009(2009-12-01) (91 год)
Место смерти Израиль
Страна  СССР
 Израиль
Научная сфера математик и информатика
Место работы ИНЭУМ им. И. С. Брука
Альма-матер МГУ (мехмат)
Учёное звание д.ф.-м.н., профессор
Научный руководитель Д. Е. Меньшов
Известен как математик, учёный в области программирования и искусственного интеллекта; один из авторов «alpha-beta pruning»

Биография

В 1941 году окончил механико-математический факультет Московского государственного университета.

В 1949 году защитил диссертацию на соискание учёной степени кандидата физико-математических наук.

В 1953 году защитил докторскую диссертацию.

С 1969 года — профессор.

Научная деятельность

А. Л. Брудно является одной из заметных фигур, составляющих дерево школы известного математика Н. Н. Лузина[1]. Научные интересы Брудно затрагивали широкий круг математических проблем и задач. Его работы были связаны с теорией функций действительного переменного и детальным изучением свойств различных функций и основных понятий математического анализа (таких, как непрерывность, дифференцирование, интегрирование и т. п.) и с развитием теории линейного и нелинейного программирования.

В послевоенные годы математик П. С. Новиков вёл в Математическом институте им. В. А. Стеклова АН СССР семинар по развитию теории алгоритмов. Один из представителей той же школы, А. А. Ляпунов, вспоминал:

Косвенным образом этот семинар сильно содействовал тому, что у многих его участников позднее возникли интересы к электронным вычислительным машинам и кибернетике и появилась уверенность в том, что для развития этих новых областей органически необходим высокий уровень математической культуры.[2]А. А. Ляпунов

Как участник этого семинара А. Л. Брудно был привлечён член-корреспондентом АН СССР И. С. Бруком к созданию программ для разрабатывшейся в начале 1950-х годов ЭВМ М-2. В 1954 году А. Л. Брудно перешёл на работу в лабораторию И. С. Брука в Энергетическом институте им. Г. М. Кржижановского АН СССР, на базе которой в 1958 году был образован Институт электронных управляющих машин (ИНЭУМ).

Семинар Брудно — Кронрода

Семинар Брудно — Кронрода собрал неформальный круг математиков, программистов и экономистов, работавших в разных организациях, в который входили Г. М. Адельсон-Вельский, В. Л. Арлазаров, В. Д. Белкин, И. Я. Бирман, М. М. Бонгард, А. Л. Брудно, М. Я. Вайнштейн, Е. В. Гливенко, Д. М. Гробман, А. С. Кронрод, П. Е. Кунин, Е. М. Ландис, И. Я. Ландау, А. Л. Лунц и другие. Они занимались программированием игровых задач, задач распознавания, диагностикии и экономики. Результаты этих исследований привели к находкам оригинальных методов перебора, в частности метода ветвей и границ, построения справочных систем с логарифмическим временем записи и поиска, оптимального планирования и т. д.

Александр Львович был одним из первых, кто к программированию подошёл как математик и задолго до западных коллег ввёл основные понятия «системного программирования».[3]

Опыт программирования задач в кодах М-2 привёл А. Л. Брудно к разработке метода программирования в содержательных обозначениях.[4]

Одним из первых в СССР А. Л. Брудно занялся проблемами эвристического программирования (искусственного интеллекта), сформулировал его основные принципы (дерево позиций игры, методы поиска и ограниченность глубины). Разрабатывал (совместно с А. С. Кронродом, Г. М. Адельсоном-Вельским, Е. М. Ландисом и В. Л. Арлазаровым) первые алгоритмы[5] и программы интеллектуальных игр. Заметный вклад А. Л. Брудно, много сделавший в области шахматного программирования, внёс в разработку эффективных методов перебора.

В 1963 году он впервые опубликовал точное описание и математическое доказательство корректности метода отсечений, который сейчас носит название альфа-беты процедуры. А. Л. Брудно называл его методом граней и оценок[6]. Позднее альфа-бета процедура была независимо предложена американскими математиками. Приоритет работы А. Л. Брудно в этой области подчёркивается Д. Кнутом в публикации[7] и в статье переведённой на русский язык[8].

Александр Львович был энтузиастом интеллектуальных игр, развивающих «способности, необходимые для решения инженерных задач, проблем управления и экономики» и способствовал появлению популярных книг, которые могут «направить читателей от развлечения к занятиям математикой и кибернетикой»[9].

Преподавательская деятельность

В 1960-е годы А. А. Ляпунов пришёл к убеждению[2], что уже школьный курс математики должен включать знакомство с ЭВМ и программированием… В 1968 году по предложению Организации Объединённых Наций им подготовлен доклад о педагогических экспериментах, проводимых в г. Новосибирске. В 1972 году он начинает вести занятия по программированию в 8 классе 130-й средней школы.

В этом же году инициатива поддержана в Москве директором ИНЭУМ Б. Н. Наумовым, который на базе своего института для школьников старших классов создал Московский Учебно-производственный центр вычислительной техники (УПЦ ВТ). Первым его научным руководителем стал начальник отдела систем программирования ИНЭУМ, математик и педагог, профессор Александр Львович Брудно, который привлёк к преподаванию опытных программистов института. Учителя в УПЦ ВТ приобрели уникальный в то время опыт разработки содержания учебных курсов по широкому спектру информационных технологий (архитектура компьютеров, программирование на языках ассемблера для нескольких поколений компьютеров, технологии подготовки данных, элементная база компьютеров и т. п.).

Брудно стал инициатором проведения для школьников регулярных олимпиад по программированию, фактически превратившихся в общегородские. Опыт УПЦ ВТ быстро распространился по стране.

Брудно отличался отзывчивостью и доброжелательностью к коллегам и ученикам, как, впрочем, и к его собственным учителям. Когда в 1971 году тяжело заболел академик Пётр Сергеевич Новиков, Брудно ухаживал за ним в академической больнице на Ленинском проспекте.[10]

В 1990 году А. Л. Брудно[11] уволился из ИНЭУМ в связи с выездом в Израиль.

Публикации

1965 год
  • Брудно А. Л. Грани и оценки для сокращения перебора вариантов. — М.: Проблемы кибернетики, 1963, вып. 10, сс. 141—150
  • Брудно А. Л. Введение в программирование. — М.: Наука, 1965
  • Брудно А. Л. Алгол. — М.:Наука, 1968, 70 с.
  • Брудно А. Л. Теория функций действительного переменного: избранные главы. — М.:Наука, 1971, 119 с.
  • Брудно А. Л. Л. И. Каплан. Олимпиады по программированию для школьников / Под ред. Б. Н. Наумова. — М.: Наука, 1985, 96 с.
  • Брудно А. Л. Л. И. Каплан. Московские олимпиады по программированию. — М.: Наука / Под ред. Б. Н. Наумова. — 2-е изд., перераб. и доп. 1990, 208 с.

Примечания

  1. Дерево Н. Н. Лузина.
  2. Воронцов Н. Н. Алексей Андреевич Ляпунов. Очерк жизни и творчества. Окружение и личность. М.: Новый хронограф, 2011. — 240 с.
  3. Евгений Беркович. Памяти А. Л. Брудно (недоступная ссылка). Дата обращения: 2 мая 2012. Архивировано 20 сентября 2012 года.
  4. А. Л. Брудно. Программирование в содержательных обозначениях. — М.: Наука, 1968, 2-е изд., испр.
  5. История «Каиссы».
  6. Брудно А. Л. Грани и оценки для сокращения перебора вариантов. — М.: Проблемы кибернетики, 1963, вып. 10, сс. 141—150
  7. Donald E. Knuth. The Art of Computer Programming. Архивировано 28 октября 2012 года.
  8. Анализ альфа-бета-отсечений.
  9. Гик Е. Я. Занимательные математические игры. — 2-е изд. перераб. и доп. М.: Знание, 1987. — 160 с.
  10. А. А. Ляпунов. 100 лет со дня рождения/отв. ред. Ю. И. Шокин. — Новосибирск.: Академическое изд-во «Гео», 1968, — 587 с.
  11. Александр Львович в Москве. Архивировано 20 сентября 2012 года.

Ссылки

  • Отечественная электронная вычислительная техника. Биографическая энциклопедия — М.: Столичная энциклопедия, 2014. — 400 с. — С. 29 ISBN 978-5-903989-25-6
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.