Mathematics of Discrete Structures for Computer Science

DOI10.1007/978-3-642-29840-0zbMath1254.68001OpenAlexW4229954518MaRDI QIDQ2907532

Gordon J. Pace

Publication date: 10 September 2012

Full work available at URL: https://doi.org/10.1007/978-3-642-29840-0

zbMATH Keywords

discrete mathematicslogicsreasoning about programssets, relations

Mathematics Subject Classification ID

General topics of discrete mathematics in relation to computer science (68R01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Logic in computer science (03B70) Mathematics for nonmathematicians (engineering, social sciences, etc.) (00A06) General topics in the theory of computing (68Q01)

This page was built for publication: Mathematics of Discrete Structures for Computer Science