Las ciencias de la computacin o ciencias computacionales son aquellas que abarcan
las bases tericas de lainformacin y la computacin, as como su aplicacin en sistemas
computacionales.1 2 3 El cuerpo de conocimiento de las ciencias de la computacin es frecuentemente descrito como el estudio sistemtico de los procesos algortmicos que describen y transforman informacin: su teora, anlisis, diseo, eficiencia, implementacin y aplicacin.4 Es el estudio sistemtico de la factibilidad, estructura, expresin y mecanizacin de procedimientos metdicos (o algoritmos) que subyacen en la adquisicin, representacin, procesamiento, almacenamiento, comunicacin y acceso a la informacin si dicha informacin est codificada en forma de bits en una memoria de computadora o especificada en una estructura de genes y protenas en una clula biolgica.5 Existen diversos campos o disciplinas dentro de las ciencias de la computacin o ciencias computacionales; algunos resaltan los resultados especficos del cmputo (como los grficos por computadora), mientras que otros (como la teora de lacomplejidad computacional) se relacionan con propiedades de los algoritmos usados al realizar cmputo y otros se enfocan en los problemas que requieren la implementacin de sistemas computacionales. Por ejemplo, los estudios de la teora de lenguajes de programacin describen un cmputo, mientras que la programacin de computadoras aplica lenguajes de programacin especficos para desarrollar una solucin a un problema computacional especfico. Un cientfico de la computacin o computlogo se especializa en teora de la computacin y en el diseo e implementacin de sistemas de computacionales.6 Segn Peter J. Denning, la cuestin fundamental en que se basa la ciencia de la computacin es: Qu puede ser (eficientemente) automatizado?.7