Logic Functions and Equations

Binary Models for Computer Science

  • Christian Posthoff
  • Bernd Steinbach

Table of contents

  1. Front Matter
    Pages i-xxix
  2. Theoretical Foundations

    1. Front Matter
      Pages 1-1
    2. Christian Posthoff, Bernd Steinbach
      Pages 3-35
    3. Christian Posthoff, Bernd Steinbach
      Pages 37-89
    4. Christian Posthoff, Bernd Steinbach
      Pages 91-100
    5. Christian Posthoff, Bernd Steinbach
      Pages 101-142
    6. Christian Posthoff, Bernd Steinbach
      Pages 143-206
  3. Applications

    1. Front Matter
      Pages 207-207
    2. Christian Posthoff, Bernd Steinbach
      Pages 209-264
    3. Christian Posthoff, Bernd Steinbach
      Pages 265-336
    4. Christian Posthoff, Bernd Steinbach
      Pages 337-373
  4. Tools

    1. Front Matter
      Pages 375-375
    2. Christian Posthoff, Bernd Steinbach
      Pages 377-384
  5. Back Matter
    Pages 385-392

About this book

Introduction

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.

Keywords

artificial intelligence complexity computer computer architecture computer science logic programming

Authors and affiliations

  • Christian Posthoff
    • 1
  • Bernd Steinbach
    • 2
  1. 1.The University of The West IndiesSaint Augustine CampusTrinidad&Tobago
  2. 2.Freiberg University of TechnologyGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-1-4020-2938-7
  • Copyright Information Springer-Verlag US 2004
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4419-5261-5
  • Online ISBN 978-1-4020-2938-7
  • About this book