Christian Posthoff – författare

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.

The expanded and updated 2nd edition of this classic text offers the reader a comprehensive introduction to the concepts of logic functions and equations and their applications across computer science. The approach emphasizes a thorough understanding of the fundamental principles as well as numerical and computer-based solution methods.

Updated throughout, some major additions for the 2nd edition include:

- an expanded introductory section on logic equations;

- a new chapter on sets, lattices, and classes of logic functions;

- a new chapter about SAT-problems;

- a new chapter about methods to solve extremely complex problems; and

- an expanded section with new decomposition methods utilizing the Boolean Differential Calculus extended to lattices of logic functions.

The book provides insight into applications across binary arithmetic, coding, complexity, logic design, programming,computer architecture, and artificial intelligence.

Based on the extensive teaching experience of the authors, Logic Functions and Equations is highly recommended for a one- or two-semester course in computer science and related programs. It provides straightforward high-level access to these methods and enables sophisticated applications, elegantly bridging the gap between mathematics and the theoretical foundations of computer science.

The greatly expanded and updated 3rd edition of this textbook offers the reader a comprehensive introduction to the concepts of logic functions and equations and their applications across computer science and engineering. The authors’ approach emphasizes a thorough understanding of the fundamental principles as well as numerical and computer-based solution methods. The book provides insight into applications across propositional logic, binary arithmetic, coding, cryptography, complexity, logic design, and artificial intelligence.

Updated throughout, some major additions for the 3rd edition include:

The XBOOLE-monitor XBM 2 software is used to solve the exercises; in this way the time-consuming and error-prone manipulation on the bit level is moved to an ordinary PC, more realistic tasks can be solved, and the challenges of thinking about algorithms leads to a higher level of education.

This book demystifies the topic of Artificial Intelligence for readers of varying backgrounds. The content should enable many people to discuss and follow ongoing developments in an informed way, to draw conclusions for their own life and workplace and to acquire the necessary new knowledge. The book strives to provide basic knowledge that will objectify the discussions and relieve some of the creepiness of utopian films. It must also be understood that research results are a necessary condition for progress; they are not sufficient until they can be translated into practice embedded in programs. This difficult relationship between theory and practice has been known for a long time.