Orignally published: Englewood Cliffs, N.J.: Prentice-Hall, 1962.
Introductory treatment begins with set theory and fundamentals of Boolean algebra, proceeding to concise accounts of applications to symbolic logic, switching circuits, relay circuits, binary arithmetic, and probability theory. 1961 edition.
Concise text begins with overview of elementary mathematical concepts and outlines theory of Boolean algebras; defines operators for elimination, division, and expansion; covers syllogistic reasoning, solution of Boolean equations, functional deduction. 1990 edition.
Beginning with an introduction to the concepts of algebraic logic, this concise volume features ten articles by a prominent mathematician that originally appeared in journals from 1954 to 1959. Covering monadic and polyadic algebras, these articles are essentially self-contained and accessible to a general mathematical audience, requiring no specialized knowledge of algebra or logic. Part One addresses monadic algebras, with articles on general theory, representation, and freedom. Part Two explores polyadic algebras, progressing from general theory and terms to equality. Part Three offers three items on polyadic Boolean algebras, including a survey of predicates, terms, operations, and equality. The book concludes with an additional bibliography and index.
This elementary treatment by a distinguished mathematician employs Boolean algebra as a simple medium for introducing important concepts of modern algebra. Numerous examples appear throughout the text, plus full solutions.
Written by a pioneer of mathematical logic, this comprehensive graduate-level text explores the constructive theory of first-order predicate calculus. It covers formal methods — including algorithms and epitheory — and offers a brief treatment of Markov's approach to algorithms. It also explains elementary facts about lattices and similar algebraic systems. 1963 edition.
Explores sets and relations, the natural number sequence and its generalization, extension of natural numbers to real numbers, logic, informal axiomatic mathematics, Boolean algebras, informal axiomatic set theory, several algebraic theories, and 1st-order theories.
Famous classic has introduced countless readers to symbolic logic with its thorough and precise exposition. Starts with simple symbols and conventions and concludes with the Boole-Schroeder and Russell-Whitehead systems. No special knowledge of mathematics necessary. "One of the clearest and simplest introductions to a subject which is very much alive." — Mathematics Gazette.
Concise and informal as well as systematic, this presentation on the basics of Boolean algebra has ranked among the fundamental books on the subject since its initial publication in 1963.
Dieses erste Lehrbuch zur Formalen Begriffsanalyse gibt eine systematische Darstellung der mathematischen Grundlagen und ihrer Verbindung zu Anwendungen in der Informatik, insbesondere in der Datenanalyse und Wissensverarbeitung. Das Buch vermittelt vor allem Methoden der graphischen Darstellung von Begriffssystemen, die sich in der Wissenskommunikation bestens bewährt haben. Theorie und graphische Darstellung werden dabei eng miteinander verknüpft. Die mathematischen Grundlagen werden vollständig abgehandelt und durch zahlreiche Beispiele anschaulich gemacht. Da zur Wissensverarbeitung immer stärker der Computer genutzt wird, gewinnen formale Methoden begrifflicher Analyse überall an Bedeutung. Das Buch macht die dafür grundlegende Theorie in kompakter Form zugänglich.
Third edition of popular undergraduate-level text offers historic overview, readable treatment of mathematics before Euclid, Euclid's Elements, non-Euclidean geometry, algebraic structure, formal axiomatics, sets, more. Problems, some with solutions. Bibliography.