What is Norman Gibbs and Allen Tucker's definition of computer science?

Computer Science is the study of algorithms, including

1 )Their formal and mathematical properties

2 )Their hardware realizations

3 )Their linguistic realizations

4 )Their Applications