Las ciencias de la computación o ciencias de la informática son las ciencias

formales que abarcan las bases teóricas de la información y la computación, así

como su aplicación en sistemas computacionales.123 El cuerpo de conocimiento de las
ciencias de la computación es frecuentemente descrito como el estudio sistemático
de los procesos algorítmicos que describen y transforman información: su teoría,
análisis, diseño, eficiencia, implementación, algoritmos sistematizados y
aplicación.4 En términos más específicos se trata del estudio sistemático de la
factibilidad, estructura, expresión y mecanización de procedimientos metódicos (o
algoritmos) que subyacen en la adquisición, representación, procesamiento,
almacenamiento, comunicación y acceso a la información. La información puede estar
codificada en forma de bits en una memoria de computadora, o en algún otro objeto,
como los genes y proteínas en una célula biológica.5

Existen diversas ramas o disciplinas dentro de las ciencias de la computación;

algunos resaltan los resultados específicos del cómputo (como los gráficos por
computadora), mientras que otros (como la teoría de la complejidad computacional)
se relacionan con propiedades de los algoritmos usados al realizar cómputo; y otros
se enfocan en los problemas que requieren la implementación de sistemas
computacionales. Por ejemplo, los estudios de la teoría de lenguajes de
programación describen un cómputo, mientras que la programación de computadoras
aplica lenguajes de programación específicos para desarrollar una solución a un
problema computacional específico. Un computólogo se especializa en teoría de la
computación y en el diseño e implementación de sistemas de computacionales.6

Según Peter J. Denning, la cuestión fundamental en que se basa la ciencia de la

computación es: «¿Qué puede ser (eficientemente) automatizado?».7

Índice
1 Historia
1.1 Mayores logros
2 Filosofía
2.1 Nombre del campo
3 Campos de las ciencias de la computación
3.1 Ciencias de la computación teóricas
4 Teoría de la computación
5 Teoría de la información y códigos
6 Algoritmos y estructuras de datos
7 Teoría de lenguajes de programación
7.1 Métodos formales
8 Ciencias de la computación aplicadas
8.1 Inteligencia artificial
8.2 Arquitectura de computadoras
8.3 Análisis de rendimiento de computadoras
8.4 Cómputo científico
8.5 Redes de computadoras
8.6 Sistemas concurrentes, paralelos y distribuidos
8.7 Bases de datos
8.8 Informática en salud
8.9 Ciencia de la información
8.10 Ingeniería de software
9 Relación con otros campos
10 Véase también
11 Referencias
12 Bibliografía
13 Enlaces externos
Historia

Charles Babbage diseñó la primera computadora Turing-completa; aunque pasarían

décadas antes de que Alan Turing y otros demostraran su relevancia.

Ada Lovelace es reconocida por escribir el primer algoritmo para una computadora
universal (la "Máquina analítica" de Babbage).
La 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.8 Los primeros cimientos de lo que se convertiría
en ciencias de la computación son anteriores a la invención de la computadora
digital moderna. Se trataba de máquinas para el cálculo de las tareas numéricas
fijas, como el ábaco han existido desde la antigüedad, ayudando en cálculos tales
como la multiplicación y la división. Además, los algoritmos para realizar cálculos
han existido desde la antigüedad, incluso antes de que se crearan equipos de
computación sofisticados. Los antiguos sánscritos tratadistas Shulba Sutras, o
"Reglas de la cuerda", es un libro de algoritmos escritos en 800 a. C. para la
construcción de objetos geométricos como altares utilizando una clavija y cuerda,
un precursor temprano del campo moderno de la geometría computacional.

Blaise Pascal diseñó y construyó la primera calculadora mecánica de trabajo, la

Pascalina, en 1642.9 En 1673 Gottfried Leibniz creó una calculadora mecánica
digital, llamada Stepped Reckoner.10 Él puede ser considerado el primer computólogo
y teórico de la información, entre otras razones, porque fue el primero en
documentar el sistema numérico binario. En 1820, Charles Xavier Thomas de Colmar
lanzó la calculadora mecánica industrial11 cuando lanzó su simplificado
aritmómetro, que fue la primera máquina de calcular lo suficientemente fuerte y lo
suficientemente fiable para ser usada a diario en un entorno industrial. Charles
Babbage inició el diseño de la primera calculadora automática mecánica, su máquina
diferencial, en 1822, que finalmente le dio la idea de la primera calculadora
mecánica programable, su máquina analítica.12 Él comenzó a desarrollar esta máquina
en 1834 y "en menos de dos años que había esbozado muchas de las características
más destacadas del moderno equipo. Un paso fundamental fue la adopción de un
sistema de tarjetas perforadas derivado del telar de Jacquard"13 haciéndolo
infinitamente programable.14 En 1843, durante la traducción de un artículo francés
sobre la máquina analítica, Ada Lovelace escribió, en una de las muchas notas que
incluye el artículo, un algoritmo para calcular los números de Bernoulli, que es
considerado como el primer programa de ordenador.15 Alrededor de 1885, Herman
Hollerith inventó la máquina tabuladora, que usaba tarjetas perforadas para
procesar información estadística; finalmente, su compañía se convirtió en parte de
IBM. En 1937, cien años después del sueño imposible de Babbage, Howard Aiken
convencidos por IBM, que estaban manufacturando todo tipo de equipos de tarjetas
perforadas y así como la calculadora de negocio 16 para desarrollar su calculadora
programable gigante, el ASCC/Harvard Mark I, se basó en la máquina analítica de
Babbage, que a su vez utiliza las tarjetas perforadas y una unidad central de
cálculo. Cuando se terminó de construir la máquina, algunas personas lo aclamaron
como «el sueño de Babbage hecho realidad».17