Esta página es independiente, no representa oficialmente a ninguna universidad.
Descripción:
Este curso presenta los elementos esenciales de la teoría de la computación moderna, ellos son la teoría de los autómatas finitos, los lenguajes libres de contexto, las máquinas de Turing, para con ellos desarrollar los conceptos de indecibilidad, satisfacibilidad y complejidad. Su desarrollo sigue la metodología del curso de Lógica, Teoría de Núme...
Me parece que es una materia interesante y un poco diferente a lo demás. Se aprende sobre la conexión matemática que existió en los inicios de la computación