-
Se ha publicado un nuevo test (Quiz 1) 5 Ago5 de Agosto a las 09:56 hrs.2025-08-05 09:56:05
Máximo Flores Valenzuela -
Semana 1 4 Ago4 de Agosto a las 14:07 hrs.2025-08-04 14:07:04
Federico Olmedo -
Lean Cheatsheet.pdf 4 Ago4 de Agosto a las 14:05 hrs.2025-08-04 14:05:04
Federico Olmedo -
Lean 3 Web Editor 4 Ago4 de Agosto a las 12:46 hrs.2025-08-04 12:46:04
Federico Olmedo -
Control 3 4 Ago4 de Agosto a las 07:59 hrs.2025-08-04 07:59:04
Máximo Flores Valenzuela -
Control 2 4 Ago4 de Agosto a las 07:58 hrs.2025-08-04 07:58:04
Máximo Flores Valenzuela -
Re (1): Bienvenida y comienzo del curso 4 Ago4 de Agosto a las 07:54 hrs.2025-08-04 07:54:04
Máximo Flores Valenzuela -
Demo_Lean_Clase_02.lean 4 Ago4 de Agosto a las 07:51 hrs.2025-08-04 07:51:04
Máximo Flores Valenzuela -
Clase 2: Pruebas por deducción natural en Lean 4 Ago4 de Agosto a las 07:51 hrs.2025-08-04 07:51:04
Máximo Flores Valenzuela -
Clase 1: Introduccion a la lógica proposicional 4 Ago4 de Agosto a las 07:51 hrs.2025-08-04 07:51:04
Máximo Flores Valenzuela -
El servicio 'Enlaces' ha sido activado 3 Ago3 de Agosto a las 19:36 hrs.2025-08-03 19:36:03
Federico Olmedo -
El servicio 'Estadísticas' ha sido desactivado 3 Ago3 de Agosto a las 19:36 hrs.2025-08-03 19:36:03
Federico Olmedo -
El servicio 'Blog' ha sido activado 2 Ago2 de Agosto a las 15:46 hrs.2025-08-02 15:46:02
Federico Olmedo -
Bienvenida y comienzo del curso 1 Ago1 de Agosto a las 09:26 hrs.2025-08-01 09:26:01
Federico Olmedo -
El servicio 'Clase Virtual' ha sido desactivado 31 Jul31 de Julio a las 15:13 hrs.2025-07-31 15:13:31
Federico Olmedo -
El servicio 'Bibliografía' ha sido activado 31 Jul31 de Julio a las 15:13 hrs.2025-07-31 15:13:31
Federico Olmedo -
El servicio 'Material Alumnos' ha sido desactivado 31 Jul31 de Julio a las 15:13 hrs.2025-07-31 15:13:31
Federico Olmedo -
El servicio 'Tests' ha sido activado 31 Jul31 de Julio a las 15:13 hrs.2025-07-31 15:13:31
Federico Olmedo
U-Cursos ::
CC3101-1 Matemáticas Discretas para la Computación 2025, Primavera
Matemáticas Discretas para la Computación
CC3101-1 - Primavera 2025
- Historial