Sisu
- Definitsioon - mida tähendab George Boole?
- Sissejuhatus Microsoft Azure'i ja Microsoft Cloud | Kogu selle juhendi kaudu saate teada, mis on pilvandmetöötlus ja kuidas Microsoft Azure aitab teil pilvest rännata ja oma ettevõtet juhtida.
- Techopedia selgitab George Boole
Definitsioon - mida tähendab George Boole?
George Boole (1815–1864) oli inglise loogik, matemaatik ja koolitaja. Alustades Inglismaal koolmeistrina, sai temast matemaatikaprofessor Iirimaa Corki kuninganna Queeni ülikoolis. Ta koostas kaks suurt loogika teost, nimelt "Loogika matemaatiline analüüs" (1847) ja "Mõtte seadused" (1854).
Ta leiutas Boole'i algebra, mis laiendas loogika ja matemaatika suhet. Hiljem sai sellest loogiliste väidete paikapidavuse kontrollimise alus, mis tehti kahe väärtusega binaarse märgi abil - tõene või vale. Oma tohutu panuse eest infotehnoloogiasse, eriti digitaalse arvutiloogika alal, peetakse Boole “infoajastu isaks”.
Sissejuhatus Microsoft Azure'i ja Microsoft Cloud | Kogu selle juhendi kaudu saate teada, mis on pilvandmetöötlus ja kuidas Microsoft Azure aitab teil pilvest rännata ja oma ettevõtet juhtida.
Techopedia selgitab George Boole
Boole, kes on suuresti iseõppinud lapseootel laps, ei käinud kunagi ülikoolis. Pärast isade kingaäri kokkuvarisemist oli ta sunnitud koolist lahkuma 16-aastaselt. Samal aastal sai temast abiõpetaja ja avas hiljem 20-aastaselt oma kooli. Varsti hakkas George matemaatika vastu huvi tundma ja avastas uue matemaatikaharu, mida tuntakse invariantse teooriana. Aastal 1844 anti Boole diferentsiaalvõrrandite eest paberile Londoni Kuningliku Ühingu esimene kuldmedal. Ehkki Boolel polnud ülikoolikraadi, määrati ta 1849. aastal kuninganna ülikooli matemaatikaprofessoriks üksnes tema väljaannete põhjal.
Boole oli üks esimesi inglasi, kes loogikat kirjutas. Ta töötas välja loogiliste argumentide manipuleerimise ja matemaatilise lahendamise meetodina uut tüüpi keelelise algebra, mida nüüd tuntakse Boolean algebra nime all. Boole pakkus välja, et loogilisi väiteid võiks redutseerida algebralisteks võrranditeks ja matemaatilisi operandid saaks asendada loogiliste sõnadega nagu AND, OR ja NOT. Ta esitas algebralises keeles üldised algoritmid, mida saab rakendada erinevat tüüpi keerukate argumentide jaoks. Oma töös "Mõtteseadus" püüdis ta leida tõenäosuste osas ka ühist meetodit.