Vsebina
- Opredelitev - Kaj pomeni George Boole?
- Uvod v Microsoft Azure in Microsoft Cloud | V tem priročniku boste spoznali, kaj sploh pomeni računalništvo v oblaku in kako vam lahko Microsoft Azure pomaga preseliti in voditi vaše podjetje iz oblaka.
- Tehopedia razlaga George Boole
Opredelitev - Kaj pomeni George Boole?
George Boole (1815–1864) je bil angleški logik, matematik in vzgojitelj. V Angliji je kot šolski mojster postal profesor matematike na Queen's University v Cork na Irskem. Izdelal je dve glavni deli iz logike, in sicer "Matematična analiza logike" (1847) in "Zakoni misli" (1854).
Izumil je Booleovo algebro, ki je razširila odnos med logiko in matematiko. Pozneje je postala osnova za preverjanje veljavnosti logičnih predlogov, narejeno s pomočjo dvovrednega binarnega značaja - resničnega ali napačnega. Boole zaradi svojega ogromnega prispevka k računalništvu, zlasti v digitalni računalniški logiki, velja za "očeta informacijske dobe."
Uvod v Microsoft Azure in Microsoft Cloud | V tem priročniku boste spoznali, kaj sploh pomeni računalništvo v oblaku in kako vam lahko Microsoft Azure pomaga preseliti in voditi vaše podjetje iz oblaka.
Tehopedia razlaga George Boole
Boole, ki je bil večinoma samouk otrok, Boole ni nikoli obiskoval univerze. Šolal je moral pri 16 letih, ko je propadel očetovski čevelj. Še istega leta je postal pomočnik učitelja, kasneje pa je odprl svojo šolo, ko je bil star 20. Kmalu se je George začel zanimati za matematiko in nadaljeval z odkrivanjem nove veje matematike, znane kot invariantna teorija. Leta 1844 je bil Boole za prispevek o diferencialnih enačbah nagrajen s prvo zlato medaljo londonskega Royal Society. Čeprav Boole ni imel univerzitetne diplome, je bil leta 1849 imenovan za profesorja matematike na Queen's University izključno na podlagi njegovih publikacij.
Boole je bil eden prvih Angležev, ki je pisal o logiki. Kot metodo za manipulacijo in matematično reševanje logičnih argumentov je razvil novo vrsto jezikovne algebre, danes znano kot Boolova algebra. Boole je predlagal, da bi bilo mogoče logične predloge reducirati na algebarske enačbe in matematične operande nadomestiti z logičnimi besedami, kot so AND, ALI in NE. Navedel je splošne algoritme v algebričnem jeziku, ki jih je mogoče uporabiti za različne vrste zapletenih argumentov. V svojem delu "Zakoni misli" je skušal najti tudi skupno metodo v verjetnosti.