Science and technique of data elaboration and of automatic treatment of information.
Theoretical study of the formal foundation enabling the automated processing or computation of information, for example on a computer or over a data transmission network.