Зміст
- Визначення - Що означає Джордж Бул?
- Вступ до Microsoft Azure та Microsoft Cloud | У цьому посібнику ви дізнаєтеся, що стосується хмарних обчислень та як Microsoft Azure може допомогти вам мігрувати та вести свій бізнес із хмари.
- Техопедія пояснює Джорджа Була
Визначення - Що означає Джордж Бул?
Джордж Бул (1815–1864) був англійським логіком, математиком та педагогом. Починаючи з англійської школи, він став професором математики в університеті Queen, Корк, Ірландія. Він створив дві основні роботи з логіки, а саме: "Математичний аналіз логіки" (1847) та "Закони думки" (1854).
Він винайшов булеву алгебру, яка розширила зв’язок між логікою та математикою. Пізніше це стало основою для перевірки обгрунтованості логічних пропозицій, зроблених за допомогою двозначного двійкового символу - істинного чи помилкового. За свій величезний внесок у інформатику, особливо в цифрову комп'ютерну логіку, Бул вважається "батьком інформаційної доби".
Вступ до Microsoft Azure та Microsoft Cloud | У цьому посібнику ви дізнаєтеся, що стосується хмарних обчислень та як Microsoft Azure може допомогти вам мігрувати та вести свій бізнес із хмари.
Техопедія пояснює Джорджа Була
Бул, який багато в чому займався самоуком, Бул ніколи не відвідував університет. Він змушений був залишити школу в 16 років після краху взуттєвого бізнесу батьків. У тому ж році він став помічником вчителя, а згодом відкрив власну школу, коли йому було 20 років. Незабаром Джордж зацікавився математикою і продовжив відкривати нову галузь математики, відому як інваріантна теорія. У 1844 році за роботу про диференціальні рівняння Булу було присвоєно першу Золоту медаль Лондонського королівського товариства. Незважаючи на те, що Бул не мав університетського ступеня, в 1849 році він був призначений професором математики в Університеті Квінке виключно на основі своїх публікацій.
Бул був одним із перших англійців, що писав на логіку. Він розробив новий тип лінгвістичної алгебри, відомий зараз як булева алгебра, як метод маніпулювання та математичного вирішення логічних аргументів. Бул припустив, що логічні пропозиції можна звести до алгебраїчних рівнянь, а математичні операнди можна замінити логічними словами, такими як AND, OR і NOT. Він подав загальні алгоритми алгебраїчною мовою, які можна застосувати до різних типів складних аргументів. У своїй праці «Закони думки» він також намагався знайти спільний метод у вірогідності.