• 

  Acaba de empezar una clase virtual (Viernes 24 de Octubre) 24 OctViernes 24 de Octubre a las 08:27 hrs.2025-10-24 08:27:24

  Tomás Díaz T.

• 

  14_tipos_existenciales.pdf 23 OctJueves 23 de Octubre a las 11:22 hrs.2025-10-23 11:22:23

  Éric Tanter

• 

  [S11] Tipos existenciales 23 OctJueves 23 de Octubre a las 11:22 hrs.2025-10-23 11:22:23

  Éric Tanter

• 

  Re (1): Petición para más plazo control 3 21 OctMartes 21 de Octubre a las 17:47 hrs.2025-10-21 17:47:21

  Tomás Díaz T.

• 

  Control 3 (Fecha entrega: 04/11/2025) 21 OctMartes 21 de Octubre a las 17:47 hrs.2025-10-21 17:47:21

  Tomás Díaz T.

• 

  Control 2 21 OctMartes 21 de Octubre a las 17:37 hrs.2025-10-21 17:37:21

  Tomás Díaz T.

• 

  Petición para más plazo control 3 21 OctMartes 21 de Octubre a las 14:32 hrs.2025-10-21 14:32:21

  Benjamín Duarte Nass

• 

  control3.pdf 21 OctMartes 21 de Octubre a las 11:58 hrs.2025-10-21 11:58:21

  Tomás Díaz T.

• 

  13_system_f.pdf 16 Oct16 de Octubre a las 14:13 hrs.2025-10-16 14:13:16

  Éric Tanter

• 

  [S10] System F: Lambda cálculo polimórfico 16 Oct16 de Octubre a las 14:12 hrs.2025-10-16 14:12:16

  Éric Tanter

• 

  No hay auxiliar viernes 17 de octubre 14 Oct14 de Octubre a las 19:46 hrs.2025-10-14 19:46:14

  Tomás Díaz T.

• 

  tarea2.pdf 10 Oct10 de Octubre a las 11:59 hrs.2025-10-10 11:59:10

  Tomás Díaz T.

• 

  Tarea 2 (Fecha entrega: 24/10/2025) 10 Oct10 de Octubre a las 11:58 hrs.2025-10-10 11:58:10

  Tomás Díaz T.

• 

  12_pcf.pdf 9 Oct9 de Octubre a las 11:56 hrs.2025-10-09 11:56:09

  Éric Tanter

• 

  11_terminacion_del_STLC.pdf 9 Oct9 de Octubre a las 11:55 hrs.2025-10-09 11:55:09

  Éric Tanter

• 

  [S09] Terminación de STLC y PCF 9 Oct9 de Octubre a las 11:55 hrs.2025-10-09 11:55:09

  Éric Tanter

• 

  Re (2): Comentarios Tarea 1 7 Oct7 de Octubre a las 20:01 hrs.2025-10-07 20:01:07

  Tomás Díaz T.

• 

  Re (1): Comentarios Tarea 1 7 Oct7 de Octubre a las 18:02 hrs.2025-10-07 18:02:07

  Tomás Díaz T.

• 

  Comentarios Tarea 1 7 Oct7 de Octubre a las 17:56 hrs.2025-10-07 17:56:07

  Tomás Díaz T.

• 

  Tarea 1 7 Oct7 de Octubre a las 17:46 hrs.2025-10-07 17:46:07

  Tomás Díaz T.

• 

  [S08] Lógica constructiva con proof terms 5 Oct5 de Octubre a las 09:47 hrs.2025-10-05 09:47:05

  Éric Tanter

• 

  10_logica_constructiva_con_proof_terms.pdf 5 Oct5 de Octubre a las 09:45 hrs.2025-10-05 09:45:05

  Éric Tanter

• 

  09_logica_constructiva.pdf 5 Oct5 de Octubre a las 09:45 hrs.2025-10-05 09:45:05

  Éric Tanter

• 

  07_recursion_primitiva.pdf 5 Oct5 de Octubre a las 09:44 hrs.2025-10-05 09:44:05

  Éric Tanter

• 

  08_tipos_de_datos_finitos.pdf 5 Oct5 de Octubre a las 09:44 hrs.2025-10-05 09:44:05

  Éric Tanter

• 1
• 2
• 3
• 4
• »

• 1
• 2
• 3
• 4
• »