[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

Auxiliar viernes 3 de octubre 1 Oct1 de Octubre a las 09:18 hrs.2025-10-01 09:18:01

Tomás Díaz T.

control2.pdf 30 Sep30 de Septiembre a las 08:13 hrs.2025-09-30 08:13:30

Tomás Díaz T.

Control 2 (Fecha entrega: 07/10/2025) 30 Sep30 de Septiembre a las 08:08 hrs.2025-09-30 08:08:30

Tomás Díaz T.

control2.pdf 30 Sep30 de Septiembre a las 08:08 hrs.2025-09-30 08:08:30

Tomás Díaz T.

Encuesta Docente de Mitad de Semestre (2023) 26 Sep26 de Septiembre a las 13:01 hrs.2025-09-26 13:01:26

Acaba de empezar una clase virtual (Viernes 26 de Septiembre) 26 Sep26 de Septiembre a las 08:29 hrs.2025-09-26 08:29:26

Tomás Díaz T.

[S07] Tipos de datos finitos y lógica constructiva 25 Sep25 de Septiembre a las 16:57 hrs.2025-09-25 16:57:25

Éric Tanter

Extensión plazo Tarea 1 (lunes 29) 25 Sep25 de Septiembre a las 12:08 hrs.2025-09-25 12:08:25

Tomás Díaz T.

Tarea 1 (Fecha entrega: 29/09/2025) 25 Sep25 de Septiembre a las 12:07 hrs.2025-09-25 12:07:25

Tomás Díaz T.

Auxiliar viernes 12 12 Sep12 de Septiembre a las 09:13 hrs.2025-09-12 09:13:12

Tomás Díaz T.

Acaba de empezar una clase virtual (Viernes 12 de Septiembre) 12 Sep12 de Septiembre a las 09:12 hrs.2025-09-12 09:12:12

Tomás Díaz T.

07_recursion_primitiva.pdf 11 Sep11 de Septiembre a las 11:56 hrs.2025-09-11 11:56:11

Éric Tanter

[S06] Recursión primitiva 11 Sep11 de Septiembre a las 11:55 hrs.2025-09-11 11:55:11

Éric Tanter

Re (7): clase este jueves 11 Sep11 de Septiembre a las 11:53 hrs.2025-09-11 11:53:11

Éric Tanter

Re (6): clase este jueves 11 Sep11 de Septiembre a las 09:58 hrs.2025-09-11 09:58:11

Pablo Benario