Relational Methods in Computer Science (Advances in Computing Sciences)
Super Savings Item! Save 40% on the Relational Methods in Computer Science (Advances in Computing Sciences) by Brand: Springer at Translate This Website. MPN: 3 black & white illustrations, biography. Hurry! Limited time offer. Offer valid only while supplies last. The calculus of relations has been an important component of the development of logic and algebra since the middle of the nineteenth century, when
The calculus of relations has been an important component of the development of logic and algebra since the middle of the nineteenth century, when Augustus De Morgan observed that since a horse is an animal we should be able to infer that the head of a horse is the head of an animal. For this, Aristotelian syllogistic does not suffice: We require relational reasoning. George Boole, in his Mathematical Analysis of Logic of 1847, initiated the treatment of logic as part of mathematics, specifically as part of algebra. Quite the opposite conviction was put forward early this century by Bertrand Russell and Alfred North Whitehead in their Principia Mathematica (1910 - 1913): that mathematics was essentially grounded in logic. Logic thus developed in two streams. On the one hand algebraic logic, in which the calculus of relations played a particularly prominent part, was taken up from Boole by Charles Sanders Peirce, who wished to do for the "calculus of relatives" what Boole had done for the calculus of sets. Peirce's work was in turn taken up by Schroder in his Algebra und Logik der Relative of 1895 (the third part of a massive work on the algebra of logic). Schroder's work, however, lay dormant for more than 40 years, until revived by Alfred Tarski in his seminal paper "On the calculus of binary relations" of 1941 (actually his presidential address to the Association for Symbolic Logic).
|Part Number:||3 black & white illustrations, biography|
|MPN:||3 black & white illustrations, biography|
|Item Weight:||0.91 pounds|
|Item Size:||0.66 x 9.25 x 9.25 inches|
|Package Weight:||1.15 pounds|
|Package Size:||6.4 x 0.5 x 0.5 inches|
Have questions about this item, or would like to inquire about a custom or bulk order?
If you have any questions about this product by Brand: Springer, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.
Related Best Sellers
By Poetry Box, The
ean: 9781948461054, isbn: 1948461056,
We live in a world where access to breaking news is available 24/7. But how often do we go beyond the headline? What happened next? What was the impact on our fellow humans across the globe? Can we learn? Can we change? Can we make a difference? We i...
By Brand: Healing Arts Press
ean: 9780892813490, isbn: 0892813490,
This extensive and engaging book--the first collaboration between a Chinese scientist and an American author and herbalist--blends traditional wisdom from both cultures with scientific verification of the medical effectiveness of many ancient Chinese...
ean: 9780792305583, isbn: 0792305582,
The impetus for this volume developed from the 1982 University of Western Ontario Learnability Workshop, which was organized by the editors and sponsored by that University's Department of Philosophy and the Centre for Cognitive Science. The volume e...
ean: 9781402020582, isbn: 1402020589,
Predicates and their Subjects is an in-depth study of the syntax-semantics interface focusing on the structure of the subject-predicate relation. Starting from where the author's 1983 dissertation left off, the book argues that there is syntactic con...
By Equity Press
ean: 9781603320344, isbn: 1603320342,
Book Description: The Ultimate Reference & Learning Guide for Herbalism! It was only in the last century that the ailing, injured, or sick would turn to various herbs and foodstuffs for help before turning to a doctor or pharmacy. The ability to heal...
By Brand: Birkhäuser
mpn: biography, ean: 9783764366100, isbn: 3764366109,
This is a self-contained, systematic and comprehensive introduction to all the subjects and techniques important in scientific computing. The style and presentation are readily accessible to undergraduates and graduates. A large number of examples, a...
By Independently published
ean: 9781521925171, isbn: 1521925178,
Beautifully illustrated book about gardening...
ean: 9780631218838, isbn: 0631218831,
Designed specifically for the language learner and for others requiring a description of informal French morphology and syntax, Colloquial French Grammar is the first detailed non-technical survey in English of the many differences between standard a...
By Brand: Timber Press
mpn: Illustrated, ean: 9780881926279, isbn: 9780881926279,
Botanical Latin is accepted by horticulturists and botanists everywhere as the medium for naming new plants, and botanical research is almost impossible without reference to the vast number of first descriptions in Latin-much information is available...