«Բուլյան հանրահաշիվ»–ի խմբագրումների տարբերություն
Content deleted Content added
Տող 2.
''Այս հոդվածը հանրահաշվի ճյուղերից մեկի մասին է։''
'''Բուլյան հանրահաշիվ,''' մաթեմատիկայում և [[Մաթեմատիկական տրամաբանություն|մաթեմատիկական տրամաբանության]] մեջ հանրահաշվի մի ենթաճյուղ, որտեղ փոփոխականների արժեքները համարվում են «ճշմարիտ» կամ «սխալ» [[Ասույթների տրամաբանություն|ասույթներ]], և սովորաբար դրանք արտահայտվում են ''1'' ու ''0'' թվերով։ Ի տարբերություն [[Տարրական հանրահաշիվ|տարրական հանրահաշվի]], որտեղ [[Փոփոխական մեծություն|փոփոխականների]] արժեքները հիմնականում թվեր են, և իրենց հիմնական գործողություններն են [[գումարում]]
Բուլյան հանրահաշիվը ներկայացվել է 1854 թվականին [[Ջորջ Բուլ]]
Բուլի առաջին գիրքը 1847 թվականին հրապարակված ''«Տրամաբանության մաթեմատիկական վերլուծությունը»'' ներառում էր իսկական, բնագիր տեսությունը։ Սա առաջարկված է եղել որպես [[Մաթեմատիկական լեզվաբանություն|մաթեմատիկական լեզու]], որը զբաղվում էր տրամաբանության հարցերով, ինչը ներկայումս անհրաժեշտ է ժամանակակից թվային սարքավորումներ կառուցելու համար, [[Ծրագրավորման լեզու|ծրագրավորման լեզուներ]]<nowiki/>ում ու սովորաբար կրճատված է որպես '''bool''' տեսակ ու բացի այդ այն գոյություն ունի որպես հիմնական տվյալ բոլոր ժամանակակից ծրագրավորման լեզուներում։ Բուլյան հանրահաշիվը հիմնային դեր ունի [[թվային էլեկտրոնիկա]]
== Պատմություն ==
Բուլյան հանրահաշիվն ավելի վաղ ժամանակներից գոյություն ունի, քան [[աբստրակտ հանրահաշիվ]]<nowiki/>ը և մաթեմատիկական տրամաբանությունը, ինչևէ այն կապվում է այս երկու ոլորտների ծագման հետ<ref name="DunnHardegree2001">{{cite book|url=https://books.google.com/books?id=-AokWhbILUIC&pg=PA2|title=Algebraic methods in philosophical logic|author1=J. Michael Dunn|author2=Gary M. Hardegree|publisher=Oxford University Press US|year=2001|isbn=978-0-19-853192-0|page=2}}</ref>։ Բուլյան հանրահաշիվը կատարելագործվել է 19րդ դարի վերջին [[Ուիլյան Ջևոնս|Ջևոնսի]], [[Էռնստ Շրյոդեր|Շրյոդերի]], [[Էդվարդ Հանթինգթոն|Հանթինգթոնի]] և ուրիշների կողմից։ Կատարելագործվում է այնքան մինչև, որ ստանում է ժամանակակից [[մաթեմատիկական կառուցվածք]]ի տեսք։ Իրականում [[Մարշալ Սթոուն|Մ.Հ. Սթոունը]] ապացուցել է, որ յուրաքանչյուր Բուլյան հանրահաշիվ [[Իզոմորֆություն (մաթեմատիկա)|իզոմորֆ]] է [[Բազմությունների հանրահաշիվ|բազմությունների հանրահաշվին]]<ref>[[Marshall H. Stone]] (1936) "[https://www.jstor.org/stable/1989664 The Theory of Representations of Boolean Algebras,]" ''Transactions of the American Mathematical Society 40'': 37-111.</ref>։
|