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…
Solicita archivos para Teoría de la Computación - 11310007