-
Demo Lean - Clase 05.lean 18 Ago18 de Agosto a las 13:33 hrs.2025-08-18 13:33:18
Máximo Flores Valenzuela -
Anotaciones Auxiliar 2.pdf 18 Ago18 de Agosto a las 12:31 hrs.2025-08-18 12:31:18
Sergio Rojas H. -
Clase 6: Técnicas de demostración 18 Ago18 de Agosto a las 07:44 hrs.2025-08-18 07:44:18
Máximo Flores Valenzuela -
Clase 5: Lógica de predicados 18 Ago18 de Agosto a las 07:44 hrs.2025-08-18 07:44:18
Máximo Flores Valenzuela -
Se ha publicado un nuevo test (Quiz 3) 18 Ago18 de Agosto a las 07:44 hrs.2025-08-18 07:44:18
Máximo Flores Valenzuela -
Auxiliar 2: Lógica Proposicional y Modelamiento.pdf 14 Ago14 de Agosto a las 11:58 hrs.2025-08-14 11:58:14
Sergio Rojas H. -
Ejercicios 02 (Clases 3 y 4).pdf 12 Ago12 de Agosto a las 12:15 hrs.2025-08-12 12:15:12
Federico Olmedo -
Se ha publicado un nuevo test (Quiz 2) 11 Ago11 de Agosto a las 13:56 hrs.2025-08-11 13:56:11
Máximo Flores Valenzuela -
Semana 2 8 Ago8 de Agosto a las 18:34 hrs.2025-08-08 18:34:08
Máximo Flores Valenzuela -
Clase 4: Lógica proposicional 8 Ago8 de Agosto a las 18:33 hrs.2025-08-08 18:33:08
Máximo Flores Valenzuela -
Clase 3: Semántica de la lógica proposicional 8 Ago8 de Agosto a las 18:33 hrs.2025-08-08 18:33:08
Máximo Flores Valenzuela -
Fecha Control 1 8 Ago8 de Agosto a las 16:12 hrs.2025-08-08 16:12:08
Federico Olmedo -
Clase 0: Presentación 8 Ago8 de Agosto a las 16:08 hrs.2025-08-08 16:08:08
Federico Olmedo -
Control 1 8 Ago8 de Agosto a las 16:05 hrs.2025-08-08 16:05:08
Federico Olmedo -
Re (1): Formato de clases auxiliares 7 Ago7 de Agosto a las 15:12 hrs.2025-08-07 15:12:07
Máximo Flores Valenzuela -
Material extra I: Traducción de oraciones a lenguaje lógico 7 Ago7 de Agosto a las 15:10 hrs.2025-08-07 15:10:07
Máximo Flores Valenzuela -
Anotaciones Auxiliar 1 7 Ago7 de Agosto a las 14:05 hrs.2025-08-07 14:05:07
Máximo Flores Valenzuela -
Auxiliar 1: Introducción a la lógica proposicional 7 Ago7 de Agosto a las 12:07 hrs.2025-08-07 12:07:07
Máximo Flores Valenzuela -
Formato de clases auxiliares 6 Ago6 de Agosto a las 17:33 hrs.2025-08-06 17:33:06
Máximo Flores Valenzuela -
grupo de whatsapp 5 Ago5 de Agosto a las 18:25 hrs.2025-08-05 18:25:05
Juan Erazo
-
Ejercicios 01 (Clases 1 y 2).pdf 5 Ago5 de Agosto a las 12:40 hrs.2025-08-05 12:40:05
Federico Olmedo -
Bibliografía del curso 5 Ago5 de Agosto a las 10:03 hrs.2025-08-05 10:03:05
Máximo Flores Valenzuela -
Concrete Mathematics - A Foundation for Computer Science 5 Ago5 de Agosto a las 10:01 hrs.2025-08-05 10:01:05
Máximo Flores Valenzuela -
Introduction to Structured Derivations 5 Ago5 de Agosto a las 10:00 hrs.2025-08-05 10:00:05
Máximo Flores Valenzuela -
Discrete Mathematics and Applications 5 Ago5 de Agosto a las 09:59 hrs.2025-08-05 09:59:05
Máximo Flores Valenzuela