George Boole
George Boole

Author: Ivor Grattan-Guinness

Publisher: Birkhäuser

Published: 2013-03-07

Total Pages: 297

ISBN-13: 3034888597

DOWNLOAD EBOOK

George Boole (1815-1864) is well known to mathematicians for his research and textbooks on the calculus, but his name has spread world-wide for his innovations in symbolic logic and the development and applications made since his day. The utility of "Boolean algebra" in computing has greatly increased curiosity in the nature and extent of his achievements. His work is most accessible in his two books on logic, "A mathematical analysis of logic" (1947) and "An investigation of the laws of thought" (1954). But at various times he wrote manuscript essays, especially after the publication of the second book; several were intended for a non-technical work, "The Philosophy of logic", which he was not able to complete. This volume contains an edited selection which not only relates them to Boole's publications and the historical context of his time, but also describes their strange history of family, followers and scholars have treid to confect an edition. The book will appeal to logicians, mathematicians and philosophers, and those interested in the histories of the corresponding subjects; and also students of the early Victorian Britain in which they were written.

Logic For Dummies
Logic For Dummies

Author: Mark Zegarelli

Publisher: John Wiley & Sons

Published: 2006-11-29

Total Pages: 384

ISBN-13: 0471799416

DOWNLOAD EBOOK

A straightforward guide to logic concepts Logic concepts are more mainstream than you may realize. There’s logic every place you look and in almost everything you do, from deciding which shirt to buy to asking your boss for a raise, and even to watching television, where themes of such shows as CSI and Numbers incorporate a variety of logistical studies. Logic For Dummies explains a vast array of logical concepts and processes in easy-to-understand language that make everything clear to you, whether you’re a college student of a student of life. You’ll find out about: Formal Logic Syllogisms Constructing proofs and refutations Propositional and predicate logic Modal and fuzzy logic Symbolic logic Deductive and inductive reasoning Logic For Dummies tracks an introductory logic course at the college level. Concrete, real-world examples help you understand each concept you encounter, while fully worked out proofs and fun logic problems encourage you students to apply what you’ve learned.

Introduction to Digital Systems
Introduction to Digital Systems

Author: Mohammed Ferdjallah

Publisher: John Wiley & Sons

Published: 2011-06-15

Total Pages: 229

ISBN-13: 1118007700

DOWNLOAD EBOOK

A unique guide to using both modeling and simulation in digital systems design Digital systems design requires rigorous modeling and simulation analysis that eliminates design risks and potential harm to users. Introduction to Digital Systems: Modeling, Synthesis, and Simulation Using VHDL introduces the application of modeling and synthesis in the effective design of digital systems and explains applicable analytical and computational methods. Through step-by-step explanations and numerous examples, the author equips readers with the tools needed to model, synthesize, and simulate digital principles using Very High Speed Integrated Circuit Hardware Description Language (VHDL) programming. Extensively classroom-tested to ensure a fluid presentation, this book provides a comprehensive overview of the topic by integrating theoretical principles, discrete mathematical models, computer simulations, and basic methods of analysis. Topical coverage includes: Digital systems modeling and simulation Integrated logic Boolean algebra and logic Logic function optimization Number systems Combinational logic VHDL design concepts Sequential and synchronous sequential logic Each chapter begins with learning objectives that outline key concepts that follow, and all discussions conclude with problem sets that allow readers to test their comprehension of the presented material. Throughout the book, VHDL sample codes are used to illustrate circuit design, providing guidance not only on how to learn and master VHDL programming, but also how to model and simulate digital circuits. Introduction to Digital Systems is an excellent book for courses in modeling and simulation, operations research, engineering, and computer science at the upper-undergraduate and graduate levels. The book also serves as a valuable resource for researchers and practitioners in the fields of operations research, mathematical modeling, simulation, electrical engineering, and computer science.

Linear Algebra for Computational Sciences and Engineering
Linear Algebra for Computational Sciences and Engineering

Author: Ferrante Neri

Publisher: Springer

Published: 2019-07-26

Total Pages: 586

ISBN-13: 3030213218

DOWNLOAD EBOOK

This book presents the main concepts of linear algebra from the viewpoint of applied scientists such as computer scientists and engineers, without compromising on mathematical rigor. Based on the idea that computational scientists and engineers need, in both research and professional life, an understanding of theoretical concepts of mathematics in order to be able to propose research advances and innovative solutions, every concept is thoroughly introduced and is accompanied by its informal interpretation. Furthermore, most of the theorems included are first rigorously proved and then shown in practice by a numerical example. When appropriate, topics are presented also by means of pseudocodes, thus highlighting the computer implementation of algebraic theory. It is structured to be accessible to everybody, from students of pure mathematics who are approaching algebra for the first time to researchers and graduate students in applied sciences who need a theoretical manual of algebra to successfully perform their research. Most importantly, this book is designed to be ideal for both theoretical and practical minds and to offer to both alternative and complementary perspectives to study and understand linear algebra.

A Boole Anthology
A Boole Anthology

Author: James Gasser

Publisher: Springer Science & Business Media

Published: 2013-11-11

Total Pages: 351

ISBN-13: 940159385X

DOWNLOAD EBOOK

Modern mathematical logic would not exist without the analytical tools first developed by George Boole in The Mathematical Analysis of Logic and The Laws of Thought. The influence of the Boolean school on the development of logic, always recognised but long underestimated, has recently become a major research topic. This collection is the first anthology of works on Boole. It contains two works published in 1865, the year of Boole's death, but never reprinted, as well as several classic studies of recent decades and ten original contributions appearing here for the first time. From the programme of the English Algebraic School to Boole's use of operator methods, from the problem of interpretability to that of psychologism, a full range of issues is covered. The Boole Anthology is indispensable to Boole studies and will remain so for years to come.

Bowtie Methodology
Bowtie Methodology

Author: Sasho Andonov

Publisher: CRC Press

Published: 2017-10-23

Total Pages: 192

ISBN-13: 1351657828

DOWNLOAD EBOOK

Bow Tie Methodology (BTM) consists of two methods, Fault Tree Analysis (FTA) and Event Tree Analysis (ETA), which are connected by a single event. The methodology is holistic and provides the tools and pre-event analysis, which is also called the risk calculations, and post-event analysis, also called the risk mitigations, of quality and safety related events. There are plenty of articles or chapters on this methodology, however there is no book that covers everything in one place. The book is filled with examples taken from the aviation industry and elaborates theory implemented in practice, which gives quality and safety practitioners a guidance on how to use and apply BTM in practice.