Teoria de la computació (TC)

Grupo TC 21

Guía docente de TC

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
Email 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.
Videocall meet.google.com/vnz-fxbe-ksd
Location 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 RACSO. 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 RACSO
21/02 1h teoria i 1h RACSO
27/02 problemes
28/02 RACSO
05/03 problemes
CFGs
06/03 teoria i RACSO
12/03 problemes
13/03 RACSO
19/03 problemes
CFGs i No regularitat
20/03 RACSO i teoria
Examen Parcial 1
04/04/2024
Expressions regulars i No Regularitat
02/04 teoria
Operacions regulars
10/04 RACSO
Exp. regulars i PDAs
16/04 problemes i teoria
Operacions Regulars / PDAs
17/04 RACSO / RACSO
No Regularitat
23/04 problemes
PDAs
24/04 RACSO
TM, Decidibilitat, Semi-Decidibilitat, Computabilitat
30/04 teoria
Decidibilitat vs Indecidibilitat
07/05 teoria
Reduccions
08/05 teoria i RACSO
Decidibilitat vs Indecidibilitat
14/05 problemes
reduccions a \(K\)
15/05 RACSO
reduccions WP i CFG
22/05 RACSO / RACSO
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