proginternet.com » grafos http://proginternet.com/blog Programacion Internet Wed, 05 Oct 2011 23:06:08 +0000 http://wordpress.org/?v=2.9.2 en hourly 1 Criptografia, grafos, logica y tipos http://proginternet.com/blog/index.php/2008/05/24/criptografia-grafos-logica-y-tipos/ http://proginternet.com/blog/index.php/2008/05/24/criptografia-grafos-logica-y-tipos/#comments Sat, 24 May 2008 08:37:00 +0000 administrador http://proginternet.com/blog/index.php/2008/05/24/criptografia-grafos-logica-y-tipos/ 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

Originalmente escrito en admin ProgInternet.com

Tags: , ,

]]> http://proginternet.com/blog/index.php/2008/05/24/criptografia-grafos-logica-y-tipos/feed/ 0