-
Re (1): Hay clases hoy? 26 Sep 202426/09/24 a las 14:26 hrs.2024-09-26 14:26:26
Stefan Malewski -
Hay clases hoy? 26 Sep 202426/09/24 a las 14:04 hrs.2024-09-26 14:04:26
Vicente Sandoval Covarrubias -
Tarea 3 24 Sep 202424/09/24 a las 23:00 hrs.2024-09-24 23:00:24
Stefan Malewski -
Tarea 4 (Fecha entrega: 26/09/2024) 12 Sep 202412/09/24 a las 19:39 hrs.2024-09-12 19:39:12
Stefan Malewski -
Ha quedado la grabación disponible de Jueves 12 de Septiembre 12 Sep 202412/09/24 a las 16:28 hrs.2024-09-12 16:28:12
Éric Tanter -
Acaba de empezar una clase virtual (Jueves 12 de Septiembre) 12 Sep 202412/09/24 a las 14:01 hrs.2024-09-12 14:01:12
Éric Tanter -
Re (2): clase mañana Miercoles 12 de sept 11 Sep 202411/09/24 a las 18:25 hrs.2024-09-11 18:25:11
Éric Tanter -
Re (1): clase mañana Miercoles 12 de sept 11 Sep 202411/09/24 a las 17:12 hrs.2024-09-11 17:12:11
Bruno Skarmeta -
clase mañana Miercoles 12 de sept 11 Sep 202411/09/24 a las 16:04 hrs.2024-09-11 16:04:11
Éric Tanter -
Tarea 3 (Fecha entrega: 12/09/2024) 6 Sep 202406/09/24 a las 09:48 hrs.2024-09-06 09:48:06
Stefan Malewski -
Tarea 2 5 Sep 202405/09/24 a las 21:33 hrs.2024-09-05 21:33:05
Stefan Malewski -
Re (1): donde sera la clase hoy? 5 Sep 202405/09/24 a las 12:29 hrs.2024-09-05 12:29:05
Stefan Malewski -
donde sera la clase hoy? 5 Sep 202405/09/24 a las 11:12 hrs.2024-09-05 11:12:05
Pablo Benario -
Tarea 1 29 Ago 202429/08/24 a las 19:14 hrs.2024-08-29 19:14:29
Stefan Malewski -
Tarea 2 (Fecha entrega: 05/09/2024) 29 Ago 202429/08/24 a las 18:50 hrs.2024-08-29 18:50:29
Stefan Malewski -
Tarea 1 (Fecha entrega: 29/08/2024) 29 Ago 202429/08/24 a las 18:49 hrs.2024-08-29 18:49:29
Stefan Malewski -
clase ahora en la P307 29 Ago 202429/08/24 a las 14:27 hrs.2024-08-29 14:27:29
Éric Tanter -
Re (4): Consulta Auxiliar 27 Ago 202427/08/24 a las 14:02 hrs.2024-08-27 14:02:27
Stefan Malewski -
Re (3): Consulta Auxiliar 27 Ago 202427/08/24 a las 13:21 hrs.2024-08-27 13:21:27
Vicente Sandoval Covarrubias -
Re (2): Consulta Auxiliar 27 Ago 202427/08/24 a las 11:12 hrs.2024-08-27 11:12:27
Valeria Gutierrez S. -
Re (1): Consulta Auxiliar 27 Ago 202427/08/24 a las 10:54 hrs.2024-08-27 10:54:27
Stefan Malewski -
Consulta Auxiliar 27 Ago 202427/08/24 a las 10:51 hrs.2024-08-27 10:51:27
Valeria Gutierrez S. -
Re (1): [duda] función o constructor 26 Ago 202426/08/24 a las 10:17 hrs.2024-08-26 10:17:26
Pablo Benario -
[duda] función o constructor 26 Ago 202426/08/24 a las 10:14 hrs.2024-08-26 10:14:26
Éric Tanter -
Re (3): horario clases 22 Ago 202422/08/24 a las 10:53 hrs.2024-08-22 10:53:22
Éric Tanter
U-Cursos ::
CC7125-1 Introducción a Coq: Lógica, Tipos y Verificación 2024, Primavera
Introducción a Coq: Lógica, Tipos y Verificación
CC7125-1 - Primavera 2024
- Historial