http://cienciasdelacomputacion.com Complejidad Automatas Criptografia Tue, 13 Dec 2011 17:45:50 +0000 http://wordpress.org/?v=2.9.2 en hourly 1 http://cienciasdelacomputacion.com/criptografia-grafos-logica-y-teoria-detipos/ http://cienciasdelacomputacion.com/criptografia-grafos-logica-y-teoria-detipos/#comments Mon, 05 Dec 2011 03:33:42 +0000 CienciasdelaComputacion http://cienciasdelacomputacion.com/?p=7 El campo de los Fundamentos matemáticos de las Ciencias de la Computacion involucra la criptografia, teoria de grafos, logica y teoria de tipos

1. Criptografía: Algoritmos de proteccion de datos privados y cifrado de informacion
2. Teoria de grafos: Estructuras de almacenamiento de datos y algoritmos de busqeda (problemas como del viajante, o la mejor ruta son clasicos en la tematica)
3. Logica matemática: Se divide en cuatro subcampos: teoría de modelos, teoría de la demostración, teoría de conjuntos y teoría de la recursión.
4. Teoria de tipos: Estudio y analisis sobre los tipos de datos y u aplicacion en las propiedades de los programas y su seguridad

]]> http://cienciasdelacomputacion.com/criptografia-grafos-logica-y-teoria-detipos/feed/ 0