Overview
- New approach to an established field
- Introduces the concept of predicate logic in order to supersede propositional logic in switching theory
- Gives new insight into the theory of latches (memory circuits)
- Can be used in undergraduate and graduate courses
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (36 chapters)
-
Fundamental Concepts
-
Logic
-
Combinational Circuits
Keywords
About this book
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.
Authors and Affiliations
Bibliographic Information
Book Title: Switching Theory
Book Subtitle: Insight through Predicate Logic
Authors: Shimon P. Vingron
DOI: https://doi.org/10.1007/978-3-662-10174-2
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 2004
Hardcover ISBN: 978-3-540-40343-2Published: 11 September 2003
Softcover ISBN: 978-3-642-07318-2Published: 15 December 2010
eBook ISBN: 978-3-662-10174-2Published: 09 March 2013
Edition Number: 1
Number of Pages: XIV, 428
Topics: Electronics and Microelectronics, Instrumentation, Logic Design, Computer Communication Networks, Complexity, Information and Communication, Circuits