| slovo | definícia |
boole
(wn) | Boole
n 1: English mathematician; creator of Boolean algebra
(1815-1864) [syn: Boole, George Boole] |
| | podobné slovo | definícia |
boolean
(mass) | boolean
- pravdivostná hodnota, logická hodnota |
boolean
(encz) | boolean,booleovský adj: Zdeněk Brožboolean,booleův Zdeněk Brož |
booleovský
(czen) | booleovský,booleanadj: Zdeněk Brož |
booleův
(czen) | booleův,boolean Zdeněk Brož |
boole
(wn) | Boole
n 1: English mathematician; creator of Boolean algebra
(1815-1864) [syn: Boole, George Boole] |
boolean
(wn) | Boolean
adj 1: of or relating to a combinatorial system devised by
George Boole that combines propositions with the logical
operators AND and OR and IF THEN and EXCEPT and NOT |
boolean algebra
(wn) | Boolean algebra
n 1: a system of symbolic logic devised by George Boole; used in
computers [syn: Boolean logic, Boolean algebra] |
boolean logic
(wn) | Boolean logic
n 1: a system of symbolic logic devised by George Boole; used in
computers [syn: Boolean logic, Boolean algebra] |
boolean operation
(wn) | boolean operation
n 1: an operation that follows the rules of Boolean algebra;
each operand and the result take one of two values [syn:
boolean operation, binary operation, {binary arithmetic
operation}] |
george boole
(wn) | George Boole
n 1: English mathematician; creator of Boolean algebra
(1815-1864) [syn: Boole, George Boole] |
boole, george
(foldoc) | George Boole
Boole, George
1815-11-02 - 2008-05-11 22:58
best known for his contribution to symbolic logic ({Boolean
Algebra}) but also active in other fields such as probability
theory, algebra, analysis, and differential equations. He
lived, taught, and is buried in Cork City, Ireland. The Boole
library at University College Cork is named after him.
For centuries philosophers have studied logic, which is
orderly and precise reasoning. George Boole argued in 1847
that logic should be allied with mathematics rather than with
philosophy.
Demonstrating logical principles with mathematical symbols
instead of words, he founded symbolic logic, a field of
mathematical/philosophical study. In the new discipline he
developed, known as Boolean algebra, all objects are divided
into separate classes, each with a given property; each class
may be described in terms of the presence or absence of the
same property. An electrical circuit, for example, is either
on or off. Boolean algebra has been applied in the design of
binary computer circuits and telephone switching equipment.
These devices make use of Boole's two-valued (presence or
absence of a property) system.
Born in Lincoln, Lincolnshire, UK, George Boole was the son of
a tradesman and was largely self-taught. He began teaching at
the age of 16 to help support his family. In his spare time
he read mathematical journals and soon began to write articles
for them. By the age of 29, Boole had received a gold medal
for his work from the British Royal Society. His
'Mathematical Analysis of Logic', a pamphlet published in
1847, contained his first statement of the principles of
symbolic logic. Two years later he was appointed professor of
mathematics at Queen's College in Ireland, even though he had
never studied at a university.
He died in Ballintemple, Ireland, on 1864-12-08.
{Compton's Encyclopedia Online
(http://comptons2.aol.com/encyclopedia/ARTICLES/00619_A.html)}.
(1998-11-19)
|
boolean
(foldoc) | Boolean
bool
1. Boolean algebra.
2. (bool) The type of an expression with two
possible values, "true" and "false". Also, a variable of
Boolean type or a function with Boolean arguments or result.
The most common Boolean functions are AND, OR and NOT.
(1997-12-01)
|
boolean algebra
(foldoc) | Boolean algebra
(After the logician George Boole)
1. Commonly, and especially in computer science and digital
electronics, this term is used to mean two-valued logic.
2. This is in stark contrast with the definition used by pure
mathematicians who in the 1960s introduced "Boolean-valued
models" into logic precisely because a "Boolean-valued
model" is an interpretation of a theory that allows more
than two possible truth values!
Strangely, a Boolean algebra (in the mathematical sense) is
not strictly an algebra, but is in fact a lattice. A
Boolean algebra is sometimes defined as a "complemented
distributive lattice".
Boole's work which inspired the mathematical definition
concerned algebras of sets, involving the operations of
intersection, union and complement on sets. Such algebras
obey the following identities where the operators ^, V, - and
constants 1 and 0 can be thought of either as set
intersection, union, complement, universal, empty; or as
two-valued logic AND, OR, NOT, TRUE, FALSE; or any other
conforming system.
a ^ b = b ^ a a V b = b V a (commutative laws)
(a ^ b) ^ c = a ^ (b ^ c)
(a V b) V c = a V (b V c) (associative laws)
a ^ (b V c) = (a ^ b) V (a ^ c)
a V (b ^ c) = (a V b) ^ (a V c) (distributive laws)
a ^ a = a a V a = a (idempotence laws)
--a = a
-(a ^ b) = (-a) V (-b)
-(a V b) = (-a) ^ (-b) (de Morgan's laws)
a ^ -a = 0 a V -a = 1
a ^ 1 = a a V 0 = a
a ^ 0 = 0 a V 1 = 1
-1 = 0 -0 = 1
There are several common alternative notations for the "-" or
logical complement operator.
If a and b are elements of a Boolean algebra, we define a |
boolean logic
(foldoc) | Boolean logic
A logic based on Boolean algebra.
(1995-03-25)
|
boolean search
(foldoc) | Boolean search
(Or "Boolean query") A query using the
Boolean operators, AND, OR, and NOT, and parentheses
to construct a complex condition from simpler criteria. A
typical example is searching for combinatons of keywords on a
web search engine.
Examples:
car or automobile
"New York" and not "New York state"
The term is sometimes stretched to include searches using
other operators, e.g. "near".
Not to be confused with binary search.
See also: weighted search.
(1999-10-23)
|
george boole
(foldoc) | George Boole
Boole, George
1815-11-02 - 2008-05-11 22:58
best known for his contribution to symbolic logic ({Boolean
Algebra}) but also active in other fields such as probability
theory, algebra, analysis, and differential equations. He
lived, taught, and is buried in Cork City, Ireland. The Boole
library at University College Cork is named after him.
For centuries philosophers have studied logic, which is
orderly and precise reasoning. George Boole argued in 1847
that logic should be allied with mathematics rather than with
philosophy.
Demonstrating logical principles with mathematical symbols
instead of words, he founded symbolic logic, a field of
mathematical/philosophical study. In the new discipline he
developed, known as Boolean algebra, all objects are divided
into separate classes, each with a given property; each class
may be described in terms of the presence or absence of the
same property. An electrical circuit, for example, is either
on or off. Boolean algebra has been applied in the design of
binary computer circuits and telephone switching equipment.
These devices make use of Boole's two-valued (presence or
absence of a property) system.
Born in Lincoln, Lincolnshire, UK, George Boole was the son of
a tradesman and was largely self-taught. He began teaching at
the age of 16 to help support his family. In his spare time
he read mathematical journals and soon began to write articles
for them. By the age of 29, Boole had received a gold medal
for his work from the British Royal Society. His
'Mathematical Analysis of Logic', a pamphlet published in
1847, contained his first statement of the principles of
symbolic logic. Two years later he was appointed professor of
mathematics at Queen's College in Ireland, even though he had
never studied at a university.
He died in Ballintemple, Ireland, on 1864-12-08.
{Compton's Encyclopedia Online
(http://comptons2.aol.com/encyclopedia/ARTICLES/00619_A.html)}.
(1998-11-19)
|
|