Skip to main content
  • Book
  • © 2004

Logic Functions and Equations

Binary Models for Computer Science

  • Highly recommended for a one- or two-semester course in many Computer Science or Computer Science-oriented programmes
  • Allows students an easy high-level access to the methods
  • Enables sophisticated applications in many different areas
  • Elegantly bridges the gap between Mathematics and the required theoretical foundations of Computer Science

Buy it now

Buying options

eBook USD 69.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (9 chapters)

  1. Front Matter

    Pages i-xxix
  2. Theoretical Foundations

    1. Front Matter

      Pages 1-1
    2. Basic Algebraic Structures

      • Christian Posthoff, Bernd Steinbach
      Pages 3-35
    3. Logic Functions and Equations

      • Christian Posthoff, Bernd Steinbach
      Pages 37-89
    4. Logic Equations

      • Christian Posthoff, Bernd Steinbach
      Pages 91-100
    5. Boolean Differential Calculus

      • Christian Posthoff, Bernd Steinbach
      Pages 101-142
    6. The Solution of Logic Equations

      • Christian Posthoff, Bernd Steinbach
      Pages 143-206
  3. Applications

    1. Front Matter

      Pages 207-207
    2. Logics and Arithmetics

      • Christian Posthoff, Bernd Steinbach
      Pages 209-264
    3. Combinational Circuits

      • Christian Posthoff, Bernd Steinbach
      Pages 265-336
    4. Finite-State Machines

      • Christian Posthoff, Bernd Steinbach
      Pages 337-373
  4. Tools

    1. Front Matter

      Pages 375-375
    2. Xboole

      • Christian Posthoff, Bernd Steinbach
      Pages 377-384
  5. Back Matter

    Pages 385-392

About this book

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.

Reviews

From the reviews of the first edition:

"The book under analysis has two main features which distinguish it from the numerous other books devoted to the applications of the two-element Boolean algebra to computer science and related fields. The first characteristic is the manner in which the beginner is introduced to the field. The authors adopt a strongly conversational style. … The other main feature of this book is the crucial role played by the authors’ own research on Boolean differential calculus … ." (Sergiu Rudeanu, Zentralblatt MATH, Vol. 1087, 2006)

Authors and Affiliations

  • The University of The West Indies, Saint Augustine Campus, Trinidad&Tobago

    Christian Posthoff

  • Freiberg University of Technology, Germany

    Bernd Steinbach

Bibliographic Information

Buy it now

Buying options

eBook USD 69.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access