IST 230: Language, Logic, and Discrete Mathematics