[S09] Boletín Semanal 13 Oct 202313/10/23 a las 01:39 hrs.2023-10-13 01:39:13

Stefan Malewski

12 - pcf 13 Oct 202313/10/23 a las 01:35 hrs.2023-10-13 01:35:13

Stefan Malewski

12 - pcf 13 Oct 202313/10/23 a las 01:35 hrs.2023-10-13 01:35:13

Stefan Malewski

11 - pcf 13 Oct 202313/10/23 a las 01:35 hrs.2023-10-13 01:35:13

Stefan Malewski

11 - terminación del STLC 13 Oct 202313/10/23 a las 01:34 hrs.2023-10-13 01:34:13

Stefan Malewski

11 - Terminación del STLC 13 Oct 202313/10/23 a las 01:34 hrs.2023-10-13 01:34:13

Stefan Malewski

Apuntes lógica constructiva con proof terms 12 Oct 202312/10/23 a las 17:34 hrs.2023-10-12 17:34:12

Stefan Malewski

[S08] Boletín Semanal 12 Oct 202312/10/23 a las 17:32 hrs.2023-10-12 17:32:12

Stefan Malewski

10 - lógica constructiva con proof terms 12 Oct 202312/10/23 a las 17:32 hrs.2023-10-12 17:32:12

Stefan Malewski

Re (2): Clase jueves 12/10 11 Oct 202311/10/23 a las 21:47 hrs.2023-10-11 21:47:11

Ismael Correa A.

Re (1): Clase jueves 12/10 11 Oct 202311/10/23 a las 17:06 hrs.2023-10-11 17:06:11

Éric Tanter

Clase jueves 12/10 11 Oct 202311/10/23 a las 16:00 hrs.2023-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 a las 04:12 hrs.2023-10-06 04:12:06

Stefan Malewski

Tarea 1 4 Oct 202304/10/23 a las 20:49 hrs.2023-10-04 20:49:04

Stefan Malewski

preguntas 5/10 4 Oct 202304/10/23 a las 17:01 hrs.2023-10-04 17:01:04

Éric Tanter

[S07] Boletín Semanal 29 Sep 202329/09/23 a las 13:57 hrs.2023-09-29 13:57:29

Stefan Malewski

Control 2: Funciones de órden superior (Fecha entrega: 04/10/2023) 29 Sep 202329/09/23 a las 09:00 hrs.2023-09-29 09:00:29

Stefan Malewski

09 - lógica constructiva 29 Sep 202329/09/23 a las 08:49 hrs.2023-09-29 08:49:29

Stefan Malewski

08 - tipos de datos finitos 29 Sep 202329/09/23 a las 08:47 hrs.2023-09-29 08:47:29

Stefan Malewski

licencia 27 Sep 202327/09/23 a las 13:39 hrs.2023-09-27 13:39:27

Éric Tanter

preguntas 28/9 27 Sep 202327/09/23 a las 13:36 hrs.2023-09-27 13:36:27

Éric Tanter

[S06] Boletín Semanal 21 Sep 202321/09/23 a las 22:50 hrs.2023-09-21 22:50:21

Stefan Malewski

07 - recursión primitiva 21 Sep 202321/09/23 a las 22:47 hrs.2023-09-21 22:47:21

Stefan Malewski

07 - recursión primitiva 21 Sep 202321/09/23 a las 22:47 hrs.2023-09-21 22:47:21

Stefan Malewski

preguntas 21/9 20 Sep 202320/09/23 a las 17:33 hrs.2023-09-20 17:33:20

Éric Tanter