computacion
Campos de las ciencias computacionales
Fundamentos matemáticos[editar · editar fuente]
Criptografía
Consta dealgoritmos 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ógicamatemá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 lacomputación
Teoría de autómatas
Teoría de la computabilidad
Teoría de la complejidad computacional
Límites fundamentales (en especial de espacio en memoria y tiempo) de los cómputos.
Algoritmos yestructuras de datos[editar · editar fuente]
Análisis de algoritmos
Algoritmos
Procesos formales usados para los cómputos, y eficiencia de estos procesos.
Estructuras de datos
Organización ymanipulació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...
Regístrate para leer el documento completo.