Boolean Reasoning Boolean Reasoning

Boolean Reasoning

The Logic of Boolean Equations

    • US$13.99
    • US$13.99

출판사 설명

A systematic treatment of Boolean reasoning, this concise, newly revised edition combines the works of early logicians with recent investigations, including previously unpublished research results.

For the benefit of readers without formal training in mathematics, the text starts with an overview of elementary mathematical concepts and outlines the theory of Boolean algebras, based on Huntington's postulate. It defines operators for elimination, division, and expansion, providing a coherent and systematic basis for subsequent discussions of syllogistic reasoning, the solution of Boolean equations, and functional deduction.

Examples and end-of-chapter problems appear throughout the book, many taken from the design for switching systems. Two concluding chapters deal with applications; one applies Boolean reasoning to diagnostic problems, and the other discusses the design of multiple-output logic-circuits.

장르
과학 및 자연
출시일
2012년
2월 10일
언어
EN
영어
길이
304
페이지
출판사
Dover Publications
판매자
INscribe Digital
크기
17.5
MB
Proof and Computation Proof and Computation
2018년
PROOF AND COMPUTATION II PROOF AND COMPUTATION II
2021년
A First Course in Mathematical Logic and Set Theory A First Course in Mathematical Logic and Set Theory
2015년
Completeness Theory for Propositional Logics Completeness Theory for Propositional Logics
2008년
Gentzen's Centenary Gentzen's Centenary
2015년
Aspects of Mathematical Logic Aspects of Mathematical Logic
2011년