Из истории информатики: 2 ноября

02 ноября

В 1815 году в Линкольне (Англия) родился Джордж Буль (1815–1864), создатель математической логики.

В 1902 году в Нижнем Новгороде родился Сергей Алексеевич Лебедев (1902–1974), выдающийся конструктор, академик, создатель первой отечественной электронной цифровой вычислительной машины, а также целого ряда других ЭВМ.

Джордж Буль родился 20 ноября 1815 года в бедной рабочей семье. Первые уроки математики получил у отца и, хотя посещал местную школу, в общем его можно считать самоучкой. В 12 лет он уже знал латынь, затем овладел греческим, французским, немецким и итальянским языками. В 16 лет уже преподавал в деревенской школе, а в 20 открыл собственную школу в Линкольне. В редкие часы досуга зачитывался математическими журналами Механического института, интересовался работами математиков прошлого - Ньютона, Лапласа, Лагранжа, проблемами современной алгебры. Джордж Буль по праву считается отцом математической логики. Его именем назван раздел математической логики - булевая алгебра. В 1848 году Джордж Буль опубликовал статью по началам математической логики - "Математический анализ логики, или Опыт исчисления дедуктивных умозаключений", а в 1854 году появился главный его труд "Исследование законов мышления, на которых основаны математические теории логики и вероятностей". В этих работах отразилось убеждение Буля о возможности изучения свойств математических операций, осуществляемых не обязательно над числами. Ученый говорил о символическом методе, который он применял как к изучению дифференцирования и интегрирования, так и к логическому выводу и к теоретико-вероятностным рассуждениям. Именно он построил один из разделов формальной логики в виде некоторой "алгебры", аналогичной алгебре чисел, но не сводящейся к ней. Буль изобрел своеобразную алгебру - систему обозначений и правил, применимую ко всевозможным объектам, от чисел до предложений. Пользуясь этой системой, он мог закодировать высказывания (утверждения, истинность или ложность которых требовалось доказать) с помощью символов своего языка, а затем манипулировать ими, подобно тому как в математике манипулируют числами. Основными операциями булевой алгебры являются конъюнкция (И), дизъюнкция (ИЛИ), отрицание (НЕ).Через некоторое время стало понятно, что система Буля хорошо подходит для описания электрических переключателей схем. Ток в цепи может либо протекать, либо отсутствовать, подобно тому как утверждение может быть либо истинным, либо ложным. А еще несколько десятилетий спустя, уже в ХХ столетии, ученые объединили созданный Джорджем Булем математический аппарат с двоичной системой счисления, заложив тем самым основы для разработки цифрового электронного компьютера.

Идеи Джорджа Буля нашли применение в таких областях, о которых он не мог и мечтать - в использующих двоичный код цифровых компьютерах и в телефонной связи. Он сделал замечательное открытие! Но, как часто бывает, открытие это никого в те времена не заинтересовало, и оно вместе с его автором оставалось в неизвестности долгие-долгие годы. Да многим и сейчас ещё имя Джо́рджа Бу́ля ничего не говорит. Зато всем хорошо знакомо имя его дочери Этель Войнич (в девичестве Буль) - автора известного романа «Овод».

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

В 45 лет С.А.Лебедев, будучи уже известным ученым в области электроэнергетики, переключается полностью на новое для него направление - вычислительную технику. В Институте электротехники АН УССР он организовал первый в стране научный семинар, на базе которого была создана лаборатория по разработке ЭВМ, названной МЭСМ (Малая электронная счетная машина). Она стала первой ЭВМ, созданной в России.

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

Сергей Алексеевич Лебедев в ИТМ и ВТ возглавил работу по созданию нескольких поколений ЭВМ. В начале 60-х годов создается первая ЭВМ из серии больших электронных счетных машин (БЭСМ) - БЭСМ-1. При создании БЭСМ-1 были применены оригинальные научные и конструкторские разработки. Эта ЭВМ была тогда самой производительной машиной в Европе (8-10 тысяч операций в секунду) и одной из лучших в мире. Под руководством С.А.Лебедева были созданы и внедрены в производство еще две ламповые ЭВМ - БЭСМ-2 и М-20. В 60-х годах были созданы полупроводниковые варианты М-20: БЭСМ-3М, БЭСМ-4, М-220 и М-222. При проектировании БЭСМ-6 впервые был применен метод предварительного имитационного моделирования работы операционной системы будущей ЭВМ, что позволило найти ряд решений по организации вычислительного процесса, которые обеспечили невиданное в истории вычислительной техники долголетие БЭСМ-6. Кроме фундаментальных разработок, С.А.Лебедев выполнил важные работы по созданию многомашинных и многопроцессорных комплексов.

Первым шагом в международном признании заслуг Сергея Алексеевича в области информатики явилось присуждение ему в 1996 году медаль «Computer Pioneer Award» за выдающиеся новаторские работы в области создания вычислительной техники.

----------------

Подготовлено по материалам сайтов:

Буль (Boole) Джордж URL: http://za4eti.ru/referat/qtusq
Виртуальный музей информатики: страницы истории [Материалы к урокам информатики Давыдовой Елены Владимировны]URL: http://informat444.narod.ru/museum/index.htm