Teoría de la Computabilidad... ¿extinguida?
A pesar de que con los nuevos planes de estudio asignaturas como TCO (Teoría de la Computabilidad) se dan por extinguidas, espero que su utilidad siga existiendo por medio del canal de yutzu que aquí se presenta para ir colgando su contenido (que no es mío, sino la labor conjunta de muchos profesores de este departamento).
Es todavía un proyecto primitivo en el que voy colgando el contenido de los temas tal y como se dieron en el último año de la asignatura de Lógica y Computabilidad, pero que espero se vayan ampliando a medida que tenga tiempo y sirvan para que los interesados en conocer algo de esta teoría tenga algo en español que les sirva de puerta de entrada.
La diferencia respecto a la simple posibilidad de ir colgando los PDFs de los apuntes del curso ha consistido en usar la capacidad que MathJax aporta a Yutzu para renderizar contenido matemático (usando MathML o LaTeX), de forma que hace tremendamente sencillo combinar contenido multimedia con el contenido matemático.