I always tell my students that computer science the special subset of math that that is coincidentally "easily" executable on a computer. This subsumes finite

I always tell my students that computer science the special subset of math that that is coincidentally "easily" executable on a computer. This subsumes finite structures, parseable Problem descriptions, structured formulas, formalized algorithms, etc.