Documentos de Académico
Documentos de Profesional
Documentos de Cultura
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.
Ada Lovelace es reconocida por escribir el primer algoritmo para una computadora universal (la
"Máquina analítica" de Babbage).
Mayores logros[editar]
Filosofía[editar]
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 naturalesidentificable en algunas ramas de la inteligencia
artificial).
Teoría de la computación[editar]
Artículo principal: Teoría de la computación
GNITIRW-
P = NP ?
TERCES
Teoría de la
Teoría de Teoría de la Computación
complejidad Criptografía
autómatas computabilidad cuántica
computacional
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.
Métodos formales[editar]
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.
Procesamiento de Reconocimiento de
Aprendizaje automático Visión artificial
imágenes patrones
Arquitectura de Lenguajes de
Computación ubicua Diseño de compiladores
software programación
Análisis de rendimiento de computadoras[editar]
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[editar]
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.
Análisis numérico Física computacional Química computacional Bioinformática
Redes de computadoras[editar]
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 [editar]
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[editar]
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[editar]
Lo que sigue proviene del artículo Informática en salud[editar]
Búsqueda y
Representación del Procesamiento de Interacción persona-
recuperación de
conocimiento lenguaje natural computador
información
Ingeniería de software[editar]
Artículo principal: Ingeniería de software
Artículo principal: Programación