Switching Theory: Insight through Predicate Logic - Image 1

£77.89

Springer Switching Theory: Insight through Predicate Logic

Name: Switching Theory: Insight through Predicate Logic
Brand: Springer
Price: 77.89 GBP
Availability: InStock

Architecture & Microprocessors

Price History & Forecast

Last 78 days • 78 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 78 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £78 (59 days, 75.6%)

Price range: £77 - £78

Price levels: 2 different prices over 78 days

Description

The author’s main concern is to promote understanding of the basic ideas underlying switching theory. Nothing is taken for granted, whether it is the concept of a logic variable, that of feedback in a latch or sequential circuit, or the necessity to encode internal states. This very basic and thorough approach enables the development of new concepts such as Composition, or Verification. The theoretical side is enhanced by using predicate (instead of propositional) logic allowing for formal proofs till now unattainable. On the practical side, sequential circuits that hitherto were obtained intuitively are now open to a formal synthesis procedure.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3642073182
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 15 December 2010
Listed Since: 20 September 2010

Barcode

No barcode data available

Springer Switching Theory: Insight through Predicate Logic

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Switching Theory for Logic Synthesis

From Boolean Logic to Switching Circuits and Automata: Towards Modern Information Technology: 335 (Studies in Computational Intelligence, 335)

Boolean Functions: With Engineering Applications and Computer Programs

Logic Synthesis and Verification Algorithms

Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

Switched Linear Systems: Control and Design (Communications and Control Engineering)

Switched Linear Systems: Control and Design (Communications and Control Engineering)

Springer Reasoning in Boolean Networks - Logic Synthesis Book

Theory of Logical Calculi: Basic Theory of Consequence Operations: 199 (Synthese Library, 199)

Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)

Theory of Computation: Automata, Formal Languages, Computation and Complexity

Springer Optical Switching - Technologies, Devices and Networks

A Logical Approach to Discrete Math (Monographs in Computer Science)

Theoretical Computer Science: Introduction to Automata, Computability, Complexity, Algorithmics, Randomization, Communication, and Cryptography

Introduction to Logic and Logical Discourse

Introduction to Logic and Logical Discourse

A Practical Theory of Programming (Monographs in Computer Science)

Computation Engineering: Applied Automata Theory and Logic

Digital Logic for Computing

Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)

Reversible Logic Synthesis: From Fundamentals to Quantum Computing

Probability Logics: Probability-Based Formalization of Uncertain Reasoning

Propositional and Predicate Calculus: A Model of Argument