Asignatura de Teoría de Autómatas y Computación


Blog creado para la edición de los trabajos de temática horizontal.

Lista de trabajos propuestos.

1. El problema de la decidibilidad. Alan Turing, Alonzo Church, Kurt Gödel

2. ¿Pueden pensar las máquinas? Alan Turing

3. El origen de la programación funcional. Lambda cálculo, LISP, Prolog, John McCarthy, funciones recursivas

4. Origen de los lenguajes de programación. Fortran, COBOL, PL1.

5. Claude Shannon y la máquina secuencial

6. El concepto de algoritmo. Al Wharitzmi

7. ¿Cómo podemos pensar?. Vannevar Bush

8. El nacimiento del HTML. Tim Berners Lee

9. Vida y obra de Noam Chomsky. Las gramáticas transformacionales

10. ¿P = NP?

11. El problema del castor laborioso

12. Marvin Minsky y la computación neuronal

13. Escher, Bach y Gödel. Un eterno y grácil bucle. Las autoreferencias de Douglas Hofstadter (no confundir con Leonard, el de la Teoría del Big Bang)

14. Autómatas celulares. El juego de la vida y la regla 110