Ciencias de la computacin Las ciencias de la computacin o ciencias computacionales son aquellas que abarcan las bases tericas de la informacin

y la computacin, as como su aplicacin en sistemas computacionales.1 2 3Existen 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 la complejidad computacional) se relacionan con propiedades de los algoritmos usados al realizar cmputos y otros se enfocan en los problemas que requieren la implementacin de cmputos. Por ejemplo, los estudios de la teora de lenguajes de programacin describen un cmputo, mientras que la programacin de computadoras aplica lenguajes de programacinespecficos para desarrollar una solucin a un problema computacional especfico. La informtica se refiere al tratamiento automatizado de la informacin de una forma til y oportuna. No se debe confundir el carcter terico de esta ciencia con otros aspectos prcticos como Internet. Segn Peter J. Denning, la cuestin fundamental en que se basa la ciencia de la computacin es: "Qu puede ser (eficientemente) automatizado?".4 Historia La historia de la ciencia de la computacin antecede a la invencin del computador digital moderno. Antes de la dcada de 1920, el trmino computador se refera a un ser humano que realizaba clculos.5Los primeros investigadores en lo que despus se convertira las ciencias de la computacin estaban interesados en la cuestin de la computabilidad: qu cosas pueden ser computadas por un ser humano que simplemente siga una lista de instrucciones con lpiz y papel, durante el tiempo que sea necesario, con ingenuidad y sin conocimiento previo del problema. Parte de la motivacin para este trabajo era el desarrollar mquinas que computaran y que pudieran automatizar el tedioso y falible trabajo de la computacin humana. Durante la dcada de 1940, conforme se desarrollaban nuevas y ms poderosas mquinas para computar, el trmino computador se comenz a utilizar para referirse a las mquinas y ya no a sus antecesores humanos. Conforme iba quedando claro que las computadoras podan usarse para ms cosas que solamente clculos matemticos, el campo de la ciencia de la computacin se fue ampliando para estudiar a la computacin (informtica) en general. La ciencia de la computacin comenz entonces a establecerse como una disciplina acadmica en la dcada de 1960, con la creacin de los primeros departamentos de ciencia de la computacin y los primeros programas de licenciatura (Denning 2000). Campos de las ciencias de la computacin Fundamentos matemticos Criptografa Consta de algoritmos para proteger datos privados, incluido el cifrado. Teora de grafos

Recursos elementales para las estructuras de almacenamiento de datos y para los algoritmos de bsqueda. Lgica matemtica La lgica matemtica estudia los sistemas formales en relacin con el modo en el que se codifican nociones intuitivas de objetos matemticos como conjuntos, nmeros, demostraciones y computacin. Teora de tipos Anlisis formal de los tipos de datos y el uso de estos para entender las propiedades de los programas, en particular la seguridad de estos. Teora de la computacin Teora de la computacin Teora de autmatas Teora de la computabilidad Teora de la complejidad computacional Lmites fundamentales (en especial de espacio en memoria y tiempo) de los cmputos. Algoritmos y estructuras de datos Anlisis de algoritmos Algoritmos Procesos formales usados para los cmputos, y eficiencia de estos procesos. Estructuras de datos Organizacin y manipulacin de los datos Lgica y computabilidad estudio de diferentes tipos de lgicas, su poder expresivo, decidibilidad, aplicaciones. Especificacin Desarrollo de mtodos para definir formalmente (matemtica y lgicamente) el comportamiento esperado de un algoritmo, para luego probar terminacin y correctitud.