🎉   Please check out our new website over at books-etc.com.

Seller
Your price
£149.99
Out of Stock

Logic Functions and Equations

Binary Models for Computer Science

Format: Hardback
Publisher: Springer Nature Switzerland AG, Cham, Switzerland
Published: 14th Jan 2019
Dimensions: w 156mm h 234mm d 29mm
Weight: 909g
ISBN-10: 3030024199
ISBN-13: 9783030024192
Barcode No: 9783030024192
Trade or Institutional customer? Contact us about large order quotes.
Synopsis
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.

New & Used

Seller Information Condition Price
-New
Out of Stock

What Reviewers Are Saying

Submit your review
Newspapers & Magazines
"The presented book ... represents a unique and very recommendable exposition on the theory of Boolean functions and its numerous applications. The text is very well written in such a style that readers with varying backgrounds will benefit from the presented results, both theoretically and practically. Its particular approach will also give readers already familiar with propositional logic and SAT new and interesting insights." (Wolfgang Schreiner, Computing Reviews, August 06, 2019)