eBooks-it.org Logo
eBooks-IT.org Inner Image

Introduction to Boolean Algebras

Introduction to Boolean Algebras Image

Book Details:

Publisher:Springer
Series: Springer
Author:P. R. Halmos
Edition:1
ISBN-10:0387402934
ISBN-13:9780387402932
Pages:574
Published:Dec 02 2008
Posted:Apr 11 2015
Language:English
Book format:PDF
Book size:5.03 MB

Book Description:

The theory of Boolean algebras was created in 1847 by the English mat- matician George Boole. He conceived it as a calculus (or arithmetic) suitable for a mathematical analysis of logic. The form of his calculus was rather di?erent from the modern version, which came into being during the - riod 18641895 through the contributions of William Stanley Jevons, Aug- tus De Morgan, Charles Sanders Peirce, and Ernst Schr oder. A foundation of the calculus as an abstract algebraic discipline, axiomatized by a set of equations, and admitting many di?erent interpretations, was carried out by Edward Huntington in 1904. Only with the work of Marshall Stone and Alfred Tarski in the 1930s, however, did Boolean algebra free itself completely from the bonds of logic and become a modern mathematical discipline, with deep theorems and - portantconnections toseveral otherbranchesofmathematics, includingal- bra,analysis, logic, measuretheory, probability andstatistics, settheory, and topology. For instance, in logic, beyond its close connection to propositional logic, Boolean algebra has found applications in such diverse areas as the proof of the completeness theorem for ?rst-order logic, the proof of the Lo s conjecture for countable ?rst-order theories categorical in power, and proofs of the independence of the axiom of choice and the continuum hypothesis ? in set theory. In analysis, Stones discoveries of the StoneCech compac- ?cation and the StoneWeierstrass approximation theorem were intimately connected to his study of Boolean algebras.

Download Link:

Related Books:

An Introduction to Computer Simulation Methods

Applications to Physical Systems
An Introduction to Computer Simulation Methods Image
3rd Edition
KEY BENEFIT: Now inits third edition, this book teaches physical concepts using computer simulations. The text incorporates object-oriented programming techniques and encouragesreadersto develop good programming habits in the context of doing physics. Designed forreaders at all levels , An Introduction to Computer Simulation Methods uses Java, currently the most popular programming language. Introduction, Tools for Doing Simulations, Simulating Particle Motion, Oscillatory Systems, Few-Body Problems: The Motion of the Planets, The Chaotic Motion of Dynamical Systems, Random Processes, The Dynamics of Many Particle Systems, Normal Modes and Waves, El...

How to Design Programs

An Introduction to Programming and Computing
How to Design Programs Image
This introduction to programming places computer science in the core of a liberal arts education. Unlike other introductory books, it focuses on the program design process. This approach fosters a variety of skills--critical reading, analytical thinking, creative synthesis, and attention to detail--that are important for everyone, not just future computer programmers.The book exposes readers to two fundamentally new ideas. First, it presents program design guidelines that show the reader how to analyze a problem statement; how to formulate concise goals; how to make up examples; how to develop an outline of the solution, based on the analysis; how to finish the program; and how to test. Each step produces a well-defined intermediate product. Second, ...

Introduction to Search with Sphinx

From installation to relevance tuning
Introduction to Search with Sphinx Image
This concise introduction to Sphinx shows you how to use this free software to index an enormous number of documents and provide fast results to both simple and complex searches. Written by the creator of Sphinx, this authoritative book is short and to the point.Understand the particular way Sphinx conducts searches Install and configure Sphinx, and run a few basic tests Issue basic queries to Sphinx at the application level Learn the syntax of search text and the effects of various search options Get strategies for dealing with large data sets, such as multi-index searching Apply relevance and ranking guidelines for presenting best results to the user...



2007 - 2021 © eBooks-IT.org