Άλγεβρα Μπουλ
Στα Μαθηματικά και την Μαθηματική λογική, Άλγεβρα Μπουλ είναι η υποπεριοχή της άλγεβρας όπου οι τιμές των μεταβλητών είναι οι τιμές αληθείας "αληθές" και "ψευδές", που συνήθως αναπαρίστανται με 1 και 0 αντίστοιχα. Σε αντίθεση με την στοιχειώδη άλγεβρα όπου οι τιμές των μεταβλητών είναι αριθμοί και οι κύριες πράξεις είναι η πρόσθεση και ο πολλαπλασιασμός, στην άλγεβρα Μπουλ υπάρχουν τρεις κύριες πράξεις: η σύζευξη "και" (συμβ. ∧), η διάζευξη "ή" (συμβ. ∨) και η άρνηση "όχι" (σύμβ. ¬).

Η άλγεβρα Μπουλ εισήχθη το 1854 από τον Τζορτζ Μπουλ (George Boole) με το έργο του "An Investigation of the Laws of Thought" ("Διερεύνηση των νόμων της σκέψης"). Σύμφωνα με τον Huntington ο όρος «Άλγεβρα Μπουλ» χρησιμοποιήθηκε για πρώτη φορά από τον Sheffer το 1913.

Η άλγεβρα Μπουλ είναι θεμελιώδους σημασίας για την επιστήμη της Πληροφορικής και αποτελεί την βάση για την θεωρητική μελέτη του πεδίου της λογικής σχεδίασης. Επιπλέον είναι σημαντική σε άλλα πεδία όπως η Στατιστική, η Θεωρία συνόλων και ο προγραμματισμός.
Q395
Μαθηματικά
Concept
Q1166618
Μαθηματική λογική
Concept
Q3968
στοιχειώδη άλγεβρα
Concept
Q134661
Τζορτζ Μπουλ (George Boole)
PER
Q4027615
Πληροφορικής
Concept
Q173198
λογικής σχεδίασης
UNK
Q12483
Στατιστική
Concept
Q12482
Θεωρία συνόλων
Concept
Q80006
προγραμματισμός
Concept
Q173183
Άλγεβρα Μπουλ
Concept
Q173183
Άλγεβρα Μπουλ
Concept
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
0^^http://www.w3.org/2001/XMLSchema#decimal
0
NUMBER
subclass of
named after
part of