[S09] Terminación de STLC y PCF 9 OctOctober 9 at 11:552025-10-09 11:55:09

Éric Tanter

Re (2): Comentarios Tarea 1 7 OctOctober 7 at 20:012025-10-07 20:01:07

Tomás Díaz T.

Re (1): Comentarios Tarea 1 7 OctOctober 7 at 18:022025-10-07 18:02:07

Tomás Díaz T.

Comentarios Tarea 1 7 OctOctober 7 at 17:562025-10-07 17:56:07

Tomás Díaz T.

Tarea 1 7 OctOctober 7 at 17:462025-10-07 17:46:07

Tomás Díaz T.

[S08] Lógica constructiva con proof terms 5 OctOctober 5 at 09:472025-10-05 09:47:05

Éric Tanter

10_logica_constructiva_con_proof_terms.pdf 5 OctOctober 5 at 09:452025-10-05 09:45:05

Éric Tanter

09_logica_constructiva.pdf 5 OctOctober 5 at 09:452025-10-05 09:45:05

Éric Tanter

07_recursion_primitiva.pdf 5 OctOctober 5 at 09:442025-10-05 09:44:05

Éric Tanter

08_tipos_de_datos_finitos.pdf 5 OctOctober 5 at 09:442025-10-05 09:44:05

Éric Tanter

Auxiliar viernes 3 de octubre 1 OctOctober 1 at 09:182025-10-01 09:18:01

Tomás Díaz T.

control2.pdf 30 SepSeptember 30 at 08:132025-09-30 08:13:30

Tomás Díaz T.

Control 2 (Fecha entrega: 07/10/2025) 30 SepSeptember 30 at 08:082025-09-30 08:08:30

Tomás Díaz T.

control2.pdf 30 SepSeptember 30 at 08:082025-09-30 08:08:30

Tomás Díaz T.

Encuesta Docente de Mitad de Semestre (2023) 26 SepSeptember 26 at 13:012025-09-26 13:01:26

Acaba de empezar una clase virtual (Viernes 26 de Septiembre) 26 SepSeptember 26 at 08:292025-09-26 08:29:26

Tomás Díaz T.

[S07] Tipos de datos finitos y lógica constructiva 25 SepSeptember 25 at 16:572025-09-25 16:57:25

Éric Tanter

Extensión plazo Tarea 1 (lunes 29) 25 SepSeptember 25 at 12:082025-09-25 12:08:25

Tomás Díaz T.

Tarea 1 (Fecha entrega: 29/09/2025) 25 SepSeptember 25 at 12:072025-09-25 12:07:25

Tomás Díaz T.

Auxiliar viernes 12 12 SepSeptember 12 at 09:132025-09-12 09:13:12

Tomás Díaz T.

Acaba de empezar una clase virtual (Viernes 12 de Septiembre) 12 SepSeptember 12 at 09:122025-09-12 09:12:12

Tomás Díaz T.

07_recursion_primitiva.pdf 11 SepSeptember 11 at 11:562025-09-11 11:56:11

Éric Tanter

[S06] Recursión primitiva 11 SepSeptember 11 at 11:552025-09-11 11:55:11

Éric Tanter

Re (7): clase este jueves 11 SepSeptember 11 at 11:532025-09-11 11:53:11

Éric Tanter

Re (6): clase este jueves 11 SepSeptember 11 at 09:582025-09-11 09:58:11

Pablo Benario