Mathematics of Discrete Structures for Computer Science by Gordon J. Pace.
Material type: TextPublication details: New York : Springer : 2012Description: 293 pISBN: 9783642298400Subject(s): Computer science | Information theory | Logic, Symbolic and mathematical | Computer Science | Mathematics of Computing | Theory of Computation | Mathematical Logic and FoundationsDDC classification: 005.131
Contents:
Why Mathematics? -- Propositional Logic -- Predicate Calculus -- Sets -- Relations -- Classifying Relations -- More Discrete Structures -- Defining New Structured Types -- Numbers -- Reasoning About Programs -- Index.
Item type | Current library | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
General Books | Central Library, Sikkim University General Book Section | 005.131 PAC/M (Browse shelf(Opens below)) | Available | P30809 |
Total holds: 0
Browsing Central Library, Sikkim University shelves, Shelving location: General Book Section Close shelf browser (Hides shelf browser)
No cover image available | ||||||||
005.131 HOP/I Introduction to automata theory, languages, and computation/ | 005.131 HOP/I Introduction to automata theory, languages, and computation/ | 005.131 MED/F Formal languages and computation: models and their applications/ | 005.131 PAC/M Mathematics of Discrete Structures for Computer Science | 005.131 SIL/C Cellular automata and groups/ | 005.133 BAL/O Object-oriented programming with C++ / | 005.133 BAL/O Object oriented programming with C++/ |
Why Mathematics? -- Propositional Logic -- Predicate Calculus -- Sets -- Relations -- Classifying Relations -- More Discrete Structures -- Defining New Structured Types -- Numbers -- Reasoning About Programs -- Index.
There are no comments on this title.