miércoles, 19 de junio de 2013

Computacion

  Es aquella que abarca las bases teóricas de la información y la computación, así como su aplicación en sistemas computacionales. Existen diversos campos 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ómputos y otros se enfocan en los problemas que requieren la implementación de cómputos.



  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.

  La informática se refiere al tratamiento automatizado de la información de una forma útil y oportuna. No se debe confundir el carácter teórico de esta ciencia con otros aspectos prácticos como el uso de Internet.



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?".



Fundamentos matemáticos

Criptografía 
 Consta de algoritmos para proteger datos privados, incluido el cifrado.

Teoría de grafos
 Recursos elementales para las estructuras de almacenamiento de datos y para los algoritmos de búsqueda.

Lógica matemática
 La lógica matemática estudia los sistemas formales en relación con el modo en el que se codifican nociones intuitivas de objetos matemáticos como conjuntos, números, demostraciones y computación.

Teoría de tipos
 Análisis formal de los tipos de datos y el uso de estos para entender las propiedades de los programas, en particular la seguridad de estos.

Teoría de la computación

Teoría de la computación

Teoría de autómatas

Teoría de la computabilidad

Teoría de la complejidad computacional

Algoritmos y estructuras de datos


Análisis de algoritmos

Algoritmos
procesos formales usados para los cómputos, y eficiencia de estos procesos.

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


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


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

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




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


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




Bioinformática

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

Neurociencia computacional