Ciencias Computacionales

a historia de la ciencia de la computación antecede a la invención del computador digital moderno. Antes de la década de 1920, el término computador se refería a un ser humano que realizaba cálculos.5 Los primeros investigadores en lo que después se convertiría las ciencias de la computación estaban interesados en la cuestión de la computabilidad: qué cosas pueden ser computadas por un ser humano que simplemente siga una lista de instrucciones con lápiz y papel, durante el tiempo que sea necesario, con ingenuidad y sin conocimiento previo del problema. Parte de la motivación para este trabajo era el desarrollar máquinas que computaran y que pudieran automatizar el tedioso y falible trabajo de la computación humana.

Durante la década de 1940, conforme se desarrollaban nuevas y más poderosas máquinas para computar, el término computador se comenzó a utilizar para referirse a las máquinas y ya no a sus antecesores humanos. Conforme iba quedando claro que las computadoras podían usarse para más cosas que solamente cálculos matemáticos, el campo de la ciencia de la computación se fue ampliando para estudiar a la computación (informática) en general. La ciencia de la computación comenzó entonces a establecerse como una disciplina académica en la década de 1960, con la creación de los primeros departamentos de ciencia de la computación y los primeros programas de licenciatura (Denning 2000).

Campos de las ciencias de la computación[editar · editar código]

Fundamentos matemáticos[editar · editar código]

Criptografía

Consta de algoritmos para proteger datos privados, incluido el cifrado.

Teoría de grafos

Recursos elementales para las estructuras de almacenamiento de datos y para los algoritmos de búsqueda.

Lógica matemática

La lógica matemática estudia los sistemas formales en relación con el modo en el que se codifican nociones intuitivas de objetos matemáticos como conjuntos, números, demostraciones y computación.

Teoría de tipos

Análisis formal de los tipos de datos y el uso de estos para entender las propiedades de los programas, en particular la seguridad de estos.

Teoría de la computación[editar · editar código]

Teoría de la computación

Teoría de autómatas

Teoría de la computabilidad

Teoría de la complejidad computacional

Límites fundamentales (en especial de espacio en memoria y tiempo) de los cómputos.

Algoritmos y estructuras de datos[editar · editar código]

Análisis de algoritmos

Algoritmos

Procesos formales usados para los cómputos, y eficiencia de estos procesos.

Estructuras de datos

Organización y manipulación de los datos

Lógica y computabilidad

estudio de diferentes tipos de lógicas, su poder expresivo, decidibilidad, aplicaciones.

...