Local cover image
Image from Amazon.com
Discrete structures, logic, and computability / James L. Hein
Publication 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| Item type | Current library | Home library | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
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)
|
|
|
|
|
No cover image available | No cover image available | ||
| 005. 265 LEE Beginning iPad application development | 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 / |
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.
Click on an image to view it in the image viewer
There are no comments on this title.