Computacion

Estructuras de datos

Organización y manipulación de los datos

Lógica y computabilidad

estudio de diferentes tipos de lógicas, su poder expresivo, decidibilidad, aplicaciones.

Especificación

desarrollo de métodos para definir formalmente (matemática y lógicamente) el comportamiento esperado de un algoritmo, para luego probar terminación y correctitud.

Lenguajes de programación y compiladores[editar]Compiladores

Formas de traducir programas computacionales, usualmente a partir de lenguajes de alto nivel a lenguajes de bajo nivel.

Teoría de lenguajes de programación

Lenguajes formales para expresar algoritmos y las propiedades de estos lenguajes.

Bases de datos[editar]Bases de datos

Estructura de datos

Minería de datos

Estudio de algoritmos para buscar y procesar información en documentos y bases de datos; muy relacionada con la adquisición de información.

Sistemas concurrentes, paralelos y distribuidos[editar]Programación concurrente

Teoría y práctica de cómputos simultáneos y computación interactiva.

Redes de computadoras

Algoritmos y protocolos para comunicar eficientemente datos a través de largas distancias, incluye también la corrección de errores.

Cómputo paralelo

Computación con el uso de múltiples computadoras y múltiples procesadores en paralelo.

Sistemas distribuidos

Sistemas que utilizan múltiples procesadores repartidos en una gran área geográfica.

Inteligencia artificial[editar]Inteligencia artificial (IA)

La implementación y estudio de sistemas que exhiben (ya sea por su comportamiento o aparentemente) una inteligencia autónoma o comportamiento propio, a veces inspirado por las características de los seres vivos. Las ciencias de la computación están relacionadas con la IA, ya que el software y las computadoras son herramientas básicas para su desarrollo y progreso.

Razonamiento automatizado

Robótica

Algoritmos para controlar el comportamiento de los robots.

Visión por computador

Algoritmos para extraer objetos tridimensionales de una imagen bidimensional.

Aprendizaje automático

Gráficos por computador[editar]Computación gráfica

Algoritmos tanto para generar sintéticamente imágenes visuales como para integrar o alterar la información visual y espacial tomada del mundo real.

Procesamiento digital de imágenes

Por ejemplo, para sensores remotos.

Geometría computacional

Por ejemplo, algoritmos veloces para seleccionar solo los puntos visibles en un poliedro visto desde cierto ángulo, usado en motores 3D.

Computación científica[editar]Computación científica

Bioinformática

Computación cuántica

Paradigma de computación basado en la mecánica cuántica

Neurociencia computacional

Relación con otros campos[editar]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

...