cs1120: Introduction to Computing - Explorations in Language, Logic, and Machines