Author | Posthoff, Christian. author |
---|---|

Title | Logic Functions and Equations [electronic resource] : Binary Models for Computer Science / by Christian Posthoff, Bernd Steinbach |

Imprint | Boston, MA : Springer US : Imprint: Springer, 2004 |

Connect to | http://dx.doi.org/10.1007/978-1-4020-2938-7 |

Descript | XXIX, 392 p. online resource |

SUMMARY

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

CONTENT

I. Theoretical Foundations -- 1. Basic Algebraic Structures -- 2. Logic Functions -- 4. Boolean Differential Calculus -- 5. The Solution of Logic Equations -- II. Applications -- 6. Logics and Arithmetics -- 7. Combinational Circuits -- 8. Finite-State Machines -- III. Tools -- 9. Xboole

Mathematics
Logic design
Computer logic
Computer science -- Mathematics
Mathematical logic
Electrical engineering
Mathematics
Mathematical Logic and Foundations
Electrical Engineering
Logic Design
Mathematics of Computing
Logics and Meanings of Programs
Discrete Mathematics in Computer Science