Holi

Las ciencias de la computación o ciencias computacionales (popularmente solo computación) son aquellas que abarcan las bases teóricas de la información y la computación, así como su aplicaciónen sistemas computacionales.1 2 3 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 (comolos 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 losproblemas 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 decomputadoras 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 yoportuna. No se debe confundir el carácter teórico de esta ciencia con otros aspectos prácticos comoInternet.
Según Peter J. Denning, la cuestión fundamental en que se basa la ciencia de la computaciónes: "¿Qué puede ser (eficientemente) automatizado?".4
Fundamentos matemáticos
Criptografía
Consta de algoritmos para proteger datos privados, incluido el cifrado.
Teoría de grafos
Recursos elementalespara 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 codificannociones 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 laspropiedades de los programas, en particular la seguridad de estos.
[editar]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...