| 1 | 10/08/2026 lunes | Presentación del curso · Disciplinas de la ciencia de la computación | apuntes | 2 |
| 2 | 12/08/2026 miércoles | Desarrollo de las ciencias computacionales | apuntes | 3 |
| 3 | 17/08/2026 lunes | Qué es un algoritmo · Las tres áreas del curso | apuntes | 8 |
| 4 | 19/08/2026 miércoles | Máquinas de Turing: definición | apuntes | |
| 5 | 24/08/2026 lunes | Diseño de máquinas de Turing | | |
| 6 | 26/08/2026 miércoles | Variantes de máquinas de Turing · La máquina universal | | |
| 7 | 31/08/2026 lunes | La tesis de Church-Turing | | |
| 8 | 02/09/2026 miércoles | Recursión: definición y funcionamiento | | |
| 9 | 07/09/2026 lunes | Funciones recursivas primitivas y μ-recursión | | |
| 10 | 09/09/2026 miércoles | Complejidad: medida de recursos y notación asintótica | | |
| 11 | 14/09/2026 lunes | Lenguajes recursivos y recursivamente enumerables · Decidibilidad | | |
| 12 | 21/09/2026 lunes | El problema de Halting | | |
| 13 | 23/09/2026 miércoles | Reducciones, indecidibilidad y el teorema de Rice | | |
| 14 | 28/09/2026 lunes | Problemas P y NP | | |
| 15 | 30/09/2026 miércoles | NP-completitud · SAT y el teorema de Cook-Levin | | |
| 16 | 05/10/2026 lunes | Alfabetos, cadenas y lenguajes | | |
| 17 | 07/10/2026 miércoles | Expresiones regulares | | |
| 18 | 12/10/2026 lunes | Autómatas finitos deterministas | | |
| 19 | 14/10/2026 miércoles | Autómatas finitos no deterministas | | |
| 20 | 19/10/2026 lunes | Equivalencias: de AFN a AFD y de expresiones regulares a autómatas | | |
| 21 | 21/10/2026 miércoles | Propiedades de clausura, lema del bombeo y minimización | | |
| 22 | 26/10/2026 lunes | Análisis léxico | | |
| 23 | 28/10/2026 miércoles | Gramáticas libres de contexto | | |
| 24 | 02/11/2026 lunes | Diseño de gramáticas · Árboles de derivación y ambigüedad | | |
| 25 | 04/11/2026 miércoles | Evaluación de gramáticas · Simplificación y formas normales | | |
| 26 | 09/11/2026 lunes | Lenguajes: autómatas de pila y la jerarquía de Chomsky | | |
| 27 | 11/11/2026 miércoles | Parsers: análisis sintáctico descendente | | |
| 28 | 18/11/2026 miércoles | Parsers: análisis sintáctico ascendente | | |
| 29 | 23/11/2026 lunes | Intérpretes y compiladores | | |
| 30 | 25/11/2026 miércoles | Generación de código · Cierre del curso | | |