Estudo matemático da computação, dos computadores e do processamento de informação