Discrete structures, logic, and computability /
Material type: TextPublication details: Burlington, MA : Jones & Bartlett Learning, [2017] ©2017Edition: Fourth editionDescription: xiv, 1039 pagesISBN: 9781284070408Subject(s): Computer science | Logic programming | Data structures (Computer science) | Logic, Symbolic and mathematical | Computable functionsDDC classification: 005.131
Contents:
Elementary notions and notations -- Facts about functions -- Construction techniques -- Binary relations and inductive proof -- Analysis tools and techniques -- Elementary logic -- Predicate logic -- Applied logic -- Algebraic structures and techniques -- Graph theory -- Languages and automata -- Computational notions.
Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Reference Books | Main Library Reference | Reference | 005.131 HEI (Browse shelf(Opens below)) | Available | 015904 |
Total holds: 0
Browsing Main Library shelves, Shelving location: Reference, Collection: Reference Close shelf browser (Hides shelf browser)
No cover image available | ||||||||
005.131 BAL Numerical methods : with programs in BASIC, FORTRAN and Pascal | 005.131 DOE Applied discrete structures for computer science | 005.131 HEI Discrete structures, logic, and computability | 005.131 HEI Discrete structures, logic, and computability / | 005.131 MAR Introduction to languages and the theory of computation / | 005.131 PAT Computer-Related Mathematics | 005.131 WIL Mathematics for computer students |
Elementary notions and notations -- Facts about functions -- Construction techniques -- Binary relations and inductive proof -- Analysis tools and techniques -- Elementary logic -- Predicate logic -- Applied logic -- Algebraic structures and techniques -- Graph theory -- Languages and automata -- Computational notions.
There are no comments on this title.