Computacion

Fundamentos matemáticos
Criptografía
Consta de algoritmos para proteger datos privados, incluyendo el cifrado.
Teoría de grafos
Recursos elementales para las estructuras de almacenamiento dedatos y para los algoritmos de búsqueda.
Lógica matemática
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 laseguridad 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 computacional
Límites fundamentales (enespecial de espacio en memoria y tiempo) de los cómputos.
[editar]Algoritmos y estructuras de datos
Análisis de algoritmos
Algoritmos
procesos formales usados para los cómputos, y eficiencia de estosprocesos.
Estructuras de datos
organización y manipulación de los datos
[editar]Lenguajes de programación y compiladores
Compiladores
formas de traducir programas computacionales, usualmente apartir 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.
[editar]Bases de datosMinerí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.
[editar]Sistemas concurrentes, paralelosy 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 através de largas distancias, incluye también la corrección de errores.
Cómputo paralelo
computación usando múltiples computadoras y múltiples procesadores en paralelo.
Sistemas Distribuidos
sistemasutilizando múltiples procesadores repartidos en una gran área geográfica.
[editar]Inteligencia artificial
Inteligencia artificial
la implementación y estudio de sistemas que exhiben (ya sea por...