Discrete structures, logic, and computability / James L. Hein

By: Hein, James LPublication details: Burlington : c2017. Edition: 4th edDescription: xiv, 1039 p. : ill. ; 25 cmISBN: 9781284070408Subject(s): Computer science--Mathematics | Logic, symbolic and mathematical | Computable functionsDDC classification: 005.11 HEI

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings ( 8 )
Title notes ( 1 )
Comments ( 0 )
Images

Holdings
Item type	Current library	Home library	Call number	Status	Barcode
English Lending	Villa College Library	Villa College Library	005.11 HEI (Browse shelf(Opens below))	Available	8800
English Lending	Villa College Library	Villa College Library	005.11 HEI (Browse shelf(Opens below))	Available	8798
English Lending	Villa College Library	Villa College Library	005.11 HEI (Browse shelf(Opens below))	Available	8799
English Lending	Villa College Library	Villa College Library	005.115 HEI (Browse shelf(Opens below))	Available	12254
English Staff Reference	Villa College Library	Villa College Library	005.115 HEI (Browse shelf(Opens below))	Available	9235
English Reference	Villa College Library	Villa College Library	005.115 HEI (Browse shelf(Opens below))	Available	9236
English Lending	Villa College Library	Villa College Library	005.115 HEI (Browse shelf(Opens below))	In transit from Villa College QI Campus to Villa College Library since 12/20/2021	9237
English Lending	Villa College Library	Villa College Library	005.115 HEI (Browse shelf(Opens below))	Available	9238

Total holds: 0

Browsing Villa College Library shelves Close shelf browser (Hides shelf browser)

Previous					No cover image available	No cover image available		Next
Previous	005.115 HEI Discrete structures, logic, and computability /	005.115 HEI Discrete structures, logic, and computability /	005.115 HEI Discrete structures, logic, and computability /	005.115 HEI Discrete structures, logic, and computability /	005 BAK CBSE4103 Software engineering /	005 BAK CBWP2203 Web programming /	005 CBC CBCT2203 Basic concepts of information technology /	Next

Contents Include:

1. Elementary notions and notations
2. Facts about functions
3. Construction techniques
4. Binary relations and inductive proof
5. Analysis tools and techniques
6.Elementary logic
7.Predicate logic
8.Applied logic
9.Algebraic structures and techniques
10.Graph theory
11. Languages and automata
12.Computational notions.

Includes bibliographical references and index.

There are no comments on this title.

to post a comment.

Click on an image to view it in the image viewer