• 

  [S09] Boletín Semanal 13 Oct 202313/10/23 at 01:392023-10-13 01:39:13

  Stefan Malewski

• 

  12 - pcf 13 Oct 202313/10/23 at 01:352023-10-13 01:35:13

  Stefan Malewski

• 

  12 - pcf 13 Oct 202313/10/23 at 01:352023-10-13 01:35:13

  Stefan Malewski

• 

  11 - pcf 13 Oct 202313/10/23 at 01:352023-10-13 01:35:13

  Stefan Malewski

• 

  11 - terminación del STLC 13 Oct 202313/10/23 at 01:342023-10-13 01:34:13

  Stefan Malewski

• 

  11 - Terminación del STLC 13 Oct 202313/10/23 at 01:342023-10-13 01:34:13

  Stefan Malewski

• 

  Apuntes lógica constructiva con proof terms 12 Oct 202312/10/23 at 17:342023-10-12 17:34:12

  Stefan Malewski

• 

  [S08] Boletín Semanal 12 Oct 202312/10/23 at 17:322023-10-12 17:32:12

  Stefan Malewski

• 

  10 - lógica constructiva con proof terms 12 Oct 202312/10/23 at 17:322023-10-12 17:32:12

  Stefan Malewski

• 

  Re (2): Clase jueves 12/10 11 Oct 202311/10/23 at 21:472023-10-11 21:47:11

  Ismael Correa A.

• 

  Re (1): Clase jueves 12/10 11 Oct 202311/10/23 at 17:062023-10-11 17:06:11

  Éric Tanter

• 

  Clase jueves 12/10 11 Oct 202311/10/23 at 16:002023-10-11 16:00:11

  Stefan Malewski

• 

  Tarea 2: Tipos de seguridad en un lenguaje con lambdas y estructuras finitas. (Fecha entrega: 25/10/2023) 6 Oct 202306/10/23 at 04:122023-10-06 04:12:06

  Stefan Malewski

• 

  Tarea 1 4 Oct 202304/10/23 at 20:492023-10-04 20:49:04

  Stefan Malewski

• 

  preguntas 5/10 4 Oct 202304/10/23 at 17:012023-10-04 17:01:04

  Éric Tanter

• 

  [S07] Boletín Semanal 29 Sep 202329/09/23 at 13:572023-09-29 13:57:29

  Stefan Malewski

• 

  Control 2: Funciones de órden superior (Fecha entrega: 04/10/2023) 29 Sep 202329/09/23 at 09:002023-09-29 09:00:29

  Stefan Malewski

• 

  09 - lógica constructiva 29 Sep 202329/09/23 at 08:492023-09-29 08:49:29

  Stefan Malewski

• 

  08 - tipos de datos finitos 29 Sep 202329/09/23 at 08:472023-09-29 08:47:29

  Stefan Malewski

• 

  licencia 27 Sep 202327/09/23 at 13:392023-09-27 13:39:27

  Éric Tanter

• 

  preguntas 28/9 27 Sep 202327/09/23 at 13:362023-09-27 13:36:27

  Éric Tanter

• 

  [S06] Boletín Semanal 21 Sep 202321/09/23 at 22:502023-09-21 22:50:21

  Stefan Malewski

• 

  07 - recursión primitiva 21 Sep 202321/09/23 at 22:472023-09-21 22:47:21

  Stefan Malewski

• 

  07 - recursión primitiva 21 Sep 202321/09/23 at 22:472023-09-21 22:47:21

  Stefan Malewski

• 

  preguntas 21/9 20 Sep 202320/09/23 at 17:332023-09-20 17:33:20

  Éric Tanter

• «
• 1
• 2
• 3
• 4
• 5
• 6
• »

• «
• 1
• 2
• 3
• 4
• 5
• 6
• »