(Undergraduate Topics in Computer Science) 3rd ed. 2020 Edition
David Makinson (Author)
This easy-to-follow book introduces the mathematical language, knowledge and problem-solving skills needed for the study of computing. The language is both qualitative and quantitative, and includes basic notions of logic used for representation and proof.
