the branch of engineering science that studies (with the aid of computers) computable processes and structures

the procedure of calculating; determining something by mathematical or logical methods