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

3
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 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 programacin especficos 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 el uso de Internet.
Segn Peter J. Denning, la cuestin fundamental en que se basa la ciencia de la
computacin es: "Qu puede ser (eficientemente) automatizado?".
4

ndice
1 Historia
2 Campos de las ciencias de la computacin
o 2.1 Fundamentos matemticos
o 2.2 Teora de la computacin
o 2.3 Algoritmos y estructuras de datos
o 2.4 Lenguajes de programacin y compiladores
o 2.5 Bases de datos
o 2.6 Sistemas concurrentes, paralelos y distribuidos
o 2.7 Inteligencia artificial
o 2.8 Grficos por computador
o 2.9 Computacin cientfica
3 Relacin con otros campos
4 Vase tambin
5 Referencias
6 Bibliografa
7 Enlaces externos
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.
5
Los 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.
Lenguajes de programacin y compiladores
Compiladores
Formas de traducir programas computacionales, usualmente a partir de lenguajes
de alto nivel a lenguajes de bajo nivel.
Teora de lenguajes de programacin
Lenguajes formales para expresar algoritmos y las propiedades de estos
lenguajes.
Bases de datos
Bases de datos
Estructura de datos
Minera de datos
Estudio de algoritmos para buscar y procesar informacin en documentos y
bases de datos; muy relacionada con la adquisicin de informacin.
Sistemas concurrentes, paralelos y distribuidos
Programacin concurrente
Teora y prctica de cmputos simultneos y computacin interactiva.
Redes de computadoras
Algoritmos y protocolos para comunicar eficientemente datos a travs de largas
distancias, incluye tambin la correccin de errores.
Cmputo paralelo
Computacin con el uso de mltiples computadoras y mltiples procesadores en
paralelo.
Sistemas distribuidos
Sistemas que utilizan mltiples procesadores repartidos en una gran rea
geogrfica.
Inteligencia artificial
Inteligencia artificial (IA)
La implementacin y estudio de sistemas que exhiben (ya sea por su
comportamiento o aparentemente) una inteligencia autnoma o comportamiento
propio, a veces inspirado por las caractersticas de los seres vivos. Las ciencias
de la computacin estn relacionadas con la IA, ya que el software y las
computadoras son herramientas bsicas para su desarrollo y progreso.
Razonamiento automatizado
Robtica
Algoritmos para controlar el comportamiento de los robots.
Visin por computador
Algoritmos para extraer objetos tridimensionales de una imagen bidimensional.
Aprendizaje automtico
Grficos por computador
Computacin grfica
Algoritmos tanto para generar sintticamente imgenes visuales como para
integrar o alterar la informacin visual y espacial tomada del mundo real.
Procesamiento digital de imgenes
Por ejemplo, para sensores remotos.
Geometra computacional
Por ejemplo, algoritmos veloces para seleccionar solo los puntos visibles en un
poliedro visto desde cierto ngulo, usado en motores 3D.
Computacin cientfica
Computacin cientfica
Bioinformtica
Computacin cuntica
Paradigma de computacin basado en la mecnica cuntica
Neurociencia computacional
Relacin con otros campos
Por ser una disciplina reciente, existen varias definiciones alternativas para la ciencia de
la computacin. Esta puede ser vista como una forma de ciencia, matemticas o una
nueva disciplina que no puede ser categorizada siguiendo los modelos actuales.
Las ciencias de la computacin frecuentemente se cruzan con otras reas de
investigacin, tales como la fsica y la lingstica. Pero es con las matemticas con las
que se considera que tiene un grado mayor de relacin. Eso es evidenciado por el hecho
de que los primeros trabajos en el rea fueran fuertemente influenciados por
matemticos como Kurt Gdel y Alan Turing. En la actualidad sigue habiendo un
intercambio de ideas til entre ambos campos en reas como la lgica matemtica, la
teora de categoras, la teora de dominios, el lgebra y la geometra.
Otro punto a destacar es que, a pesar de su nombre, las ciencias de la computacin
raramente involucran el estudio mismo de las mquinas conocidas como computadoras.
De hecho, el renombrado cientfico Edsger Dijkstra es muy citado por la frase "Las
ciencias de la computacin estn tan poco relacionadas con las computadoras como la
astronoma con los telescopios."
Debido a esto, se propuso buscar un nombre definido para esta ciencia emergente, que
evitara la relacin con las computadoras.
Una primera propuesta fue la de Peter Naur, que acu el trmino datologa, para
reflejar el hecho de que la nueva disciplina se ocupaba fundamentalmente del
tratamiento de los datos, independientemente de las herramientas de dicho tratamiento,
fueran computadoras o artificios matemticos. La primera institucin cientfica en
adoptar la denominacin fue el Departamento de Datologa de la Universidad de
Copenhague, fundado en 1969, y fue el propio Peter Naur el primer profesor de
datologa. Esta denominacin se utiliza principalmente en los pases escandinavos.
Asimismo, en los primeros momentos, un gran nmero de trminos aparecieron
asociados a los practicantes de la computacin. En esta lista se pueden ver los sugeridos
en las revistas y comunicados de la Association for Computer Machinery: turingeniero,
turologista, hombre de los diagramas de flujo (flow-charts-man), metamatemtico
aplicado y epistemlogo aplicado.
Tres meses ms tarde se sugiri el trmino contlogo, seguido de hiplogo al ao
siguiente.
[cita requerida]
Tambin se sugiri el trmino comptica para la
disciplina.
[cita requerida]
Informtica era, sin embargo, el trmino ms frecuentemente
usado en toda Europa.
[cita requerida]

El diseo y desarrollo de computadoras y sistemas computacionales generalmente se
considera un campo reclamado por disciplinas ajenas a las ciencias de la computacin.
Por ejemplo, el estudio del hardware suele considerarse parte de la ingeniera
informtica, mientras que el estudio de sistemas computacionales comerciales y su
desarrollo suelen denominarse tecnologas de la informacin (TI) o sistemas de
informacin. Sin embargo, hay una estrecha comunicacin de ideas entre las distintas
disciplinas relacionadas con las computadoras.
La ciencia de la computacin a menudo recibe crticas desde otros estamentos que la
consideran escasamente rigurosa y cientfica. Esta opinin se plasma en la expresin:
"La ciencia es a las ciencias de la computacin como la hidrodinmica a la
fontanera", atribuida a Stan Kelly-Bootle y otros afines.
La investigacin en ciencias de la computacin tambin suele relacionarse con otras
disciplinas, como la ciencia cognitiva, la fsica (vase computacin cuntica), la
lingstica, etctera.
La relacin entre las ciencias de la computacin y la ingeniera de software es un tema
muy discutido, por disputas sobre lo que realmente significa el trmino ingeniera de
software y sobre cmo se define a las ciencias de la computacin. Algunas personas
creen que la ingeniera de software sera un subconjunto de las ciencias de la
computacin. Otras, tomando en cuenta la relacin entre otras disciplinas cientficas y
de la ingeniera, creen que el principal objetivo de las ciencias de la computacin sera
estudiar las propiedades del cmputo en general, mientras que el objetivo de la
ingeniera de software sera disear cmputos especficos para lograr objetivos
prcticos, con lo que se convertira en disciplinas diferentes. Este punto de vista es el
que sostiene, por ejemplo, Parnas (1998). Incluso hay otros que sostienen que no podra
existir una ingeniera de software.
Los aspectos acadmicos, polticos y de financiamiento en las reas de ciencias de la
computacin tienden a verse influidos drsticamente por el criterio del departamento
encargado de la investigacin y la educacin en cada universidad, que puede estar
orientado a la matemtica o a la ingeniera.
Los departamentos de ciencias de la computacin orientados a la matemtica suelen
alinearse del lado de la computacin cientfica y las aplicaciones de clculo numrico.
El trmino computacin cientfica, que no debe confundirse con ciencia de la
computacin, designa a todas aquellas prcticas destinadas a modelar, plantear
experimentos y validar teoras cientficas sirvindose de medios computacionales. En
estos casos la computacin es una mera herramienta y el esfuerzo se dirige a avanzar en
los campos objetivo (fsica, biologa, mecnica de fluidos, radiotransmisin,...), ms que
en la propia ciencia de la computacin.
Finalmente, el pblico en general algunas veces confunde la ciencia de la computacin
con reas vocacionales que trabajan con computadoras o piensan que trata acerca de su
propia experiencia con las computadoras, lo cual suele incluir actividades como los
juegos, la navegacin web y el procesamiento de texto. Sin embargo, el punto central de
la ciencia de la computacin va ms all de entender las propiedades de los programas
que se emplean para implementar aplicaciones de software como juegos y navegadores
web, y utiliza ese entendimiento para crear nuevos programas o mejorar los existentes.
6