LogicWorks 5

Interactive Circuit Design Software

Author: Capilano Computing

Publisher: Prentice Hall

ISBN: 9780131456587

Category: Computers

Page: 244

View: 9976


LogicWorks is the schematic drawing and interactive digital simulation package that has set the standard for demonstrating logic design principles and practices while producing professional results. LogicWorks 5 helps the reader understand the concepts of using these tools in a variety of design situations in electrical and computer engineering and computer science. Features a subset of the industry-standard VHDL language and fully mixes high-level language and structural design methods. Displays any values in a simulation using the preformatted HTML. Simplifies the creation of component simulations. For anyone interested in learning more about digital design, electrical engineering and computer technology.

Introduction to Logic Design

Author: Sajjan G. Shiva

Publisher: CRC Press

ISBN: 1351989839

Category: Technology & Engineering

Page: 628

View: 565


The second edition of this text provides an introduction to the analysis and design of digital circuits at a logic, instead of electronics, level. It covers a range of topics, from number system theory to asynchronous logic design. A solution manual is available to instructors only. Requests must be made on official school stationery.

Proof and Disproof in Formal Logic

An Introduction for Programmers

Author: Richard Bornat

Publisher: Oxford University Press on Demand

ISBN: 0198530277

Category: Mathematics

Page: 243

View: 7061


Proof and Disproof in Formal Logic is a lively and entertaining introduction to formal logic providing an excellent insight into how a simple logic works. This book concentrates on using logic as a tool: making and using formal proofs and disproofs of particular logical claims. The logic it uses - natural deduction - is very simple and shows how large mathematical universes can be built on small foundations. Aimed at undergraduates and graduates in computerscience, logic, mathematics, and philosophy, the text includes reference to...