computacion
La informática se refiere al tratamiento automatizado de la información de una forma útil y oportuna. No se debe confundir elcará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 lasestructuras 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 nocionesintuitivas 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 losprogramas, 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
Límites...
Regístrate para leer el documento completo.