Auxiliar 1: Lógica Proposicional y Lean 4 Sep 202304/09/23 a las 22:32 hrs.2023-09-04 22:32:04

Bryan Ortiz

Aclaración P2 Auxiliar 4 4 Sep 202304/09/23 a las 19:19 hrs.2023-09-04 19:19:04

Máximo Flores Valenzuela

Semana 5: Derivaciones Estructuradas 3 Sep 202303/09/23 a las 22:08 hrs.2023-09-03 22:08:03

Bryan Ortiz

Auxiliar 4: Inducción y Recursión.pdf 3 Sep 202303/09/23 a las 21:55 hrs.2023-09-03 21:55:03

Bryan Ortiz

Clase 09 - Derivaciones Estructuradas.pdf 3 Sep 202303/09/23 a las 21:54 hrs.2023-09-03 21:54:03

Bryan Ortiz

Ejercicio 04 [Cátedra] (Clases 07 y 08) 31 Ago 202331/08/23 a las 12:38 hrs.2023-08-31 12:38:31

Alejandro Hevia A.

Se ha publicado un nuevo test (Quiz 4) 31 Ago 202331/08/23 a las 08:13 hrs.2023-08-31 08:13:31

Bryan Ortiz

Semana 4: Inducción y Recursión 28 Ago 202328/08/23 a las 11:24 hrs.2023-08-28 11:24:28

Bryan Ortiz

Auxiliar 3: Lógica de primer orden.pdf 28 Ago 202328/08/23 a las 10:01 hrs.2023-08-28 10:01:28

Lucas Torrealba A.

Clase 08 - Inducción Estructural y Recursión.pdf 27 Ago 202327/08/23 a las 22:05 hrs.2023-08-27 22:05:27

Bryan Ortiz

Clase 07 - Principios de prueba sobre los naturales.pdf 27 Ago 202327/08/23 a las 22:05 hrs.2023-08-27 22:05:27

Bryan Ortiz

Ejercicio 03 [Cátedra] (Clases 05 y 06).pdf 24 Ago 202324/08/23 a las 12:40 hrs.2023-08-24 12:40:24

Federico Olmedo

Se ha publicado un nuevo test (Quiz 3) 24 Ago 202324/08/23 a las 06:32 hrs.2023-08-24 06:32:24

Bryan Ortiz

Re (1): Auxiliar Lunes 21 de Agosto (sección 2) 21 Ago 202321/08/23 a las 10:46 hrs.2023-08-21 10:46:21

Lucas Torrealba A.

Auxiliar Lunes 21 de Agosto (sección 2) 21 Ago 202321/08/23 a las 10:45 hrs.2023-08-21 10:45:21

Lucas Torrealba A.

Semana 3: Lógica de predicados y técnicas de demostración 20 Ago 202320/08/23 a las 17:27 hrs.2023-08-20 17:27:20

Bryan Ortiz

Auxiliar 2: Semántica y lógica proposicional 20 Ago 202320/08/23 a las 17:24 hrs.2023-08-20 17:24:20

Bryan Ortiz

Demo - Clase 05.lean 20 Ago 202320/08/23 a las 17:22 hrs.2023-08-20 17:22:20

Bryan Ortiz

Lean - Cheatsheet.pdf 20 Ago 202320/08/23 a las 17:22 hrs.2023-08-20 17:22:20

Bryan Ortiz

Clase 06 - Técnicas de demostración.pdf 20 Ago 202320/08/23 a las 17:22 hrs.2023-08-20 17:22:20

Bryan Ortiz

Clase 05 - Lógica de Predicados.pdf 20 Ago 202320/08/23 a las 17:22 hrs.2023-08-20 17:22:20

Bryan Ortiz

Semana 2: Semántica, Completitud y Aplicaciones de Lógica Proposicional 17 Ago 202317/08/23 a las 16:16 hrs.2023-08-17 16:16:17

Bryan Ortiz

Ejercicio 02 [Cátedra] (Clases 03 y 04) 17 Ago 202317/08/23 a las 12:41 hrs.2023-08-17 12:41:17

Alejandro Hevia A.

Se ha publicado un nuevo test (Quiz 2) 16 Ago 202316/08/23 a las 23:09 hrs.2023-08-16 23:09:16

Bryan Ortiz

Pauta Auxiliar 1 15 Ago 202315/08/23 a las 19:00 hrs.2023-08-15 19:00:15

Bryan Ortiz