Sets, Logic and Maths for Computing av David Makinson

Boken "Sets, Logic and Maths for Computing" tilbyr en lettfattelig innføring i den matematisk språket og de problemløsingsverktøyene som er avgjørende for alle som ønsker å begi seg inn i datavitenskapens og informasjonsvitenskapens verden. Med et spesielt fokus på studenter som kan føle seg usikre på matematikk, presenterer boken emner på en konsis og engasjerende måte. Den grundig reviderte tredje utgaven inneholder et nytt kapittel om relevansfølsomhet i logisk resonnement, samt mange ekstra forklaringer på områder der studenter ofte opplever forvirring. Dette inkluderer en omtale av begrunnelsen for ulike forkortede måter å uttrykke seg på, samt 'misforståelser' som kan oppstå fra praktiske, men potensielt forvirrende, språklige uttrykk. For første gang tilbys også løsninger for alle oppgaver i boken. Hovedtemaene som dekkes inkluderer en intuitiv tilnærming til hvordan endelig matematikk gir et verdifullt språk for å tenke rundt databehandling, samt en utforskning av mengder og de matematiske objektene som er bygget rundt dem, som relasjoner og funksjoner, ytterligere inndykking i rekursive metoder og induksjon.