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.