Académique Documents
Professionnel Documents
Culture Documents
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 son aquellas que abarcan las bases tericas de
la informacin y la computacin, as como su aplicacin en sistemas computacionales.1 2 3 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
la informacin 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 diversas ramas 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 lacomplejidad 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 aplica lenguajes 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]
1Historia
o 1.1Mayores logros
2Filosofa
o 2.1Nombre del campo
3Campos de las ciencias de la computacin
o 3.1Ciencias de la computacin tericas
o 3.2Teora de la computacin
o 3.3Teora de la informacin y cdigos
o 3.4Algoritmos y estructuras de datos
o 3.5Teora de lenguajes de programacin
o 3.6Mtodos formales
o 3.7Ciencias de la computacin aplicadas
3.7.1Inteligencia artificial
3.7.2Arquitectura de computadoras
3.7.3Anlisis de rendimiento de computadoras
3.7.4Cmputo cientfico
3.7.5Redes de computadoras
3.7.6Sistemas concurrentes, paralelos y distribuidos
3.7.7Bases de datos
3.7.8Informtica en salud
3.7.9Ciencia de la informacin
3.7.10Ingeniera de software
4Relacin con otros campos
5Vase tambin
6Referencias
7Bibliografa
8Enlaces externos
Historia[editar]
Ada Lovelace es reconocida por escribir el primer algoritmo procesado por una computadora.
Mayores logros[editar]
El ejrcito alemn uso la mquina enigma durante la Segunda Guerra Mundial; su sistema de cifrado fue
finalmente descubierto por Alan Turing, considerado el padre de la Computacin. La lectura de la
informacin que contenan los mensajes supuestamente encriptados son considerados, 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.27
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 la Revolucin 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:
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.33 El grupo de investigacin
de Peter Denning argument 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 la ingeniera 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 la inteligencia
artificial.
Teora de
autmatas
Teora de la
computabilidad
P = NP ?
GNITIRWTERCES
Teora de la
complejidad
computacional
Criptografa
Computacin
cuntica
Anlisis de
Algoritmos
Estructuras de
Optimizacin
Geometra
algoritmos
datos
combinatoria
computacional
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
la especificacin 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, 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.
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
mdicas
Arquitectura de computadoras[editar]
Artculo principal: Arquitectura de computadoras
La 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
Lgica digital
Microarquitecturas
Multiprocesamiento
Sistemas
operativos
Redes de
computadoras
Seguridad de la
informacin
Computacin
ubicua
Arquitectura de
software
Diseo de compiladores
Lenguajes de
programacin
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
Artculo principal: Programacin
Vase tambin[editar]
Informtico terico
Ciencias de la informacin
Matemticas
Ingeniera en computacin
Anexo:Informticos tericos
Programacin
Teora de la computacin
Teora de la complejidad computacional
Problema de la cena de los filsofos
Problemas no resueltos de las Ciencias de la Computacin
Anexo:Informticos tericos
Mujeres en informtica
Premio Turing
Referencias[editar]
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16. Volver arriba "En este sentido Aiken necesitaba de IBM, cuya
tecnologa incluida el uso de tarjetas perforadas, la acumulacin
de datos numricos, y la transferencia de los datos numricos
de un registro a otro ", Bernard Cohen, p.44 (2000)
17. Volver arriba Brian Randell, p. 187, 1975
18. Volver arriba La Association for Computing Machinery (ACM)
fue fundada en 1947.
19. Volver arriba Some EDSAC statistics. Cl.cam.ac.uk.
Consultado el 19 de noviembre de 2011.
20. Volver arriba Computer science pioneer Samuel D. Conte
dies at 85. Purdue Computer Science. 1 de julio de 2002.
Consultado el 12 de diciembre de 2014.
21. Saltar a:a b c Levy, Steven (1984). Hackers: Heroes of the
Computer Revolution. Doubleday. ISBN 0-385-19195-2.
22. Saltar a:a b c Tedre, Matti (2014). The Science of Computing:
Shaping a Discipline. Taylor and Francis / CRC Press.
23. Volver arriba IBM 704 Electronic Data Processing System CHM Revolution (en ingls). Computerhistory.org. Consultado
el 7 de julio de 2013.
24. Volver arriba IBM 709: a powerful new data processing
system(en ingls). Computer History Museum. Consultado el
12 de diciembre de 2014.
25. Volver arriba IBM 704 Electronic Data Processing System CHM Revolution. Computerhistory.org. Consultado el 7 de julio
de 2013.
26. Volver arriba IBM 709: a powerful new data processing
system. Computer History Museum. Consultado el 12 de
diciembre de 2014.
27. Saltar a:a b David Kahn, The Codebreakers, 1967, ISBN 0684-83130-9.
28. Saltar
a:a bhttp://web.archive.org/web/http://www.cis.cornell.edu/Dean/
Presentations/Slides/bgu.pdf
29. Volver arriba Constable, R.L. (March 2000). Computer
Science: Achievements and Challenges circa 2000 (PDF).
30. Volver arriba Abelson, H.; G.J. Sussman with J. Sussman
(1996).Structure and Interpretation of Computer Programs (2nd
edicin). MIT Press. ISBN 0-262-01153-0. La revolucin de la
computadora es una revolucin en la manera de pensar y en la
forma en que expresamos lo que pensamos. La esencia de este
cambio es la aparicin de lo que podra llamarse
mejor epistemologa procedimental el estudio de la estructura
del conocimiento desde un punto de vista imperativo, en
oposicin al punto de vista ms declarativo tomada por temas
matemticos clsicos.
31. Volver arriba Black box traders are on the march. The
Telegraph, 26 de agosto de 2006.
32. Volver arriba The Impact of High Frequency Trading on an
Electronic Market. Papers.ssrn.com.doi:10.2139/ssrn.1686004.
Consultado el 14 de mayo de 2012.
33. Volver arriba Wegner, P. (October 1315, 1976). Research
paradigms in computer science. Proceedings of the 2nd
international Conference on Software Engineering. San
Francisco, California, United States: IEEE Computer Society
Press, Los Alamitos, CA.
34. Volver arriba Louis Fine (1959). The Role of the University in
Computers, Data Processing, and Related
Fields.Communications of the ACM 2 (9): 714.doi:10.1145/368424.368427.
35. Volver arriba Stanford University Oral History. Stanford
University. Consultado el 30 de mayo de 2013.
36. Volver arriba id., p. 11
37. Volver arriba Donald Knuth (1972). "George Forsythe and the
Development of Computer Science". Comms. ACM.
38. Volver arriba Matti Tedre (2006). The Development of
Computer Science: A Sociocultural Perspective, p.260
39. Volver arriba Peter Naur (1966). The science of
datalogy.Communications of the ACM 9 (7):
485.doi:10.1145/365719.366510.
40. Volver arriba Communications of the ACM 1(4):p.6
41. Volver arriba Communications of the ACM 2(1):p.4
42. Volver arriba IEEE Computer 28(12):p.136
43. Volver arriba P. Mounier-Kuhn, LInformatique en France, de la
seconde guerre mondiale au Plan Calcul. Lmergence dune
science, Paris, PUPS, 2010, ch. 3 & 4.
44. Saltar a:a b Computing Sciences Accreditation Board (28 de
mayo de 1997). Computer Science as a Profession.
Archivado desde el original el 17 de junio de 2008. Consultado
el 23 de mayo de 2010.
Bibliografa[editar]
Enlaces externos[editar]
Organizaciones Profesionales
Otros
Categoras:
Ingeniera elctrica
Ingeniera electrnica
Informtica terica
Ingeniera de la computacin
Informtica
Men de navegacin
Discusin
Contribuciones
Acceder
Leer
Editar
Ver historial
Buscar
Ir
Portada
Portal de la comunidad
Artculo
Discusin
Actualidad
Cambios recientes
Pginas nuevas
Pgina aleatoria
Ayuda
Donaciones
Notificar un error
Imprimir/exportar
Crear un libro
English
Bahasa Indonesia
Subir archivo
Pginas especiales
Enlace permanente
Informacin de la pgina
Elemento de Wikidata
Citar esta pgina
Otros proyectos
Commons
Wikiversidad
En otros idiomas
Bahasa Melayu
Portugus
131 ms
Editar enlaces
Esta pgina fue modificada por ltima vez el 29 jul 2016 a las 11:37.
Contacto