Kniha Boolean Reasoning Frank Markham Brown

Boolean Reasoning

The Logic of Boolean Equations

Jazyk: Angličtina
Vazba: Pevná
Vydavatel: Springer
Dostupnost: Skladem u dodavatele v malém množství
Odesíláme za 13-18 dnů
3 938
This book is about the logic of Boolean equations. Such equations were central in the "algebra of lo...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Pevná
Vydáno
1990
Stránek
276
EAN
9780792391210
ISBN
0792391217
Enbook ID
01398042
Vydavatel
Hmotnost
1310
Rozměry
155 x 235 x 17

Kompletní popis

This book is about the logic of Boolean equations. Such equations were central in the "algebra of logic" created in 1847 by Boole [12, 13] and devel oped by others, notably Schroder [178], in the remainder of the nineteenth century. Boolean equations are also the language by which digital circuits are described today. Logicians in the twentieth century have abandoned Boole's equation based logic in favor of the more powerful predicate calculus. As a result, digital engineers-and others who use Boole's language routinely-remain largely unaware of its utility as a medium for reasoning. The aim of this book, accordingly, is to is to present a systematic outline of the logic of Boolean equations, in the hope that Boole's methods may prove useful in solving present-day problems. Two Logical Languages Logic seeks to reduce reasoning to calculation. Two main languages have been developed to achieve that object: Boole's "algebra of logic" and the predicate calculus. Boole's approach was to represent classes (e. g. , happy creatures, things productive of pleasure) by symbols and to represent logical statements as equations to be solved. His formulation proved inadequate, however, to represent ordinary discourse. A number of nineteenth-century logicians, including Jevons [94], Poretsky [159], Schroder [178], Venn [210], and Whitehead [212, 213], sought an improved formulation based on ex tensions or modifications of Boole's algebra. These efforts met with only limited success.

Mohlo by vás zajímat

Black Rose

Tananarive Due
451
897

Quickbooks

Ashley Smith
347
241
966
348

Research Annual

Luca Fiorito
3 338
433

Fundamentals of Sprinting

Shane Lee and Jeremiah Whitfield Eugene Shane Lee and Jeremiah Whitfield
351

Strange Attraction

Wilford W Spradlin
454
1 891

Reading New India

E Dawson Varughese
1 154
2 135

Rambo Family Tree

Beverly J Rambo
699

Zákaznicí kteří koupili tuto knihu koupili také

The Facts of Life

Victor Betis
410

PETIT OURS A UNE AMIE (BROCHE)

SENDAK MAURICE/MINARIK ELSE HOLMELUND/DESARTHE AGNES
254

Les Boers

LECLERCQ-J
306
270
457
476

Bruckner-Handbuch

Hans-Joachim Hinrichsen
1 604