Logic Machines and Diagrams
Logic Machines and Diagrams

Author: Martin Gardner

Publisher:

Published: 1982

Total Pages: 165

ISBN-13: 9780226282442

DOWNLOAD EBOOK

Traces the development of logic machines from diagrams of logical statements to modern computers and discusses the fundamentals of mathematical logic

Thinking Machines
Thinking Machines

Author: Irving Adler

Publisher: New York : J. Day Company

Published: 1974

Total Pages: 232

ISBN-13:

DOWNLOAD EBOOK

In spite of radical changes in computer technology, the underlying principles of computer design and use remain the same. The core revisions in this text explain the significances of recent developments. One of the chapters describes advances in computer design and use. The other is devoted to programming and program languages.

Logic and Boolean Algebra
Logic and Boolean Algebra

Author: Bradford Henry Arnold

Publisher: Courier Corporation

Published: 2011-01-01

Total Pages: 163

ISBN-13: 0486483851

DOWNLOAD EBOOK

Orignally published: Englewood Cliffs, N.J.: Prentice-Hall, 1962.

Introduction to Languages, Machines and Logic
Introduction to Languages, Machines and Logic

Author: Alan P. Parkes

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 352

ISBN-13: 144710143X

DOWNLOAD EBOOK

A well-written and accessible introduction to the most important features of formal languages and automata theory. It focuses on the key concepts, illustrating potentially intimidating material through diagrams and pictorial representations, and this edition includes new and expanded coverage of topics such as: reduction and simplification of material on Turing machines; complexity and O notation; propositional logic and first order predicate logic. Aimed primarily at computer scientists rather than mathematicians, algorithms and proofs are presented informally through examples, and there are numerous exercises (many with solutions) and an extensive glossary.

Logic Functions and Equations
Logic Functions and Equations

Author: Christian Posthoff

Publisher: Springer Science & Business Media

Published: 2013-03-19

Total Pages: 410

ISBN-13: 1402029381

DOWNLOAD EBOOK

Logic functions and equations are (some of) the most important concepts of Computer Science with many applications such as Binary Arithmetics, Coding, Complexity, Logic Design, Programming, Computer Architecture and Artificial Intelligence. They are very often studied in a minimum way prior to or together with their respective applications. Based on our long-time teaching experience, a comprehensive presentation of these concepts is given, especially emphasising a thorough understanding as well as numerical and computer-based solution methods. Any applications and examples from all the respective areas are given that can be dealt with in a unified way. They offer a broad understanding of the recent developments in Computer Science and are directly applicable in professional life. Logic Functions and Equations is highly recommended for a one- or two-semester course in many Computer Science or computer Science-oriented programmes. It allows students an easy high-level access to these methods and enables sophisticated applications in many different areas. It elegantly bridges the gap between Mathematics and the required theoretical foundations of Computer Science.

Ones and Zeros
Ones and Zeros

Author: John Gregg

Publisher: Wiley-IEEE Press

Published: 1998-03-30

Total Pages: 314

ISBN-13:

DOWNLOAD EBOOK

Outstanding features include: a history of mathematical logic, an explanation of the logic of digital circuits, and hands-on exercises and examples.

Boolean Algebra and Its Applications
Boolean Algebra and Its Applications

Author: J. Eldon Whitesitt

Publisher: Courier Corporation

Published: 2012-05-24

Total Pages: 194

ISBN-13: 0486158160

DOWNLOAD EBOOK

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.