LogicWorks 5

Interactive Circuit Design Software

Author: Capilano Computing

Publisher: Prentice Hall

ISBN: 9780131456587

Category: Computers

Page: 244

View: 9976

DOWNLOAD NOW »

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.
Release

Introduction to Logic Design

Author: Sajjan G. Shiva

Publisher: CRC Press

ISBN: 1351989839

Category: Technology & Engineering

Page: 628

View: 565

DOWNLOAD NOW »

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.
Release

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

DOWNLOAD NOW »

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...
Release