- 
		Demo Lean - Clase 05.lean 18 Ago18 de Agosto a las 13:33 hrs.2025-08-18 13:33:18 Máximo Flores Valenzuela 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. 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 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 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 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. 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 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 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 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 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 Máximo Flores Valenzuela
- 
		Fecha Control 1 8 Ago8 de Agosto a las 16:12 hrs.2025-08-08 16:12:08 Federico Olmedo Federico Olmedo
- 
		Clase 0: Presentación 8 Ago8 de Agosto a las 16:08 hrs.2025-08-08 16:08:08 Federico Olmedo Federico Olmedo
- 
		Control 1 8 Ago8 de Agosto a las 16:05 hrs.2025-08-08 16:05:08 Federico Olmedo 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 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 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 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 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 Máximo Flores Valenzuela
- 
		grupo de whatsapp 5 Ago5 de Agosto a las 18:25 hrs.2025-08-05 18:25:05Juan 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 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 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 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 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 Máximo Flores Valenzuela