Computer Science is an example of a formal science:
http://en.wikipedia.org/wiki/Formal_science
Or, in parts, an applied science:
http://en.wikipedia.org/wiki/Formal_science
Or, in parts, an applied science:
And theoretical computer science is a branch of mathematics. It's as much science as math is.