Obsah
- Definice - Co znamená George Boole?
- Úvod do Microsoft Azure a Microsoft Cloud | V této příručce se dozvíte, o čem cloud computing je a jak vám může Microsoft Azure pomoci migrovat a řídit podnikání z cloudu.
- Techopedia vysvětluje George Boole
Definice - Co znamená George Boole?
George Boole (1815–1864) byl anglický logik, matematik a pedagog. Začínal jako učitel v Anglii a stal se profesorem matematiky na Queen's University v Cork v Irsku. On produkoval dvě hlavní práce v logice, jmenovitě “matematická analýza logiky” (1847) a “zákony myšlení” (1854).
Vynalezl booleovskou algebru, která rozšířila vztah mezi logikou a matematikou. Později se stal základem pro ověření platnosti logických propozic, provedeného pomocí dvoustranného binárního znaku - true nebo false. Boole je považován za „otce informačního věku“ za jeho obrovské příspěvky do informatiky, zejména v oblasti digitální počítačové logiky.
Úvod do Microsoft Azure a Microsoft Cloud | V této příručce se dozvíte, o čem cloud computing je a jak vám může Microsoft Azure pomoci migrovat a řídit podnikání z cloudu.
Techopedia vysvětluje George Boole
Boole nikdy nechodil na univerzitu, protože byl velmi vyučován zázrakem dítěte. Byl nucen opustit školu ve věku 16 let poté, co se jeho otcové obchod s obuví zhroutili. Ve stejném roce se stal asistentem učitele a poté, když mu bylo 20 let, otevřel svou vlastní školu. Brzy se George začal zajímat o matematiku a objevil nové odvětví matematiky známé jako invariantní teorie. V roce 1844 byl za článek o diferenciálních rovnicích Boole vyznamenán první Zlatou medailí Královské společnosti v Londýně. Přestože Boole neměl vysokoškolské vzdělání, byl v roce 1849 jmenován profesorem matematiky na Queen's University pouze na základě jeho publikací.
Boole byl jedním z prvních Angličanů, který psal logicky. Vyvinul nový typ lingvistické algebry, nyní známé jako logická algebra, jako metoda manipulace a matematického řešení logických argumentů. Boole navrhl, že logické návrhy by mohly být redukovány na algebraické rovnice a matematické operandy mohou být nahrazeny logickými slovy jako AND, OR a NOT. Poskytl obecné algoritmy v algebraickém jazyce, který lze použít na různé typy složitých argumentů. Ve své práci „Zákony myšlení“ se také pokusil najít v pravděpodobnostech běžnou metodu.