Ciencias de la computacin

Las Ciencias de la computacin estudian los fundamentos tericos de la informacin y el cmputo,

junto con tcnicas prcticas para la implementacin y aplicacin de estos fundamentos tericos.

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 23 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
lainformacin 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 la complejidad
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 aplicalenguajes 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
ndice
[ocultar]

1 Historia
o

1.1 Mayores logros

2 Filosofa
o

2.1 Desambiguacin
3 Campos de las ciencias de la computacin

3.1 Ciencias de la computacin tericas

3.2 Teora de la computacin

3.3 Teora de la informacin y cdigos

3.4 Algoritmos y estructuras de datos

3.5 Teora de lenguajes de programacin

3.6 Mtodos formales

3.7 Ciencias de la computacin aplicadas

3.8 Inteligencia artificial

3.9 Arquitectura de computadoras

3.10 Anlisis de rendimiento de computadoras

3.11 Cmputo cientfico

3.12 Redes de computadoras

3.13 Sistemas concurrentes, paralelos y distribuidos

3.14 Bases de datos

3.15 Informtica en salud

3.16 Ciencia de la informacin

3.17 Ingeniera de software

4 Relacin con otros campos

5 Vase tambin

6 Referencias

7 Bibliografa

8 Enlaces externos

Historia[editar]

Charles Babbage es reconocido por inventar la primera computadora mecnica.

Ada Lovelace es reconocida por escribir el primer algoritmo procesado por una computadora.

La historia de la ciencia de la computacin antecede a la invencin delcomputador digital

moderno. Antes de la dcada de 1920, el trminocomputador se refera a un ser humano
que realizaba clculos.8 Los primeros cimientos de lo que se convertira en ciencias de la
computacin son anteriores a la invencin de la computadora digital moderna. Se trataba
de mquinas para el clculo de las tareas numricas fijas, como el baco han existido
desde la antigedad, ayudando en clculos tales como la multiplicacin y la divisin.
Adems, los algoritmos para realizar clculos han existido desde la antigedad, incluso
antes de que se crearan equipos de computacin sofisticados. Los antiguos snscritos
tratadistas Shulba Sutras, o "Reglas de la cuerda", es un libro de algoritmos escritos en
800 a. C. para la construccin de objetos geomtricos como altares utilizando una clavija y
cuerda, un precursor temprano del campo moderno de la geometra computacional.
Blaise Pascal dise y construyo la primera calculadora mecnica de trabajo, la Pascalina,
en 1642.9 En 1673 Gottfried Leibniz cre una calculadora mecnica digital, llamada el
'Stepped Reckoner'.10 l puede ser considerado el primer computlogo y terico de la
informacin, entre otras razones, porque fue el primero en documentar el sistema
numrico binario. En 1820, Charles Xavier Thomas de Colmar lanz la calculadora
mecnica industrial11 cuando lanz su simplificado aritmmetro, que fue la primera
mquina de calcular lo suficientemente fuerte y lo suficientemente confiable para ser usada
a diario en un entorno industrial. Charles Babbage inici el diseo de la

primera calculadora automtica mecnica, su mquina diferencial, en 1822, que finalmente

le dio la idea de la primera calculadora mecnica programable, su mquina analtica.12 l
comenz a desarrollar esta mquina en 1834 y "en menos de dos aos que haba
esbozado muchas de las caractersticas ms destacadas del moderno equipo. Un paso
fundamental fue la adopcin de un sistema de tarjetas perforadas derivado deltelar de
Jacquard"13 hacindolo infinitamente programable.14 En 1843, durante la traduccin de un
artculo francs sobre la mquina analtica, Ada Lovelace escribi, en una de las muchas
notas que incluye el artculo, un algoritmo para calcular los nmeros de Bernoulli, que es
considerado como el primer programa de ordenador.15 Al rededor de 1885, Herman
Hollerith invent la mquina tabuladora, que usaba tarjetas perforadas para procesar
informacin estadstica; finalmente, su compaa se convirti en parte de IBM. En 1937,
cien aos despus del sueo imposible de Babbage, Howard Aikenconvencidos 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 mquina analtica de Babbage, que a su vez utiliza
las tarjetas perforadas y una unidad central de clculo. Cuando se termin de construir la
mquina, algunas personas lo aclamaron como "el sueo de Babbage hecho realidad". 17
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.18 Cuando se hizo evidente que las computadoras no
solamente podran utilizarse para realizar clculos matemticos, el campo de las ciencias
de la computacin se ampli para estudiarcmputo en general. Las ciencias de la
computacin empezaron a establecerse como una disciplina acadmica distinta de las
dems en la dcada de 1950 y principios de 1960.7 19 Entonces surgi el primer programa
de grado universitario mundo, el Cambridge Diploma in Computer Science, se inici en
la Universidad de Cambridge en el Cambridge Computer Lab (departamento de ciencias
de la computacin) en 1953. El primer programa de grado universitario en ciencias de la
computacin en los Estados Unidos se form en Universidad de Purdue en 1962.20 Desde
que se dispone ordenadores prcticos, muchas aplicaciones la computacin se han
convertido en las distintas reas de estudio en sus propios trminos.
La disciplina cientfica de las ciencias de la computacin nace a principios de 1940 con la
confluencia de la teora de algoritmos, lgica matemtica y la invencin del programa
almacenado en una computadora electrnica.4 Ejemplos de esto son los trabajos de Alan
Turing, Alonzo Church y Kurt Gdel en 1930acerca de los algoritmos y su trabajo en
sistemas de reglas (vase Clculo Lambda, Mquina de Turing yProblemas Indecidibles),
los algoritmos creados por Augusta Ada sesenta aos antes, la computadora analgica
construida por Vannevar Bush en 1920 y las computadoras elctricas construidas
por Howard Aiken y Konrad Zuse en 1930. Los escritos de John Von Neumann dieron una
profundidad intelectual considerable a esta disciplina emergente a mediados de la dcada
de 1940.
En 1960, haba suficientemente cuerpo de conocimiento que ameritaba la creacin de
departamentos acadmicos y programas de grado universitario para esta
disciplina.4 IBM es reconocida como la marca que form parte de la revolucin de las
ciencias de la computacin durante ese tiempo. IBM (abreviacin de International Business
Machines) lanz la IBM 70421 y ms tarde la IBM 70922 computadoras, que fueron
ampliamente utilizadas durante el perodo de exploracin de este tipo de dispositivos. "Sin
embargo, el trabajo con la IBM [equipo] era frustrante ... si te equivocas en una letra de
alguna instruccin, el programa se arruinara, y se tendra que empezar todo el proceso
otra vez".23 Durante la dcada de 1950, la disciplina de las ciencias de la computacin
estaba en su etapa de desarrollo, y estos problemas eran algo comn. El tiempo ha dado
mejoras significativas en la capacidad de uso y la eficacia de la tecnologa de la
computacin. La sociedad moderna ha presenciado un cambio significativo en los usuarios
de la tecnologa en cmputo, de ser utilizada nicamente por expertos, profesionales y
cientficos, a una base de usuarios que es casi omnipresente a la teora con la cual se
desarroll y funciona este tipo de tecnologa. Inicialmente, las computadoras eran bastante
costosas, y era necesario un cierto grado de ayuda humana para el uso eficiente - en parte

de operadores de computadoras profesionales. Como la adopcin equipo se hizo ms

generalizado y asequible, se necesitaba menos asistencia humana en el uso comn.

Mayores logros[editar]

El ejrcito alemn uso la mquina enigma durante la Segunda Guerra Mundial; su sistema de
cifrado fue finalmente descubierto y la lectura de la informacin que contenan los mensajes
supuestamente encriptados es considerado, a veces, como la causa de haber podido concluir la
Segunda Guerra Mundial al menos dos aos antes de lo que hubiera acaecido sin su descifrado. El
descifrado a gran escala del trfico de Enigma enBletchley Park fue uno de los factores ms
importantes que contribuyeron a la victoria Aliada. 24

A pesar de su corto tiempo de ser una disciplina cientfica formal, las ciencias de la
computacin han hecho un gran nmero de contribuciones importantes a la ciencia y
la sociedad de hecho, junto con la electrnica, es una ciencia fundacional de la poca
actual de la historia humana llamada Era de la informacin y laRevolucin de la
Informacin, visto como el tercer gran salto en el progreso tecnolgico humano despus de
la Revolucin Industrial(1750-1850) y la revolucin neoltica (8000-5000 a. C.).
Estas contribuciones a la humanidad incluyen:

El comienzo de la "Revolucin digital", la cual incluye la actualEra de la

informacin y el Internet.25

Una definicin formal de computacin y computabilidad, y una demostracin formal

de que existen problemas que son computacionalemente irresolubles e intratables.26

El concepto de lenguaje de programacin, una herramienta para la expresin

precisa de informacin metodolgica a varios niveles de abstraccin.27

En criptologa, el criptoanlisis de Enigma fue un factor importante, el cual

contribuy a la victoria Aliada en la Segunda Guerra Mundial. 24

Cmputo Cientfico permiti la evaluacin de procesos y situaciones de

gran complejidad, as como la experimentacin mediante software. Tambin permiti el
avance en investigacin de la mente humana y el mapeo del genoma humano junto
el Proyecto Genoma Humano.25 proyectos deCmputo Distribuido tales
como Folding@home que estudiaron el plegamiento de protenas.

El Comercio algortmico ha incrementado la eficiencia y la liquidez de los mercados

financieros mediante tcnicas de inteligencia artificial, aprendizaje automtico, y otros
mtodos estadsticos ynumricos a gran escala.28 Alta frecuencia de comercio
algortmico tambin puede exacerbar la volatilidad financiera. 29

Computacin grfica e imgenes generadas por computadora se han convertido

omnipresentes en la era moderna del entretenimiento, sobre todo
en televisin, cine, publicidad, animacin y videojuegos.[cita requerida]

Simulacin de varios procesos, incluyendo dinmica de fluidos computacionales,

sistemas fsicos, elctricos, electrnicos y de circuitos, as como las sociedades y las
situaciones sociales (sobre todo juegos de guerra), junto con sus hbitats, entre
muchos otros. Las computadoras modernas permiten la optimizacin de diseos tales
como aviones completos. Se destaca el diseo de circuitos elctricos y electrnicos
con SPICE, as como software para la realizacin fsica de nuevos diseos. Este
ltimo incluye software de diseo esencial para circuito integrados.

La Inteligencia artificial (IA) es cada vez ms importante, ya que se hace ms

eficiente y compleja. Existen muchas aplicaciones de la IA, algunas se pueden ver en
el hogar, tales como aspiradores robticos. Tambin est presente en los videojuegos
y en el campo de batalla moderno en aviones no tripulados, sistemas antimisiles, y
robots de apoyo para escuadrones.

Filosofa[editar]
Un gran nmero de cientficos de la computacin han argumentado a favor de la distincin
de tres paradigmas diferentes en ciencias de la computacin. Peter Wegner ha
argumentado que esos paradigmas son la ciencia, la tecnologa y las matemticas. 30 El
grupo de investigacin de Peter Denningargument que son la abstraccin (modelado), y
diseo. Amnon H. Eden lo describe como el paradigma racionalista (el cual trata a las
ciencias de la computacin como una rama de las matemticas, la cual prevalence en
ciencias de la computacin terica y principalmente emplea el razonamiento deductivo), el
paradigma tecnocrtico (que podra ser encontrado en enfoques ingenieriles, ms
prominente en laingeniera de software) y el paradigma cientfico (que se enfoca a objetos
relacionados con la computacin desde la perspectiva emprica de las ciencias
naturales identificable en algunas ramas de lainteligencia artificial.

Desambiguacin[editar]

El trmino ciencias de la computacin aparece en 1959 en un artculo de la

revista Communications of the ACM (prestigiada publicacin cientfica destinada a lectores
con experiencia en todos los mbitos de la computacin y los sistemas de
informacin),31 en el cual Louis Fein discute sobre la creacin de una Escuela de Estudios
de Posgrado en Ciencias Computacionales anloga a la creacin de Harvard Business
School en 1921,32 justificando el nombre con el argumento de que: Como la ciencia
administrativa, el tema o rea de conocimiento puede ser aplicado, es de carcter
interdisciplinario y que cuenta con las caractersticas tpicas de una disciplina
acadmica.33 Sus esfuerzos y los de otros, como el analista numrico George Forsythe,
fueron recompensados : universidades pasaron a crear este tipo de programas de estudio,
a partir de 1962 en Purdue.34 A pesar del nombre de esta disciplina acadmica, una
cantidad significativa de tpicos en ciencias de la computacin no involucran el estudio de
las computadoras, por esta razn muchos nombres alternativos han sido propuestos. 35
Algunos departamentos de universidades prefieren el trmino ciencias de la computacin
para hacer nfasis en esta diferencia. El cientfico dans Peter Naur sugiri el
trmino datologa,36 para reflejar el hecho de que esta disciplina cientfica gira en torno a
los datos y a al tratamiento de estos, mientras que no necesariamente involucra a las
computadoras. La primer institucin cientfica en usar el trmino fue el Departamento de
Datologa de la Universidad de Copenhague, fundado en 1969, con Peter Naur como
profesor de datologa. El trmino es usado en pases escandinavos. En los primeros aos
de la computacin, un nmero de terminus para los practicantes del campo de la
computacin fueron propuestos en la revista Communications of the
ACM turingeniero, turologo, hombre de los diagramas de flujo, matemtico metaaplicado, and epistemologo aplicado.37 Tres meses despus en esa misma publicacin
cientfica, el trmino computlogo fue sugerido. El siguiente ao en la misma publicacin
surgi el trmino hypologo.38 El trmino computica tambin ha sido sugerido.39 En Europa,
trminos derivados de traducciones de la expresin "automatic information" (e.g.
"informazione automatica" en Italiano) or "informacin y matemticas son frecuentemente
usados, e.g. informatique (francs),Informatik (alemn), Informatica (Italia, Pases
Bajos), Informtica (Espaa y Portugal), informatika(lenguas eslavas)
o pliroforiki (, que significa informtica) en Griego. Palabras similares han sido
adoptadas en algunos lugares del Reino Unido, por ejemplo en la Universidad de
Edimburgo.40 Pero estas no reflejan el aspecto de la computabilidad, por esta razn en un
contexto de investigacin cientfica tanto acadmica como industrial el trmino ciencias de
la computacin es mayormente usado en publicaciones y conferencias cientficas.

Campos de las ciencias de la computacin[editar]

Como disciplina cientfica, las ciencias de la computacin abarcan una gama de temas,
desde los estudios tericos de los algoritmos y los lmites de la computacin a los
problemas prcticos de la implementacin de sistemas computacionales en hardware y
software.41 42 Computing Sciences Acreditation Board o la Junta de Acreditacin en
Ciencias de la Computacin. Compuesta por representantes de la Association for
Computing Machinery (ACM), y la Sociedad de Computacin IEEE(IEEE-CS) 43 identifica
cuatro reas que considera cruciales para la disciplina de ciencias de la
computacin: teora de la computacin, algoritmos y estructuras de datos, metodologa y
lenguajes de programacin, arquitectura de computadoras. Adems de estas cuatro reas,
C.S.A.B. tambin identifica mbitos como la ingeniera de software, inteligencia
artificial, redes de computadoras y detelecomunicaciones, sistemas de bases de
datos, computacin paralela, computacin distribuida, lainteraccin personacomputador, grficos por ordenador, sistemas operativos, clculo numrico y simblico
siendo importantes reas de las ciencias de la computacin.41
Ciencias de la computacin tericas[editar]
El campo ms amplio de la ciencia de la computacin terica abarca tanto la teora clsica
de la computacin y una amplia gama de otros temas que se centran en los aspectos ms
abstractos, lgicos y matemticos de la computacin.

Teora de la computacin[editar]
Artculo principal: Teora de la computacin

De acuerdo a Peter J. Denning, la pregunta fundamental en ciencias de la computacin es,

Que puede ser eficientemente automatizado?7 El estudio de la teora de la
computacin esta enfocado en responder preguntas fundamentales acerca de que puede
ser computado y que cantidad de recursos son requeridos para ejecutar tales cmputos.
En un esfuerzo por resolver esta pregunta, la teora de la computabilidad examina que
problemas computacionales se pueden resolver en varios modelos tericos de cmputo.
La segunda pregunta est dirigida por la teora de la complejidad computacional, que
estudia los costos de tiempo y espacio asociados a diferentes enfoques para resolver una
multitud de problemas computacionales.
El famoso problema "P=NP?" es uno de los Problemas del milenio,44 es un problema
abierto en ciencias de la computacin.

Teoria de automatas

Teoria de la
computabilidad

P = NP ?

GNITIRWTERCES

Teoria de la
complejidad
computacional

Criptografa

Computacin
cuntica

Teora de la informacin y cdigos[editar]

Artculos principales: Teora de la informacin y Teoria de cdigos.

La teora de la informacin esta relacionada a la cuantificacin de la informacin. Fue

desarrollada porClaude E. Shannon para desarrollar los lmites fundamentales del
procesamiento de seales as como sus operaciones, tales como compresin y
almacenamiento de datos as como la comunicacin de los datos de manera fiable. 45 La
teora de cdigos es el estudio de las propiedades de los cdigos (sistemas para
conversin de informacin de un lugar a otro) y su ajuste para una aplicacin especfica.
Los cdigos son usados para comprimir datos, criptografa, deteccin y correccin de
errores y ms recientemente para la codificacin de redes. Los cdigos son estudiados
para el propsito de disear mtodos eficientes y seguros para la transmisin de datos.

Algoritmos y estructuras de datos[editar]

Artculos principales: Anlisis de algoritmos y Teora de cdigos.

Los algoritmos y las estructuras de datos son el estudio de mtodos computacionales

comnmente usados as como su eficiencia computacional.

Anlisis de

Algoritmos

Estructuras de

Optimizacin

Geometra

algoritmos

datos

combinatoria

computacional

Teora de lenguajes de programacin[editar]

Artculo principal: Teora de lenguajes de programacin

La teora del lenguaje de programacin es una rama de las ciencias de la computacin que
se ocupa del diseo, implementacin, anlisis, caracterizacin y clasificacin de
los lenguaje de programacin y sus caractersticas individuales, cae dentro de la disciplina
de las ciencias de la computacin, tanto en dependencia de las matemticas y
la lingstica. Es un rea de investigacin activa, con numerosas revistas acadmicas y
conferencias especializadas en el tema.

Teora de tipos

Compiladores

Lenguajes de programacin

Mtodos formales[editar]
Artculo principal: Mtodos formales

Los mtodos formales son un tipo particular de la tcnica basada en las matemticas para
laespecificacin formal, desarrollo y verificacin formal de los sistemas de software y
hardware. El uso de mtodos formales para el diseo de software y hardware est
motivado por la expectativa de que, como en otras disciplinas de la ingeniera, la
realizacin de un anlisis matemtico adecuado puede contribuir a la fiabilidad y robustez
de un diseo. Estos forman una importante base terica para la ingeniera de software,
especialmente cuando est involucrado la seguridad o robustez. Los mtodos formales
son un complemento til para las pruebas de software, ya que ayudan a evitar errores y
tambin pueden dar un marco para hacer pruebas. Para su uso industrial, se requiere el
apoyo de herramientas. Sin embargo, el alto costo de la utilizacin de mtodos formales
significa que por lo general slo se utilizan en el desarrollo de sistemas crticos de alta
integridad donde la vida o la seguridad es de muy alta importancia. Los mtodos formales
se describen mejor como la aplicacin de un bastante amplia variedad de tericos
fundamentales de la informtica, en particular, los clculos lgica, los lenguajes formales,
la teora de autmatas, y la semntica de los programas, sino tambin de tipo de sistemas
y tipos de datos algebraicos a los problemas en el software y hardware de especificacin y
verificacin.
Los mtodos formales se describen mejor como la aplicacin de una amplia variedad de
fundamentos tericos de las ciencias de la computacin, en particular la lgica
computacinal, lenguajes formales,teora de autmatas y Semntica de lenguajes de
programacin pero tambin reas como sistemas de tipos y tipos de datos algebraicos a
problemas en la especificacin y verificacin de software y hardware.

Ciencias de la computacin aplicadas[editar]

Las ciencias de la computacin aplicadas tratan de identificar ciertos aspectos
conceptuales y tericos de las ciencias de la computacin que pueden ser aplicados
directamente para resolver problemas del mundo real.

Inteligencia artificial[editar]
Artculo principal: Inteligencia artificial

Esta rama de las ciencias de la computacin pretende o es requerida para la sntesis de

procesos meta-orientados tales como la resolucin de problemas, toma de decisiones, la
adaptacin del medio ambiente, el aprendizaje y la comunicacin que se encuentran en los
seres humanos y los animales. Desde sus orgenes en la ciberntica y en la Conferencia
de Dartmouth (1956), la investigacin en inteligencia artificial (IA) ha sido necesariamente
multidisciplinaria, aprovechando reas de especializacin, tales como las matemticas, la
lgica simblica, la semitica, la ingeniera elctrica, la filosofa de la mente, la
neurofisiologa, y la inteligencia social. La IA errneamente es asociada en la mente
popular con el desarrollo robtico, pero el principal campo de aplicacin prctica ha sido
como un componente integrado en las reas de desarrollo de software que requieren la
comprensin y modelacin computacional, tales como las finanzas y la economa, la
minera de datos y las ciencias fsicas. El trmino fue acuado por el cientfico de la
computacin y matemtico John McCarthy en 1955.

Aprendizaje automtico

Visin artificial

Procesamiento de
imgenes

Reconocimiento de
patrones

Ciencia cognitiva

Minera de datos

Computacin
evolutiva

Bsqueda y recuperacin
de informacin

Representacin del
conocimiento

Procesamiento de
lenguaje natural

Robtica

Cmputo de imgenes
medicas

Arquitectura de computadoras[editar]
Artculo principal: Arquitectura de computadoras

Arquitectura de computadores u organizacin de computadoras digitales, es el diseo

conceptual y la estructura operacional fundamental de un sistema cmputo. Se centra en
gran medida de la manera en que la unidad central de procesamiento realiza internamente
y accede a las direcciones en la memoria.46El campo involucra disciplinas de la ingeniera
en computacin y la ingeniera elctrica, la seleccin y la interconexin de los
componentes de hardware para crear los equipos que cumplen funciones, de rendimiento,
y costes.

Lgica digital

Microarquitecturas

Multiprocesamiento

Sistemas operativos

Redes de
computadoras

Sistemas de gestin de bases

de datos

Seguridad de la
informacin

Computacin ubicua

Arquitectura de
software

Diseo de compiladores

Lenguajes de
programacin

Anlisis de rendimiento de computadoras[editar]

Anlisis de rendimiento del equipo es el estudio del trabajo que fluye a travs de los
equipos con el objetivo general de mejora de rendimiento y control de tiempo de respuesta,
utilizando los recursos de manera eficiente, la eliminacin de los cuellos de botella, y la
prediccin de rendimiento bajo cargas mximas previstas.47

Cmputo cientfico[editar]
La ciencia computacional (o computacin cientfica) es el campo de estudio que trata con
la construccin de modelos matemticos y tcnicas de anlisis cuantitativos as como el
uso de computadoras para analizar y resolver problemas cientficos. En el uso prctico, es
tpicamente la aplicacin de simulacin por ordenador y otras formas de clculo a los
problemas en diversas disciplinas cientficas.

Anlisis numrico

Fsica computacional

Qumica computacional

Bioinformtica

Redes de computadoras[editar]
Artculo principal: Redes de computadoras

Esta rama de las ciencias de la computacin que tiene como objetivo gestionar las redes
entre computadoras en todo el mundo.

Sistemas concurrentes, paralelos y distribuidos[editar]

Artculos principales: Computacin concurrente y Computacin distribuida.

Concurrencia es una propiedad de los sistemas en los que varios clculos estn
ejecutando de forma simultnea, y, potencialmente, que interactan entre s. Un nmero
de modelos matemticos han sido desarrollados para el clculo concurrente general,
incluyendo las redes de Petri, clculos de proceso y del modelo de mquina de acceso
aleatorio en paralelo. Un sistema distribuido se extiende la idea de la simultaneidad en
varios ordenadores conectados a travs de una red. Computadoras dentro del mismo
sistema distribuido tienen su propia memoria privada, y la informacin es a menudo
intercambian entre s para lograr un objetivo comn.

Bases de datos[editar]
Artculos principales: Bases de datos y Sistema de gestin de bases de datos.

Una base de datos tiene la intencin de organizar, almacenar y recuperar grandes

cantidades de datos de forma sencilla. Bases de datos digitales se gestionan mediante
sistemas de gestin de base de datos para almacenar, crear, mantener y consultar los
datos, a travs de modelos de bases de datos y lenguajes de consulta. Una base de datos
es un conjunto de datos interrelacionados entre si mismos.

Informtica en salud[editar]
Artculo principal: Informtica en Salud

Informtica de la Salud se ocupa de las tcnicas computacionales para la solucin de

problemas en el cuidado de la salud.

Ciencia de la informacin[editar]
El campo estudia la estructura, algoritmos, comportamiento e interacciones de los
sistemas naturales y artificiales que guardan, procesan, acceden a y comunican
informacin. Tambin desarrolla sus propios fundamentos conceptuales y tericos y
emplea fundamentos desarrollados en otros campos.
Artculo principal: Ciencias de la informacin (tecnologa)

Bsqueda y recuperacin
de informacin

Representacin del
conocimiento

Procesamiento de
lenguaje natural

Interaccin personacomputador

Ingeniera de software[editar]
Artculo principal: Ingeniera de software

La ingeniera de software es el estudio de todos los aspectos involucrados en la

produccin de software. Cubre desde la deduccin de requerimientos hasta fases
posteriores de la puesta en servicio. Incluye diseo, codificacin, pruebas e implantacin.
Normalmente el foco de la calidad se centra en la mantenibilidad del producto, pero,
dependiendo del proyecto, el foco de la calidad podra estar en ms de un requerimiento
no funcional (NFR), como por ejemplo escalabilidad, robustez, eficiencia, seguridad, o
interoperabilidad. Se trata de un enfoque sistemtico para la construccin de software, que
implica la aplicacin de buenas prcticas y trazabilidad del proceso. Por su amplia
cobertura muchas veces se entiende como una disciplina de Ingeniera donde, una de sus
Ciencias de base, son las Ciencias de Computacin.

Relacin con otros campos[editar]

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 sercategorizada siguiendo los modelos actuales.
Las ciencias de la computacin frecuentemente se cruzan con otras reas de
investigacin, tales como lafsica 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. 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