Содержание
- Определение - Что означает Джордж Буль?
- Введение в Microsoft Azure и Microsoft Cloud | Из этого руководства вы узнаете, что такое облачные вычисления и как Microsoft Azure может помочь вам перенести и запустить свой бизнес из облака.
- Техопедия объясняет Джорджа Буля
Определение - Что означает Джордж Буль?
Джордж Буль (1815–1864) был английским логиком, математиком и педагогом. Начав учиться в школе в Англии, он стал профессором математики в Королевском университете в Корке, Ирландия. Он создал две основные работы по логике, а именно «Математический анализ логики» (1847) и «Законы мысли» (1854).
Он изобрел булеву алгебру, которая расширила отношения между логикой и математикой. Позже он стал основой для проверки правильности логических предложений, сделанных с помощью двоичного двоичного символа - истина или ложь. За огромный вклад в информатику, особенно в цифровую компьютерную логику, Бул считается «отцом информационного века».
Введение в Microsoft Azure и Microsoft Cloud | Из этого руководства вы узнаете, что такое облачные вычисления и как Microsoft Azure может помочь вам перенести и запустить свой бизнес из облака.
Техопедия объясняет Джорджа Буля
Бул, в значительной степени самоучка, никогда не учился в университете. Он был вынужден покинуть школу в 16 лет после того, как обувной бизнес его отцов рухнул. В том же году он стал помощником учителя, а затем открыл свою собственную школу, когда ему было 20 лет. Вскоре Джордж увлекся математикой и открыл новую отрасль математики, известную как теория инвариантов. В 1844 году за работу по дифференциальным уравнениям Буль был награжден первой золотой медалью Лондонского королевского общества. Несмотря на то, что Буль не имел университетского диплома, в 1849 году он был назначен профессором математики в Университете Королевы исключительно на основе его публикаций.
Буль был одним из первых англичан, который писал по логике. Он разработал новый тип лингвистической алгебры, теперь известный как булева алгебра, как метод для манипулирования и математического решения логических аргументов. Буль предположил, что логические предложения могут быть сведены к алгебраическим уравнениям, а математические операнды могут быть заменены логическими словами, такими как AND, OR и NOT. Он предоставил общие алгоритмы на алгебраическом языке, которые можно применять к различным типам сложных аргументов. В своей работе «Законы мысли» он также пытался найти общий метод вероятностей.