I take a real dim view of teaching “mathematically pure” CS to beginning students. You don’t start riding a motorcycle by doing experiments with gryroscopes in a lab; you listen to an instructor, get on the damned thing and learn to ride in a safe environment. Save mathematical purity for after you get ‘em hooked.