| 期刊全稱 | Boolean Reasoning | | 期刊簡稱 | The Logic of Boolean | | 影響因子2023 | Frank Markham Brown | | 視頻video | http://file.papertrans.cn/190/189783/189783.mp4 | | 圖書封面 |  | | 影響因子 | 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 repre | | Pindex | Book 1990 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-12 01:00
發(fā)表于 2025-3-21 18:17:35
