Discrete structures, logic, and computability / James L. Hein
Material type:
TextPublication details: Burlington, MA : Jones & Bartlett Learning, c2013Edition: Third editionDescription: xiv, 1009 pages : 22 cmISBN: 9789380108391Subject(s): COMPUTER SCIENCE -- MATHEMATICS | LOGIC PROGRAMMING | DATA STRUCTURES (COMPUTER SCIENCE) | LOGIC, SYMBOLIC AND MATHEMATICAL | COMPUTER FUNCTIONSLOC classification: QA 76.9.M35 .H45 [2013]
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.
Books
| Item type | Current library | Home library | Collection | Shelving location | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|---|---|
|
Books
|
LRC - Main | National University - Manila | Computer Science | General Circulation | GC QA 76.9.M35 .H45 [2013] (Browse shelf (Opens below)) | c.1 | Available | NULIB000009755 |
Browsing National University - Manila shelves, Shelving location: General Circulation, Collection: Computer Science Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available | No cover image available |
|
|
|
|
||
| GC QA 76.9.M35 .D57 1998 c.1 Discrete mathematics - CS218: study guide / | GC QA 76.9.M35 .D57 1998 c.2 Discrete mathematics - CS218: study guide / | GC QA 76.9.M35 .D57 1998 c.3 Discrete mathematics - CS218: study guide / | GC QA 76.9.M35 .H45 [2013] Discrete structures, logic, and computability / | GC QA 76.9.M35 .S74 2011 CMSC 150 discrete mathematics for computer scientists / | GC QA 76.9.M65 .R49 2012 Ethics in information technology / | GC QA 76.9.S88 .H48 1997 c.2 Computer systems design and architecture / |
Includes bibliographical references and index.
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.