Ciência da computação é o estudo dos
algoritmos e suas aplicações, bem como das estruturas matemáticas indispensáveis à formulação
precisa dos conceitos fundamentais da teoria da computabilidade e da computação aplicada. Desempenha por isso um papel importante na área de ciência da computação a formalização matemática de
algoritmos,
como forma de representar
problemas decidíveis, i.e,. os que são
susceptíveis de redução a operações elementares básicas, capazes de
serem reproduzidas através de um qualquer dispositivo
mecânico/eletrônico capaz de armazenar e manipular dados. Um destes
dispositivos é o computador digital, de uso generalizado, nos dias de hoje, pelo custo reduzido dos componentes eletrônicos que formam o seu hardware.
Os estudos oriundos da Ciência da Computação podem ser aplicados em qualquer área do conhecimento humano em que seja possível definir métodos de resolução de problemas baseados em repetições previamente observadas.