- Look up
Herbrand in Wiktionary, the free dictionary.
Herbrand is a surname.
Notable people with the
surname include:
Freddy Herbrand (born 1944), Belgian...
- In first-order logic, a
Herbrand structure S {\displaystyle S} is a
structure over a
vocabulary σ {\displaystyle \sigma } (also
sometimes called a signature)...
- In
mathematical logic, a
Herbrand interpretation is an
interpretation in
which all
constants and
function symbols are ****igned very
simple meanings. Specifically...
-
Jacques Herbrand (12
February 1908 – 27 July 1931) was a
French mathematician.
Although he died at age 23, he was
already considered one of "the greatest...
-
Herbrand's theorem is a
fundamental result of
mathematical logic obtained by
Jacques Herbrand (1930). It
essentially allows a
certain kind of reduction...
- mathematics, the
Herbrand quotient is a
quotient of
orders of
cohomology groups of a
cyclic group. It was
invented by
Jacques Herbrand. It has an important...
-
Herbrand L****n (born
February 3, 1973) is a
Norwegian musician,
record producer,
mixer and engineer. He is best
known for
being a
member of
extreme metal...
- The
Herbrand Award for
Distinguished Contributions to
Automated Reasoning is an
award given by the
Conference on
Automated Deduction (CADE), Inc., (although...
-
Markus Herbrand (born 24
February 1971) is a
German politician of the Free
Democratic Party (FDP) who has been
serving as a
member of the
Bundestag from...
-
Herbrand Lavik (19 May 1901 – 22
March 1965) was a
Norwegian journalist,
short story writer, novelist, poet,
translator and
theatre critic. He was born...