-
Se ha publicado un nuevo test (Quiz 1) 5 AugAugust 5 at 09:562025-08-05 09:56:05
Máximo Flores Valenzuela -
Semana 1 4 AugAugust 4 at 14:072025-08-04 14:07:04
Federico Olmedo -
Lean Cheatsheet.pdf 4 AugAugust 4 at 14:052025-08-04 14:05:04
Federico Olmedo -
Lean 3 Web Editor 4 AugAugust 4 at 12:462025-08-04 12:46:04
Federico Olmedo -
Control 3 4 AugAugust 4 at 07:592025-08-04 07:59:04
Máximo Flores Valenzuela -
Control 2 4 AugAugust 4 at 07:582025-08-04 07:58:04
Máximo Flores Valenzuela -
Re (1): Bienvenida y comienzo del curso 4 AugAugust 4 at 07:542025-08-04 07:54:04
Máximo Flores Valenzuela -
Demo_Lean_Clase_02.lean 4 AugAugust 4 at 07:512025-08-04 07:51:04
Máximo Flores Valenzuela -
Clase 2: Pruebas por deducción natural en Lean 4 AugAugust 4 at 07:512025-08-04 07:51:04
Máximo Flores Valenzuela -
Clase 1: Introduccion a la lógica proposicional 4 AugAugust 4 at 07:512025-08-04 07:51:04
Máximo Flores Valenzuela -
El servicio 'Enlaces' ha sido activado 3 AugAugust 3 at 19:362025-08-03 19:36:03
Federico Olmedo -
El servicio 'Estadísticas' ha sido desactivado 3 AugAugust 3 at 19:362025-08-03 19:36:03
Federico Olmedo -
El servicio 'Blog' ha sido activado 2 AugAugust 2 at 15:462025-08-02 15:46:02
Federico Olmedo -
Bienvenida y comienzo del curso 1 AugAugust 1 at 09:262025-08-01 09:26:01
Federico Olmedo -
El servicio 'Clase Virtual' ha sido desactivado 31 JulJuly 31 at 15:132025-07-31 15:13:31
Federico Olmedo -
El servicio 'Bibliografía' ha sido activado 31 JulJuly 31 at 15:132025-07-31 15:13:31
Federico Olmedo -
El servicio 'Material Alumnos' ha sido desactivado 31 JulJuly 31 at 15:132025-07-31 15:13:31
Federico Olmedo -
El servicio 'Tests' ha sido activado 31 JulJuly 31 at 15:132025-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