-
Re (2): Dudas frecuentes con Lean 15 Aug 202315/08/23 at 18:592023-08-15 18:59:15
Máximo Flores Valenzuela -
Re (1): Dudas frecuentes con Lean 15 Aug 202315/08/23 at 18:532023-08-15 18:53:15
Luis M. Cáceres -
Dudas frecuentes con Lean 14 Aug 202314/08/23 at 21:572023-08-14 21:57:14
Máximo Flores Valenzuela -
Auxiliar 1 14 Aug 202314/08/23 at 11:562023-08-14 11:56:14
Máximo Flores Valenzuela -
Clase 04 - Lógica proposicional.pdf 13 Aug 202313/08/23 at 19:342023-08-13 19:34:13
Bryan Ortiz -
Clase 03 - Semántica de la lógica proposicional.pdf 13 Aug 202313/08/23 at 19:342023-08-13 19:34:13
Bryan Ortiz -
Discrete Mathematics and its Applications (6th Edition). 11 Aug 202311/08/23 at 13:422023-08-11 13:42:11
Bryan Ortiz -
Ejercicio 01 [Catedra] (Clases 01 y 02).pdf 10 Aug 202310/08/23 at 12:332023-08-10 12:33:10
Alejandro Hevia A. -
Se ha publicado un nuevo test (Quiz 1) 10 Aug 202310/08/23 at 09:552023-08-10 09:55:10
Bryan Ortiz -
Lean Web Editor. - Alternativa 10 Aug 202310/08/23 at 08:372023-08-10 08:37:10
Alejandro Hevia A. -
Clase de mañana jueves (10 de agosto) 9 Aug 202309/08/23 at 16:312023-08-09 16:31:09
Federico Olmedo -
Lean web 9 Aug 202309/08/23 at 16:302023-08-09 16:30:09
Federico Olmedo -
Recuerdo modalidad de cátedra hoy martes 8 Aug 202308/08/23 at 10:322023-08-08 10:32:08
Alejandro Hevia A. -
Semana 1: Lógica Proposicional y Pruebas en Lean 7 Aug 202307/08/23 at 22:072023-08-07 22:07:07
Bryan Ortiz -
Demo - Clase 02.lean 7 Aug 202307/08/23 at 22:022023-08-07 22:02:07
Bryan Ortiz -
Clase 02 - Pruebas por deducción natural en Lean.pdf 7 Aug 202307/08/23 at 22:022023-08-07 22:02:07
Bryan Ortiz -
Clase 01 - Introduccion a la lógica proposicional.pdf 7 Aug 202307/08/23 at 22:022023-08-07 22:02:07
Bryan Ortiz -
Cronograma.pdf 7 Aug 202307/08/23 at 16:392023-08-07 16:39:07
Federico Olmedo -
Reglas y presentación del curso.pdf 7 Aug 202307/08/23 at 13:032023-08-07 13:03:07
Federico Olmedo -
Re (2): Bienvenida y comienzo del curso 4 Aug 202304/08/23 at 18:272023-08-04 18:27:04
Alejandro Hevia A. -
Re (1): Bienvenida y comienzo del curso 4 Aug 202304/08/23 at 17:372023-08-04 17:37:04
Daniel Valenzuela M. -
Bienvenida y comienzo del curso 4 Aug 202304/08/23 at 17:202023-08-04 17:20:04
Federico Olmedo -
Control 3 3 Aug 202303/08/23 at 11:212023-08-03 11:21:03
Federico Olmedo -
Control 2 3 Aug 202303/08/23 at 11:202023-08-03 11:20:03
Federico Olmedo -
Control 1 3 Aug 202303/08/23 at 11:102023-08-03 11:10:03
Federico Olmedo
U-Cursos ::
CC3101-1 Matemáticas Discretas para la Computación 2023, Primavera
Matemáticas Discretas para la Computación
CC3101-1 - Primavera 2023
- Historial