Computer Science and Multiple-Valued Logic

Theory and Applications

By: David C. Rine (Editor)

Write A Review

eText | 12 May 2014 | Edition Number 1

At a Glance

Format
PDF

eText

$115.50

or 4 interest-free payments of $28.88 with

Instant online reading in your Booktopia eTextbook Library *

Why choose an eTextbook?

Instant Access *

Purchase and read your book immediately

Read Aloud

Listen and follow along as Bookshelf reads to you

Study Tools

Built-in study tools like highlights and more

* eTextbooks are not downloadable to your eReader or an app and can be accessed via web browsers only. You must be connected to the internet and have no technical issues with your device or browser that could prevent the eTextbook from operating.

Computer Science and Multiple-Valued Logic: Theory and Applications focuses on the processes, methodologies, and approaches involved in multiple-valued logic and its relationship to computer science.

The selection first tackles an introduction to multiple-valued logic, lattice theory of post algebras, multiple-valued logic design and applications in binary computers, smallest many-valued logic for the treatment of complemented and uncomplemented error signals, and chain based lattices. Discussions focus on formulation, representation theory, theory and circuit design, logical tables, and unary operations. The text then examines multiple-valued signal processing with limiting, development of multiple-valued logic as related to computer science, p-algebras, and an algorithm for axiomatizing every finite logic.

The book takes a look at completeness properties of multiple-valued logic algebras, computer simplification of multi-valued switching functions, and minimization of multivalued functions. Topics include generation of prime implicants, realizations, minimization algorithms, decomposition algorithm for multi-valued switching functions, and relation between the sum-of-products form and array of cubes.

The selection is aimed at computer engineers, computer scientists, applied mathematicians, and physicists interested in multiple-valued logic as the discipline relates to computer engineering and computer science.