Obsah
- Definícia - Čo znamená George Boole?
- Úvod do programu Microsoft Azure a Microsoft Cloud V tejto príručke sa dozviete, o čom všetko je cloud computing a ako vám môže Microsoft Azure pomôcť migrovať a podnikať z cloudu.
- Techopedia vysvetľuje George Boole
Definícia - Čo znamená George Boole?
George Boole (1815 - 1864) bol anglický logik, matematik a vychovávateľ. Začínal ako učiteľ v Anglicku a stal sa profesorom matematiky na Queen's University v Cork v Írsku. Vytvoril dve logické diela, a to „Matematická analýza logiky“ (1847) a „Zákony myslenia“ (1854).
Vymyslel booleovskú algebru, ktorá rozšírila vzťah medzi logikou a matematikou. Neskôr sa stal základom pre overenie platnosti logických výrokov, ktorý sa urobil pomocou dvojhodnotového binárneho charakteru - pravdivého alebo nepravdivého. Boole sa považuje za otca informačného veku za jeho obrovské príspevky do počítačovej vedy, najmä v oblasti digitálnej počítačovej logiky.
Úvod do programu Microsoft Azure a Microsoft Cloud V tejto príručke sa dozviete, o čom všetko je cloud computing a ako vám môže Microsoft Azure pomôcť migrovať a podnikať z cloudu.
Techopedia vysvetľuje George Boole
Boole nikdy nebol navštevovaný univerzitou. Bol nútený opustiť školu v 16 rokoch po tom, ako sa jeho otcovia obchod s obuvou zrútili. V tom istom roku sa stal asistentom učiteľa a neskôr, keď mal 20 rokov, otvoril svoju vlastnú školu. Čoskoro sa George začal zaujímať o matematiku a neskôr objavil nové odvetvie matematiky známe ako invariantná teória. V roku 1844 Boole získal za článok o diferenciálnych rovniciach prvú zlatú medailu Kráľovskej spoločnosti v Londýne. Napriek tomu, že Boole nemal vysokoškolské vzdelanie, bol v roku 1849 profesorom matematiky na Queen's University iba na základe jeho publikácií.
Boole bol jedným z prvých Angličanov, ktorý písal logicky. Vyvinul nový typ lingvistickej algebry, teraz známej ako logická algebra, ako metódy manipulácie a matematického riešenia logických argumentov. Boole navrhol, aby sa logické výroky mohli zredukovať na algebraické rovnice a matematické operandy možno nahradiť logickými slovami ako AND, OR a NOT. Poskytol všeobecné algoritmy v algebraickom jazyku, ktorý sa dal použiť na rôzne typy zložitých argumentov. Vo svojej práci „Zákony myslenia“ sa tiež pokúsil nájsť spoločnú metódu pravdepodobností.