Sets, logic and maths for computing

DOI10.1007/978-1-84628-845-6zbMath1177.00014OpenAlexW4302561361MaRDI QIDQ5900029

David Makinson

Publication date: 28 May 2008

Published in: Undergraduate Topics in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-84628-845-6

zbMATH Keywords

basics of maths, sets, relation, functions, recursion, combinatorics, probability, trees, logic

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to probability theory (60-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Mathematics for nonmathematicians (engineering, social sciences, etc.) (00A06) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to combinatorics (05-01)

Related Items (1)

Beth definability, interpolation and language splitting

This page was built for publication: Sets, logic and maths for computing