-
Demo Lean - Clase 05.lean 18 AugAugust 18 at 13:332025-08-18 13:33:18
Máximo Flores Valenzuela -
Anotaciones Auxiliar 2.pdf 18 AugAugust 18 at 12:312025-08-18 12:31:18
Sergio Rojas H. -
Clase 6: Técnicas de demostración 18 AugAugust 18 at 07:442025-08-18 07:44:18
Máximo Flores Valenzuela -
Clase 5: Lógica de predicados 18 AugAugust 18 at 07:442025-08-18 07:44:18
Máximo Flores Valenzuela -
Se ha publicado un nuevo test (Quiz 3) 18 AugAugust 18 at 07:442025-08-18 07:44:18
Máximo Flores Valenzuela -
Auxiliar 2: Lógica Proposicional y Modelamiento.pdf 14 AugAugust 14 at 11:582025-08-14 11:58:14
Sergio Rojas H. -
Ejercicios 02 (Clases 3 y 4).pdf 12 AugAugust 12 at 12:152025-08-12 12:15:12
Federico Olmedo -
Se ha publicado un nuevo test (Quiz 2) 11 AugAugust 11 at 13:562025-08-11 13:56:11
Máximo Flores Valenzuela -
Semana 2 8 AugAugust 8 at 18:342025-08-08 18:34:08
Máximo Flores Valenzuela -
Clase 4: Lógica proposicional 8 AugAugust 8 at 18:332025-08-08 18:33:08
Máximo Flores Valenzuela -
Clase 3: Semántica de la lógica proposicional 8 AugAugust 8 at 18:332025-08-08 18:33:08
Máximo Flores Valenzuela -
Fecha Control 1 8 AugAugust 8 at 16:122025-08-08 16:12:08
Federico Olmedo -
Clase 0: Presentación 8 AugAugust 8 at 16:082025-08-08 16:08:08
Federico Olmedo -
Control 1 8 AugAugust 8 at 16:052025-08-08 16:05:08
Federico Olmedo -
Re (1): Formato de clases auxiliares 7 AugAugust 7 at 15:122025-08-07 15:12:07
Máximo Flores Valenzuela -
Material extra I: Traducción de oraciones a lenguaje lógico 7 AugAugust 7 at 15:102025-08-07 15:10:07
Máximo Flores Valenzuela -
Anotaciones Auxiliar 1 7 AugAugust 7 at 14:052025-08-07 14:05:07
Máximo Flores Valenzuela -
Auxiliar 1: Introducción a la lógica proposicional 7 AugAugust 7 at 12:072025-08-07 12:07:07
Máximo Flores Valenzuela -
Formato de clases auxiliares 6 AugAugust 6 at 17:332025-08-06 17:33:06
Máximo Flores Valenzuela -
grupo de whatsapp 5 AugAugust 5 at 18:252025-08-05 18:25:05
Juan Erazo -
Ejercicios 01 (Clases 1 y 2).pdf 5 AugAugust 5 at 12:402025-08-05 12:40:05
Federico Olmedo -
Bibliografía del curso 5 AugAugust 5 at 10:032025-08-05 10:03:05
Máximo Flores Valenzuela -
Concrete Mathematics - A Foundation for Computer Science 5 AugAugust 5 at 10:012025-08-05 10:01:05
Máximo Flores Valenzuela -
Introduction to Structured Derivations 5 AugAugust 5 at 10:002025-08-05 10:00:05
Máximo Flores Valenzuela -
Discrete Mathematics and Applications 5 AugAugust 5 at 09:592025-08-05 09:59:05
Máximo Flores Valenzuela
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