Teoria de la computació (TC)
Grupo TC 21
Responsable de TC: Carme Àlvarez Faura
Para cuestiones administrativas o preguntas sobre el curso, enviar una email al responsable.
Página principal de TC (para avisos, material docente etc)
Grupo TC 21: Martes 16:00 - 18:00 (aula A5101)
Grupo TC 21: Miercoles 15:00 - 17:00 (aula A5S102)
- Consultas
- ilario.bonacina+TC@upc.edu
Miercoles, 12:00 – 13:00
Enviar un e-mail para confirmar antes de pasar por mi despacho o concordar un G-Meet.
meet.google.com/vnz-fxbe-ksd
Omega-223
- Dinàmica de las clases de problemas
- los estudiantes salen a la pizarra a explicar soluciones a problemas que se les han asignado con anterioridad. El profesor interviene para corregir una solución, matizar un argumento, o poner énfasis en aquellos aspectos que considera relevantes y que no han quedado del todo claros en la explicación del alumno. También toma nota de cada presentación para tenerla en cuenta en el momento de la evaluación de la asignatura.
- Dinàmica de las clases de laboratorio
- los estudiantes resuelven problemas al ordenador en la herramienta de correción automàtica . El profesor está presente para atender dudas sobre los ejercicios, problemas o la teoria. Los estudiantes también pueden aprovechar estas clases para preparar los problemas que se les han asignado con anterioridad, y para estudiar el material teórico si no ho han hecho con anterioridad por su cuenta.
Sesiones
- Teoria de Llenguatges
- 13/02 teoria
20/02 problemes - DFAs
- 14/02 1h teoria i 1h
21/02 1h teoria i 1h
27/02 problemes
28/02
05/03 problemes - CFGs
- 06/03 teoria i
12/03 problemes
13/03
19/03 problemes - CFGs i No regularitat
- 20/03 i teoria
- Examen Parcial 1
- 04/04/2024
- Expressions regulars i No Regularitat
- 02/04 teoria
- Operacions regulars
- 10/04
- Exp. regulars i PDAs
- 16/04 problemes i teoria
- Operacions Regulars / PDAs
- 17/04 /
- No Regularitat
- 23/04 problemes
- PDAs
- 24/04
- TM, Decidibilitat, Semi-Decidibilitat, Computabilitat
- 30/04 teoria
- Decidibilitat vs Indecidibilitat
- 07/05 teoria
- Reduccions
- 08/05 teoria i
- Decidibilitat vs Indecidibilitat
- 14/05 problemes
- reduccions a \(K\)
- 15/05
- reduccions WP i CFG
- 22/05 /
- Decidibilitat vs indecidibilitat
- 28/05 problemes
- Reduccions que no es poden implementar amb el RACSO
- 29/05 problemes
- Examen Parcial 2
- 12/06/2024
- Examen Final
- 20/06/2024
Referencias
-
Teoria de la Computació - Llenguatges regulars i incontextuals (Catalan)
Rafel Cases, Lluís Màrquez -
Teoria de la Computació - Computabilitat i indecibilitat (Catalan)
Maria Serna, Carme Àlvarez, Rafel Cases, Antoni Lozano -
Introduction to the Theory of Computation (English)
M. Sipser. Third Edition, Cengage, 2012
Disponible en la Biblioteca UPC
(list of errata) -
Automata and Computability (English)
Dexter C. Kozen, Springer, 1997
Disponible en la Biblioteca UPC