Discrete structures, logic, and computability / James L. Hein
Material type:
- 9789380108391
- QA 76.9.M35 .H45 [2013]

Item type | Current library | Home library | Collection | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|---|---|
![]() |
National University - Manila | LRC - Main General Circulation | Computer Science | GC QA 76.9.M35 .H45 [2013] (Browse shelf(Opens below)) | c.1 | Available | NULIB000009755 |
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.