1 a branch of mathematics in which arithmetical operations and relationships are generalized by using alphabetic symbols to represent unknown numbers or members of specified sets of numbers
2 any abstract calculus, a formal language in which functions and operations can be defined and their properties studied. Thus the algebra of clauses is another name for set theory and the algebra of logic for formal logic (C14: from Medieval Latin, from Arabic al-jabr the bone-setting, reunification, mathematical reduction)
n a system of symbolic logic devised by George Boole to codify nonmathematical logical operations. It is used in computers
Diccionario de inglés definición
Añada su entrada en el Diccionario colaborativo.