Ciencias de la computaci�n

Ir a la navegaci�n
Ir a la b�squeda
large capital lambda Representaci�n gr�fica de del algoritmo de ordenamiento
quicksort
Tetera de Utah representando los gr�ficos por computadora Rat�n Microsoft
Tastenmaus representando la interacci�n hombre-m�quina
Las Ciencias de la computaci�n estudian los fundamentos te�ricos de la informaci�n
y el c�mputo, junto con t�cnicas pr�cticas para la implementaci�n y aplicaci�n de
estos fundamentos te�ricos.

Las ciencias de la computaci�n son aquellas que abarcan las bases te�ricas de la
informaci�n y la computaci�n, as� como su aplicaci�n en sistemas computacionales.1?
2?3? 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 si dicha informaci�n est� codificada en forma de bits en una memoria de
computadora o especificada en una estructura de genes y prote�nas en una c�lula
biol�gica.5?

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

ciencias computacionales; 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
7.2 Ciencias de la computaci�n aplicadas
7.2.1 Inteligencia artificial
7.2.2 Arquitectura de computadoras
7.2.3 An�lisis de rendimiento de computadoras
7.2.4 C�mputo cient�fico
7.2.5 Redes de computadoras
7.2.6 Sistemas concurrentes, paralelos y distribuidos
7.2.7 Bases de datos
 7.2.8 Inform�tica en salud
7.2.9 Ciencia de la informaci�n
7.2.10 Ingenier�a de software
8 Relaci�n con otros campos
9 V�ase tambi�n
10 Referencias
11 Bibliograf�a
12 Enlaces externos

Historia
Charles Babbage es reconocido por inventar la primera computadora mec�nica.
Ada Lovelace es reconocida por escribir el primer algoritmo procesado por una
computadora.

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 el '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 confiable 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?

Durante la d�cada de 1940, conforme se desarrollaban las 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.18? Cuando se hizo evidente que
las computadoras no solamente podr�an utilizarse para realizar c�lculos
matem�ticos, el campo de las ciencias de la computaci�n se ampli� para estudiar
c�mputo en general. Las ciencias de la computaci�n empezaron a establecerse como
una disciplina acad�mica distinta de las dem�s en la d�cada 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 computaci�n) en 1953. El
primer programa de grado universitario en ciencias de la computaci�n en los Estados
Unidos se form� en Universidad de Purdue en 1962.20? Desde que se dispone
ordenadores pr�cticos, muchas aplicaciones la de las ciencias de la computaci�n
convirtieron en diferentes �reas de estudio en sus propios t�rminos.

Aunque inicialmente muchos creyeron que era imposible que las computadoras en s�
mismas podr�an constituir en realidad un campo cient�fico de estudio, a finales de
los a�os cincuenta se fue volviendo gradualmente aceptada entre la poblaci�n mayor
acad�mica.21?22? Es la marca IBM que a 2015 es muy conocida la que form� parte de
la revoluci�n de las ciencias de la computaci�n durante este tiempo. IBM
(abreviaci�n de International Business Machines) lanz� el IBM 70423? y m�s tarde
las computadoras de IBM 70924? que fueron ampliamente utilizadas durante el per�odo
de exploraci�n de este tipo de dispositivos. "Sin embargo, el trabajo con las IBM
[computadoras] fue frustrante ... si hubieras perdido tanto como una letra en una
instrucci�n, el programa chocar�a, y usted tendr�a que empezar todo el proceso otra
vez".21? Durante a finales de 1950, la disciplinas de las ciencias de la
computaci�n estaban en sus etapas de desarrollo m�s primordiales, y tales
cuestiones eran comunes.22?

La disciplina cient�fica de las ciencias de la computaci�n nace a principios de

1940 con la confluencia de la teor�a de algoritmos, l�gica matem�tica y la
invenci�n del programa almacenado en una computadora electr�nica.4? Ejemplos de
esto son los trabajos de Alan Turing, Alonzo Church y Kurt G�del en 1930 acerca de
los algoritmos y su trabajo en sistemas de reglas (v�ase C�lculo Lambda, M�quina de
Turing y Problemas Indecidibles), los algoritmos creados por Augusta Ada sesenta
a�os antes, la computadora anal�gica construida por Vannevar Bush en 1920 y las
computadoras el�ctricas 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 d�cada de 1940.

En 1960, hab�a suficientemente cuerpo de conocimiento que ameritaba la creaci�n de

departamentos acad�micos y programas de grado universitario para esta disciplina.4?
IBM es reconocida como la marca que form� parte de la revoluci�n de las ciencias de
la computaci�n durante ese tiempo. IBM (abreviaci�n de International Business
Machines) lanz� la IBM 70425? y m�s tarde la IBM 70926? computadoras, que fueron
ampliamente utilizadas durante el per�odo de exploraci�n de este tipo de
dispositivos. "Sin embargo, el trabajo con la IBM [equipo] era frustrante ... si te
equivocas en una letra de alguna instrucci�n, el programa se arruinar�a, y se
tendr�a que empezar todo el proceso otra vez".21? Durante la d�cada de 1950, la
disciplina de las ciencias de la computaci�n estaba en su etapa de desarrollo, y
estos problemas eran algo com�n.

El tiempo ha dado mejoras significativas en la capacidad de uso y la eficacia de la

tecnolog�a de la computaci�n. La sociedad moderna ha presenciado un cambio
significativo en los usuarios de la tecnolog�a en c�mputo, de ser utilizada
�nicamente por expertos, profesionales y cient�ficos, a una base de usuarios que es
casi omnipresente a la teor�a con la cual se desarroll� y funciona este tipo de
tecnolog�a. 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 adopci�n equipo se hizo m�s generalizado y
asequible, se necesitaba menos asistencia humana en el uso com�n.
Mayores logros
El ej�rcito alem�n us� la m�quina Enigma durante la Segunda Guerra Mundial; su
sistema de cifrado fue finalmente descubierto por Alan Turing, considerado el padre
de la Computaci�n. La lectura de la informaci�n que conten�an los mensajes
supuestamente encriptados son considerados, a veces, como la causa de haber podido
concluir la Segunda Guerra Mundial al menos dos a�os antes de lo que hubiera
acaecido sin su descifrado. El descifrado a gran escala del tr�fico de Enigma en
Bletchley Park fue uno de los factores m�s importantes que contribuyeron a la
victoria Aliada.27?

A pesar de su corto tiempo de ser una disciplina cient�fica formal, las ciencias de
la computaci�n han hecho un gran n�mero de contribuciones importantes a la ciencia
y la sociedad �de hecho, junto con la electr�nica, es una ciencia fundacional de la
�poca actual de la historia humana llamada Era de la informaci�n y la Revoluci�n de
la Informaci�n, visto como el tercer gran salto en el progreso tecnol�gico humano
despu�s de la Revoluci�n Industrial (1750-1850) y la revoluci�n neol�tica (8000-
5000 a. C.)�.

Estas contribuciones a la humanidad incluyen:

El comienzo de la "Revoluci�n digital", la cual incluye la actual Era de la

informaci�n y el Internet.28?
Una definici�n formal de computaci�n y computabilidad, y una demostraci�n
formal de que existen problemas que son computacionalmente irresolubles e
intratables.29?
El concepto de lenguaje de programaci�n, una herramienta para la expresi�n
precisa de informaci�n metodol�gica a varios niveles de abstracci�n.30?
En criptolog�a, el criptoan�lisis de Enigma fue un factor importante, el cual
contribuy� a la victoria Aliada en la Segunda Guerra Mundial.27?
C�mputo Cient�fico permiti� la evaluaci�n de procesos y situaciones de gran
complejidad, as� como la experimentaci�n mediante software. Tambi�n permiti� el
avance en investigaci�n de la mente humana y el mapeo del genoma humano junto el
Proyecto Genoma Humano.28? proyectos de C�mputo Distribuido tales como Folding@home
que estudiaron el plegamiento de prote�nas.
El trading algor�tmico ha incrementado la eficiencia y la liquidez de los
mercados financieros mediante t�cnicas de inteligencia artificial, aprendizaje
autom�tico, y otros m�todos estad�sticos y num�ricos a gran escala.31? Alta
frecuencia de comercio algor�tmico tambi�n puede exacerbar la volatilidad
financiera.32?
Computaci�n gr�fica e im�genes generadas por computadora se volvieron
omnipresentes en la era moderna del entretenimiento, sobre todo en televisi�n,
cine, publicidad, animaci�n y videojuegos. [cita requerida]
Simulaci�n de varios procesos, incluyendo din�mica de fluidos computacionales,
sistemas f�sicos, el�ctricos, electr�nicos y de circuitos, as� como las sociedades
y las situaciones sociales (sobre todo juegos de guerra), junto con sus h�bitats,
entre muchos otros. Las computadoras modernas permiten la optimizaci�n de dise�os
tales como aviones completos. Se destaca el dise�o de circuitos el�ctricos y
electr�nicos con SPICE, as� como software para la realizaci�n f�sica de nuevos
dise�os. Este �ltimo incluye software de dise�o esencial para circuito integrados.
La Inteligencia artificial (IA) es cada vez m�s importante, ya que se vuelve
m�s eficiente y compleja con el paso del tiempo. Existen muchas aplicaciones de la
IA, algunas se pueden ver en el hogar, tales como aspiradores rob�ticos. Tambi�n
est� presente en los videojuegos y en el campo de batalla moderno en aviones no
tripulados, sistemas antimisiles, y robots de apoyo para escuadrones.

Filosof�a

Un gran n�mero de cient�ficos de la computaci�n han argumentado a favor de la

distinci�n de tres paradigmas diferentes en ciencias de la computaci�n. Peter
Wegner ha argumentado que esos paradigmas son la ciencia, la tecnolog�a y las
matem�ticas.33? El grupo de investigaci�n de Peter Denning argument� que son la
abstracci�n (modelado), y dise�o. Amnon H. Eden lo describe como el �paradigma
racionalista� (el cual trata a las ciencias de la computaci�n como una rama de las
matem�ticas, la cual prevalece en ciencias de la computaci�n te�rica y
principalmente emplea el razonamiento deductivo), el paradigma tecnocr�tico (que
podr�a ser encontrado en enfoques ingenieriles, m�s prominente en la ingenier�a de
software) y el paradigma cient�fico (que se enfoca a objetos relacionados con la
computaci�n desde la perspectiva emp�rica de las ciencias naturales identificable
en algunas ramas de la inteligencia artificial).
Nombre del campo

A pesar de su primera proposici�n en 1956,22? el t�rmino �ciencias de la

computaci�n� aparece en 1959 en un art�culo de la revista Communications of the ACM
(prestigiada publicaci�n cient�fica destinada a lectores con experiencia en todos
los �mbitos de la computaci�n y los sistemas de informaci�n),34? en el cual Louis
Fein discute sobre la creaci�n de una Escuela de Estudios de Posgrado en Ciencias
Computacionales an�loga a la creaci�n de Harvard Business School en 1921,35?
justificando el nombre con el argumento de que: Como la ciencia administrativa, el
tema o �rea de conocimiento puede ser aplicado, es de car�cter interdisciplinario y
que cuenta con las caracter�sticas t�picas de una disciplina acad�mica.36? Sus
esfuerzos y los de otros, como el analista num�rico George Forsythe, fueron
recompensados: universidades pasaron a crear este tipo de programas de estudio, a
partir de 1962 en Purdue.37? A pesar del nombre de esta disciplina acad�mica, una
cantidad significativa de t�picos en ciencias de la computaci�n no involucran el
estudio de las computadoras, por esta raz�n muchos nombres alternativos han sido
propuestos.38?

Algunos departamentos de universidades prefieren el t�rmino �ciencias de la

computaci�n� para hacer �nfasis en esta diferencia. El cient�fico dan�s Peter Naur
sugiri� el t�rmino datolog�a,39? para reflejar el hecho de que esta disciplina
cient�fica gira en torno a los datos y a al tratamiento de estos, mientras que no
necesariamente involucra a las computadoras. La primera instituci�n cient�fica en
usar el t�rmino fue el Departamento de Datolog�a de la Universidad de Copenhague,
fundado en 1969, con Peter Naur como profesor de datolog�a. El t�rmino es usado en
pa�ses escandinavos. En los primeros a�os de la computaci�n, un n�mero de terminus
para los practicantes del campo de la computaci�n fueron propuestos en la revista
Communications of the ACM � turingeniero, turologo, hombre de los diagramas de
flujo, matem�tico meta-aplicado, y epistemologo aplicado.40? Tres meses despu�s en
esa misma publicaci�n cient�fica, el t�rmino comput�logo fue sugerido. El siguiente
a�o en la misma publicaci�n surgi� el t�rmino hypologo.41? El t�rmino computica
tambi�n ha sido sugerido.42? En Europa, t�rminos derivados de traducciones de la
expresi�n "automatic information" (e.g. "informazione automatica" en Italiano) or
"informaci�n y matem�ticas" son frecuentemente usados, e.g. informatique (franc�s),
Informatik (alem�n), Inform�tica (Italia, Pa�ses Bajos), Inform�tica (Espa�a y
Portugal), informatika (lenguas eslavas) o pliroforiki (p????f?????, que significa
inform�tica) en Griego. Palabras similares han sido adoptadas en algunos lugares
del Reino Unido, por ejemplo en la Universidad de Edimburgo.43? Pero estas no
reflejan el aspecto de la computabilidad, por esta raz�n en un contexto de
investigaci�n cient�fica tanto acad�mica como industrial el t�rmino ciencias de la
computaci�n es mayormente usado en publicaciones y conferencias cient�ficas.
Campos de las ciencias de la computaci�n

Como disciplina cient�fica, las ciencias de la computaci�n abarcan una gama de

temas, desde los estudios te�ricos de los algoritmos y los l�mites de la
computaci�n a los problemas pr�cticos de la implementaci�n de sistemas
computacionales en hardware y software.44?45? Computing Sciences Acreditation Board
o la Junta de Acreditaci�n en Ciencias de la Computaci�n. �Compuesta por
representantes de la Association for Computing Machinery (ACM), y la Sociedad de
Computaci�n IEEE (IEEE-CS) 46?� identifica cuatro �reas que considera cruciales
para la disciplina de ciencias de la computaci�n: teor�a de la computaci�n,
algoritmos y estructuras de datos, metodolog�a y lenguajes de programaci�n,
arquitectura de computadoras. Adem�s de estas cuatro �reas, C.S.A.B. tambi�n
identifica �mbitos como la ingenier�a de software, inteligencia artificial, redes
de computadoras y de telecomunicaciones, sistemas de bases de datos, computaci�n
paralela, computaci�n distribuida, la interacci�n persona-computador, gr�ficos por
ordenador, sistemas operativos, c�lculo num�rico y simb�lico siendo importantes
�reas de las ciencias de la computaci�n.44?
Ciencias de la computaci�n te�ricas

El campo m�s amplio de la ciencia de la computaci�n te�rica abarca tanto la teor�a

cl�sica de la computaci�n y una amplia gama de otros temas que se centran en los
aspectos m�s abstractos, l�gicos y matem�ticos de la computaci�n.
Teor�a de la computaci�n
Art�culo principal: Teor�a de la computaci�n

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

computaci�n es, ��Qu� puede ser eficientemente automatizado?�7? El estudio de la
teor�a de la computaci�n est� enfocado en responder preguntas fundamentales acerca
de qu� puede ser computado y qu� cantidad de recursos son requeridos para ejecutar
tales c�mputos. En un esfuerzo por resolver esta pregunta, la teor�a de la
computabilidad examina qu� problemas computacionales se pueden resolver en varios
modelos te�ricos de c�mputo. La segunda pregunta est� dirigida por la teor�a 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,47? es un problema

abierto en ciencias de la computaci�n.
DFAexample.svg Wang tiles.svg P = NP ? GNITIRW-TERCES Blochsphere.svg
Teor�a de aut�matas Teor�a de la computabilidad Teor�a de la complejidad
computacional Criptograf�a Computaci�n cu�ntica
Teor�a de la informaci�n y c�digos
Art�culos principales: Teor�a de la informaci�n y Teor�a de c�digos.

La teor�a de la informaci�n est� relacionada a la cuantificaci�n de la informaci�n.

Fue desarrollada por Claude E. Shannon para desarrollar los l�mites fundamentales
del procesamiento de se�ales as� como sus operaciones, tales como compresi�n y
almacenamiento de datos as� como la comunicaci�n de los datos de manera fiable.48?
La teor�a de c�digos es un �rea de las matem�ticas que busca resolver el problema
de detectar y corregir errores al momento de transmitir informaci�n.49? Los c�digos
son usados para comprimir datos, criptograf�a y m�s recientemente para la
codificaci�n de redes. Los c�digos son estudiados para el prop�sito de dise�ar
m�todos eficientes y seguros para la transmisi�n de datos.
Algoritmos y estructuras de datos
Art�culos principales: An�lisis de algoritmos y Teor�a de c�digos.

Los algoritmos y las estructuras de datos son el estudio de m�todos computacionales

com�nmente usados as� como su eficiencia computacional.
O ( n 2 ) {\displaystyle O(n^{2})} O(n^2) Sorting quicksort anim.gif
Singly-linked-list.svg TSP Deutschland 3.png SimplexRangeSearching.svg
An�lisis de algoritmos Algoritmos Estructuras de datos Optimizaci�n
combinatoria Geometr�a computacional
Teor�a de lenguajes de programaci�n
Art�culo principal: Teor�a de lenguajes de programaci�n

La teor�a del lenguaje de programaci�n es una rama de las ciencias de la

computaci�n que se ocupa del dise�o, implementaci�n, an�lisis, caracterizaci�n y
clasificaci�n de los lenguaje de programaci�n y sus caracter�sticas individuales,
cae dentro de la disciplina de las ciencias de la computaci�n, tanto en dependencia
de las matem�ticas y la ling��stica. Es un �rea de investigaci�n activa, con
numerosas revistas acad�micas y conferencias especializadas en el tema.
G ? x : Int {\displaystyle \Gamma \vdash x:{\text{Int}}} \Gamma\vdash x: \text{Int}
Compiler.svg Python add5 syntax.svg
Teor�a de tipos Compiladores Lenguajes de programaci�n
M�todos formales
Art�culo principal: M�todos formales

Los m�todos formales son un tipo particular de la t�cnica basada en las matem�ticas
para la especificaci�n formal, desarrollo y verificaci�n formal de los sistemas de
software y hardware. El uso de m�todos formales para el dise�o de software y
hardware est� motivado por la expectativa de que, la realizaci�n de un an�lisis
matem�tico adecuado puede contribuir a la fiabilidad y robustez de un dise�o. Estos
forman una importante base te�rica para la ingenier�a de software, especialmente
cuando est� involucrado la seguridad o robustez. Los m�todos formales son un
complemento �til para las pruebas de software, ya que ayudan a evitar errores y
tambi�n pueden dar un marco para hacer pruebas. Para su uso industrial, se requiere
el apoyo de herramientas. Sin embargo, el alto costo de la utilizaci�n de m�todos
formales significa que por lo general solo se utilizan en el desarrollo de sistemas
cr�ticos de alta integridad donde la vida o la seguridad es de muy alta
importancia. Los m�todos formales se describen mejor como la aplicaci�n de una
bastante amplia variedad de te�ricos fundamentales de la inform�tica, en
particular, los c�lculos l�gica, los lenguajes formales, la teor�a de aut�matas, y
la sem�ntica de los programas, sino tambi�n de tipo de sistemas y tipos de datos
algebraicos a los problemas en el software y hardware de especificaci�n y
verificaci�n.

Los m�todos formales se describen mejor como la aplicaci�n de una amplia variedad
de fundamentos te�ricos de las ciencias de la computaci�n, en particular la l�gica
computacional, lenguajes formales, teor�a de aut�matas y Sem�ntica de lenguajes de
programaci�n pero tambi�n �reas como sistemas de tipos y tipos de datos algebraicos
a problemas en la especificaci�n y verificaci�n de software y hardware.
Ciencias de la computaci�n aplicadas

Las ciencias de la computaci�n aplicadas tratan de identificar ciertos aspectos

conceptuales y te�ricos de las ciencias de la computaci�n que pueden ser aplicados
directamente para resolver problemas del mundo real.
Inteligencia artificial
Art�culo principal: Inteligencia artificial

Esta rama de las ciencias de la computaci�n pretende o es requerida para la

s�ntesis de procesos meta-orientados tales como la resoluci�n de problemas, toma de
decisiones, la adaptaci�n del medio ambiente, el aprendizaje y la comunicaci�n que
se encuentran en los seres humanos y los animales. Desde sus or�genes en la
cibern�tica y en la Conferencia de Dartmouth (1956), la investigaci�n en
inteligencia artificial (IA) ha sido necesariamente multidisciplinaria,
aprovechando �reas de especializaci�n, tales como las matem�ticas, la l�gica
simb�lica, la semi�tica, la ingenier�a el�ctrica, la filosof�a de la mente, la
neurofisiolog�a, y la inteligencia social. La IA err�neamente es asociada en la
mente popular con el desarrollo rob�tico, pero el principal campo de aplicaci�n
pr�ctica ha sido como un componente integrado en las �reas de desarrollo de
software que requieren la comprensi�n y modelaci�n computacional, tales como las
finanzas y la econom�a, la miner�a de datos y las ciencias f�sicas. El t�rmino fue
acu�ado por el cient�fico de la computaci�n y matem�tico John McCarthy en 1955.
Nicolas P. Rougier's rendering of the human brain.png NASA Mars Rover.jpg
Corner.png KnnClassification.svg
Aprendizaje autom�tico Visi�n artificial Procesamiento de im�genes
Reconocimiento de patrones
User-FastFission-brain.gif Julia iteration data.png Sky.png Earth.png
Ciencia cognitiva Miner�a de datos Computaci�n evolutiva B�squeda y
recuperaci�n de informaci�n
Neuron.svg English.png HONDA ASIMO.jpg MeningiomaMRISegmentation.png
Representaci�n del conocimiento Procesamiento de lenguaje natural Rob�tica
C�mputo de im�genes m�dicas
Arquitectura de computadoras
Art�culo principal: Arquitectura de computadoras

La arquitectura de computadores u organizaci�n de computadoras digitales es el

dise�o conceptual y la estructura operacional fundamental de un sistema c�mputo. 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.50? El campo
involucra disciplinas de la ingenier�a en computaci�n y la ingenier�a el�ctrica, la
selecci�n y la interconexi�n de los componentes de hardware para crear los equipos
que cumplen funciones, de rendimiento, y costes.
NOR ANSI.svg Fivestagespipeline.png SIMD.svg
L�gica digital Microarquitecturas Multiprocesamiento
Operating system placement.svg Network Library LAN.svg Emp Tables
(Database).PNG Padlock.svg
Sistemas operativos Redes de computadoras Sistemas de gesti�n de bases de
datos Seguridad de la informaci�n
Roomba original.jpg Flowchart.png Ideal compiler.png Python add5
syntax.svg
Computaci�n ubicua Arquitectura de software Dise�o de compiladores
Lenguajes de programaci�n
An�lisis de rendimiento de computadoras

An�lisis de rendimiento del equipo es el estudio del trabajo que fluye a trav�s de
los equipos con el objetivo general de mejora de rendimiento y control de tiempo de
respuesta, utilizando los recursos de manera eficiente, la eliminaci�n de los
cuellos de botella, y la predicci�n de rendimiento bajo cargas m�ximas
previstas.51?
C�mputo cient�fico

La ciencia computacional (o computaci�n cient�fica) es el campo de estudio que

trata con la construcci�n de modelos matem�ticos y t�cnicas de an�lisis
cuantitativos, as� como el uso de computadoras para analizar y resolver problemas
cient�ficos. En el uso pr�ctico, es t�picamente la aplicaci�n de simulaci�n por
ordenador y otras formas de c�lculo a los problemas en diversas disciplinas
cient�ficas.
Lorenz attractor yb.svg Quark wiki.jpg Naphthalene-3D-balls.png 1u04-
argonaute.png
An�lisis num�rico F�sica computacional Qu�mica computacional
Bioinform�tica
Redes de computadoras
Art�culo principal: Redes de computadoras

Esta rama de las ciencias de la computaci�n tiene como objetivo gestionar la

conectividad entre redes (LAN / WAN) de computadoras a nivel mundial.
Sistemas concurrentes, paralelos y distribuidos
Art�culos principales: Computaci�n concurrente y Computaci�n distribuida.

Concurrencia es una propiedad de los sistemas en los que varios c�lculos est�n
ejecutando de forma simult�nea, y, potencialmente, que interact�an entre s�. Un
n�mero de modelos matem�ticos han sido desarrollados para el c�lculo concurrente
general, incluyendo las redes de Petri, c�lculos de proceso y del modelo de m�quina
de acceso aleatorio en paralelo. Un sistema distribuido se extiende la idea de la
simultaneidad en varios ordenadores conectados a trav�s de una red. Computadoras
dentro del mismo sistema distribuido tienen su propia memoria privada, y la
informaci�n es a menudo intercambian entre s� para lograr un objetivo com�n.
Bases de datos
Art�culos principales: Bases de datos y Sistema de gesti�n de bases de datos.

Una base de datos tiene la intenci�n de organizar, almacenar y recuperar grandes

cantidades de datos de forma sencilla. Bases de datos digitales se gestionan
mediante sistemas de gesti�n de base de datos para almacenar, crear, mantener y
consultar los datos, a trav�s de modelos de bases de datos y lenguajes de consulta.
Una base de datos es un conjunto de datos interrelacionados entre ellos mismos.
Inform�tica en salud

Inform�tica de la Salud se ocupa de las t�cnicas computacionales para la soluci�n

de problemas en el cuidado de la salud.
Ciencia de la informaci�n

El campo estudia la estructura, algoritmos, comportamiento e interacciones de los

sistemas naturales y artificiales que guardan, procesan, acceden a y comunican
informaci�n. Tambi�n desarrolla sus propios fundamentos conceptuales y te�ricos y
emplea fundamentos desarrollados en otros campos. Una aplicaci�n moderna es el Big
Data, que consiste en el procesamiento de un conjunto de datos (provenientes de
fuentes como por ejemplo: transacciones comerciales, formularios web, im�genes,
videos, emails, redes sociales, entre otros), los cuales son sometidos a
herramientas inform�ticas de an�lisis que permiten extraer informaci�n valiosa para
predecir comportamientos futuros y formular estrategias de toma decisiones.52?
Art�culo principal: Ciencias de la informaci�n (tecnolog�a)
Earth.png Neuron.png English.png Wacom graphics tablet and pen.png
B�squeda y recuperaci�n de informaci�n Representaci�n del conocimiento
Procesamiento de lenguaje natural Interacci�n persona-computador
Ingenier�a de software
Art�culo principal: Ingenier�a de software
Art�culo principal: Programaci�n

Ingenier�a de software es el estudio del dise�o, implementaci�n y modificaci�n del

software con la finalidad de asegurarse de que es de alta calidad, asequible, f�cil
de mantener, y r�pido de construir. Es un enfoque sistem�tico para el dise�o de
software, que implica la aplicaci�n de pr�cticas de ingenier�a de software. Los
ingenieros de software comercian con la organizaci�n y an�lisis de software � no
solo lidian con la creaci�n o fabricaci�n de un nuevo software, sino tambi�n con su
mantenimiento y disposici�n interna. Se prev� que est�n entre las ocupaciones de
m�s r�pido crecimiento entre 2008 y 2018. Debido a la novedad de este subcampo, la
educaci�n formal en Ingenier�a de software generalmente es parte de los planes de
estudio de ciencias de la computaci�n, la gran mayor�a de ingenieros de software
tienen un grado acad�mico en ciencias de la computaci�n sin tener relaci�n con la
ingenier�a.53?
Relaci�n con otros campos

Por ser una disciplina reciente, existen varias definiciones alternativas para la
ciencia de la computaci�n. Esta puede ser vista como una forma de ciencia,
matem�ticas o una nueva disciplina que no puede ser categorizada siguiendo los
modelos actuales.

Las ciencias de la computaci�n frecuentemente se cruzan con otras �reas de

investigaci�n, tales como la f�sica y la ling��stica. Pero es con las matem�ticas
con las que se considera que tiene un grado mayor de relaci�n. Eso es evidenciado
por el hecho de que los primeros trabajos en el �rea fueran fuertemente
influenciados por matem�ticos como Kurt G�del y Alan Turing. En la actualidad sigue
habiendo un intercambio de ideas �til entre ambos campos en �reas como la l�gica
matem�tica, la teor�a de categor�as, la teor�a de dominios, el �lgebra y la
geometr�a.
Otro punto a destacar es que, a pesar de su nombre, las ciencias de la computaci�n
raramente involucran el estudio mismo de las m�quinas conocidas como computadoras.
De hecho, el renombrado cient�fico Edsger Dijkstra es muy citado por la frase �Las
ciencias de la computaci�n est�n tan poco relacionadas con las computadoras como la
astronom�a con los telescopios�. La investigaci�n en ciencias de la computaci�n
tambi�n suele relacionarse con otras disciplinas, como la ciencia cognitiva, la
f�sica (v�ase computaci�n cu�ntica), la ling��stica, etc.

La relaci�n entre las ciencias de la computaci�n y la ingenier�a de software es un

tema muy discutido, por disputas sobre lo que realmente significa el t�rmino
"ingenier�a de software" y sobre c�mo se define a las ciencias de la computaci�n.
Algunas personas creen que la ingenier�a de software ser�a un subconjunto de las
ciencias de la computaci�n. Otras, tomando en cuenta la relaci�n entre otras
disciplinas cient�ficas y de la ingenier�a, creen que el principal objetivo de las
ciencias de la computaci�n ser�a estudiar las propiedades del c�mputo en general,
mientras que el objetivo de la ingenier�a de software ser�a dise�ar c�mputos
espec�ficos para lograr objetivos pr�cticos, con lo que se convertir�a en
disciplinas diferentes. Este punto de vista es el que sostiene, por ejemplo, Parnas
(1998). Incluso hay otros que sostienen que no podr�a existir una ingenier�a de
software.

Los aspectos acad�micos, pol�ticos y de financiamiento en las �reas de ciencias de

la computaci�n tienden a verse influidos dr�sticamente por el criterio del
departamento encargado de la investigaci�n y la educaci�n en cada universidad, que
puede estar orientado a las matem�tica o a la ingenier�a. Los departamentos de
ciencias de la computaci�n orientados a las matem�ticas te�ricas suelen alinearse
del lado de la computaci�n cient�fica y las aplicaciones de c�lculo num�rico.

El t�rmino "computaci�n cient�fica", que no debe confundirse con ciencia de la

computaci�n, designa a todas aquellas pr�cticas destinadas a modelar, plantear
experimentos y validar teor�as cient�ficas sirvi�ndose de medios computacionales.
En estos casos la computaci�n es una mera herramienta y el esfuerzo se dirige a
avanzar en los campos objetivo (f�sica, biolog�a, mec�nica de fluidos,
radiotransmisi�n...), m�s que en la propia ciencia de la computaci�n.

Finalmente, el p�blico en general algunas veces confunde la ciencia de la

computaci�n 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 navegaci�n web y el procesamiento de texto. Sin
embargo, el punto central de la ciencia de la computaci�n va m�s 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.54?