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
Browsing Central Library, Sikkim University shelves, Shelving location: General Book Section Close shelf browser (Hides shelf browser)
004 WYR/N Novell Netware 6.5 CNA/ | 004 WYR/N Novell Netware 6.5 CNA/ | 004.01 MIS/T Theory of Computer Science: Automata, Languages and Computation | 004.0151 HEI/D Discrete Structures Logic, and Computability | 004.0151 OSE/A Advances in research methods for information systems research: Data mining, data envelopment analysis value focused thinking / | 004.019 CAR/H Human-computer interaction in the new millennium/ | 004.019 KIM/H Human-computer interaction: fundamentals and practice / |
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.