Discrete Structures Logic, and Computability
Material type: TextPublication details: New Delhi: Jones and Barlett, 2017Edition: 4th,edDescription: 1039pISBN: 9780763772062Subject(s): Computer science -- Mathematics | Logic programming | Data structures (Computer science)DDC classification: 004.0151
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 | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
General Books | Central Library, Sikkim University General Book Section | 004.0151 HEI/D (Browse shelf(Opens below)) | Available | 051196 |
Total holds: 0
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.