Sets, logic and maths for computing

zbMath1239.00011MaRDI QIDQ5895536

David Makinson

Publication date: 14 March 2012

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

zbMATH Keywords

setscombinatoricsprobabilityrecursiontreesrelationlogicfunctionbasics of maths

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 (2)

Generalizing Parikh’s Criterion for Relevance-Sensitive Belief Revision ⋮ On the divergence of time-dependent perturbation theory applied to laser-induced molecular transitions: analytical calculations for the simple algorithm

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