Material sobre Algoritmos y Lógica Computacional

Un documento bastante interesante sobre Algoritmos y Programación en Pascal. No es nuevo, pero expone algunos puntos de manera muy interesante y didáctica. El libro trata sobre métodos de resolución de problemas mediante el desarrollo de algoritmos y estructuras de datos, desde el principio y paso a paso; así como su materialización en programas de computador. 

También les dejo un documento sobre lógica computacional, que incluye temas como lógica proposicional y programación lógica. Para leerlo con detenimiento.
  • Como es algo "pesado" recomiendo bajarlo y luego abrirlo: documento
Es importante además, consultar estos documentos en línea: programación estructurada y Teorema de Dijkstra