Preview this item
Preview this item
Checking...

# Digital logic design : a rigorous approach

Author: Guy Even; Moti Medina New York : Cambridge University Press, 2012. eBook : Document : EnglishView all editions and formats "Chapter 1 Sets and Functions This chapter introduces two major notions: sets and functions. We are all familiar with real functions, for example f(x} = 2x + 1 and g(x} = sin(x). Here the approach is somewhat different. The first difference is that we do not limit the discussion to the set of real numbers. Instead, we consider arbitrary sets, and are mostly interested in sets that contain only a finite number of elements. The second difference is that we do not define a 'rule" for assigning a value for each x. Instead, a function is simply a list of pairs (x, y), where y denotes the value of the function when the argument equals x. The definition of functions relies on the definitions of sets and relations over sets. That is why we need to define various operations over sets such as: union, intersection, complement, and Cartesian product. The focus of this book is Boolean functions. Boolean functions are a special family of functions. Their arguments and values are finite sequences of zero and ones (also called bits). In this chapter we show how to represent a Boolean function by a truth table and multiplication tables. Other representations presented later in the book are: Boolean formulas and combinational circuits"--  Read more... (not yet rated) 0 with reviews - Be the first.

## Find a copy in the library

Finding libraries that hold this item...

## Details

Genre/Form: Electronic books Print version:Even, Guy.Digital logic design.New York : Cambridge University Press, 2012(DLC) 2012015723(OCoLC)794037139 Document, Internet resource Internet Resource, Computer File Guy Even; Moti Medina Find more information about: Guy Even Moti Medina 9781139776912 1139776916 1139782940 9781139782944 817236641 1 online resource (xx, 348 pages) : illustrations Part I. Preliminaries: 1. Sets and functions; 2. Induction and recursion; 3. Sequences and series; 4. Directed graphs; 5. Binary representation; 6. Propositional logic; 7. Asymptotics; 8. Computer stories: big endian vs. little endian; Part II. Combinational Circuits: 9. Representation by formulas; 10. The digital abstraction; 11. Foundations of combinational circuits; 12. Trees; 13. Decoders and encoders; 14. Selectors and shifters; 15. Addition; 16. Signed addition; Part III. Synchronous Circuits: 17. Flip-flops; 18. Memory modules; 19. Foundations of synchronous circuits; 20. Synchronous modules: analysis and synthesis; 21. The ISA of a simplified DLX; 22. A simplified DLX: implementation. Guy Even, Moti Medina.

### Abstract:

This introductory textbook is a complete teaching tool for turning students into logic designers in one semester. Assuming no prior knowledge of discrete mathematics, it covers combinational  Read more...

## Reviews

Editorial reviews

Publisher Synopsis

'I highly recommend this book for academic courses on digital design.' Vladimir Botchev, Computing Reviews '... a very useful textbook ... Throughout the book, the mathematical approach, the Read more...

User-contributed reviews

Be the first.

## Similar Items

### User lists with this item (2)

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

### Primary Entity

<http://www.worldcat.org/oclc/817236641> # Digital logic design : a rigorous approach
a schema:Book, schema:MediaObject, schema:CreativeWork ;
library:oclcnum "817236641" ;
library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
schema:about <http://id.worldcat.org/fast/1002045> ; # Logic design
schema:about <http://experiment.worldcat.org/entity/work/data/1120457654#Topic/technology_&_engineering_electronics_circuits_logic> ; # TECHNOLOGY & ENGINEERING--Electronics--Circuits--Logic
schema:about <http://experiment.worldcat.org/entity/work/data/1120457654#Topic/technology_&_engineering_electronics_circuits_vlsi_&_ulsi> ; # TECHNOLOGY & ENGINEERING--Electronics--Circuits--VLSI & ULSI
schema:about <http://experiment.worldcat.org/entity/work/data/1120457654#Topic/computers_logic_design> ; # COMPUTERS--Logic Design
schema:bookFormat schema:EBook ;
schema:contributor <http://viaf.org/viaf/241915450> ; # Moti Medina
schema:creator <http://viaf.org/viaf/223144304> ; # Guy Even
schema:datePublished "2012" ;
schema:description ""Chapter 1 Sets and Functions This chapter introduces two major notions: sets and functions. We are all familiar with real functions, for example f(x} = 2x + 1 and g(x} = sin(x). Here the approach is somewhat different. The first difference is that we do not limit the discussion to the set of real numbers. Instead, we consider arbitrary sets, and are mostly interested in sets that contain only a finite number of elements. The second difference is that we do not define a 'rule" for assigning a value for each x. Instead, a function is simply a list of pairs (x, y), where y denotes the value of the function when the argument equals x. The definition of functions relies on the definitions of sets and relations over sets. That is why we need to define various operations over sets such as: union, intersection, complement, and Cartesian product. The focus of this book is Boolean functions. Boolean functions are a special family of functions. Their arguments and values are finite sequences of zero and ones (also called bits). In this chapter we show how to represent a Boolean function by a truth table and multiplication tables. Other representations presented later in the book are: Boolean formulas and combinational circuits"--"@en ;
schema:exampleOfWork <http://worldcat.org/entity/work/id/1120457654> ;
schema:genre "Electronic books"@en ;
schema:inLanguage "en" ;
schema:isSimilarTo <http://www.worldcat.org/oclc/794037139> ;
schema:name "Digital logic design : a rigorous approach"@en ;
schema:productID "817236641" ;
schema:publication <http://www.worldcat.org/title/-/oclc/817236641#PublicationEvent/new_york_cambridge_university_press_2012> ;
schema:publisher <http://experiment.worldcat.org/entity/work/data/1120457654#Agent/cambridge_university_press> ; # Cambridge University Press
schema:url <http://proquest.safaribooksonline.com/9781107027534> ;
schema:url <http://www.myilibrary.com?id=402853> ;
schema:url <http://catdir.loc.gov/catdir/enhancements/fy1210/2012015723-t.html> ;
schema:url <http://proquest.tech.safaribooksonline.de/9781107027534> ;
schema:workExample <http://worldcat.org/isbn/9781139782944> ;
schema:workExample <http://worldcat.org/isbn/9781139776912> ;
wdrs:describedby <http://www.worldcat.org/title/-/oclc/817236641> ;
.

### Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
a schema:Place ;
schema:name "New York" ;
.

<http://experiment.worldcat.org/entity/work/data/1120457654#Agent/cambridge_university_press> # Cambridge University Press
a bgn:Agent ;
schema:name "Cambridge University Press" ;
.

<http://experiment.worldcat.org/entity/work/data/1120457654#Topic/computers_logic_design> # COMPUTERS--Logic Design
a schema:Intangible ;
schema:name "COMPUTERS--Logic Design"@en ;
.

<http://experiment.worldcat.org/entity/work/data/1120457654#Topic/technology_&_engineering_electronics_circuits_logic> # TECHNOLOGY & ENGINEERING--Electronics--Circuits--Logic
a schema:Intangible ;
schema:name "TECHNOLOGY & ENGINEERING--Electronics--Circuits--Logic"@en ;
.

<http://experiment.worldcat.org/entity/work/data/1120457654#Topic/technology_&_engineering_electronics_circuits_vlsi_&_ulsi> # TECHNOLOGY & ENGINEERING--Electronics--Circuits--VLSI & ULSI
a schema:Intangible ;
schema:name "TECHNOLOGY & ENGINEERING--Electronics--Circuits--VLSI & ULSI"@en ;
.

<http://id.worldcat.org/fast/1002045> # Logic design
a schema:Intangible ;
schema:name "Logic design"@en ;
.

<http://viaf.org/viaf/223144304> # Guy Even
a schema:Person ;
schema:familyName "Even" ;
schema:givenName "Guy" ;
schema:name "Guy Even" ;
.

<http://viaf.org/viaf/241915450> # Moti Medina
a schema:Person ;
schema:birthDate "1979" ;
schema:familyName "Medina" ;
schema:givenName "Moti" ;
schema:name "Moti Medina" ;
.

<http://worldcat.org/isbn/9781139776912>
a schema:ProductModel ;
schema:isbn "1139776916" ;
schema:isbn "9781139776912" ;
.

<http://worldcat.org/isbn/9781139782944>
a schema:ProductModel ;
schema:isbn "1139782940" ;
schema:isbn "9781139782944" ;
.

<http://www.worldcat.org/oclc/794037139>
a schema:CreativeWork ;
rdfs:label "Digital logic design." ;
schema:description "Print version:" ;
schema:isSimilarTo <http://www.worldcat.org/oclc/817236641> ; # Digital logic design : a rigorous approach
.

Content-negotiable representations