Re (2): Dudas frecuentes con Lean 15 Ago 202315/08/23 a las 18:59 hrs.2023-08-15 18:59:15

Máximo Flores Valenzuela

Re (1): Dudas frecuentes con Lean 15 Ago 202315/08/23 a las 18:53 hrs.2023-08-15 18:53:15

Luis M. Cáceres

Dudas frecuentes con Lean 14 Ago 202314/08/23 a las 21:57 hrs.2023-08-14 21:57:14

Máximo Flores Valenzuela

Auxiliar 1 14 Ago 202314/08/23 a las 11:56 hrs.2023-08-14 11:56:14

Máximo Flores Valenzuela

Clase 04 - Lógica proposicional.pdf 13 Ago 202313/08/23 a las 19:34 hrs.2023-08-13 19:34:13

Bryan Ortiz

Clase 03 - Semántica de la lógica proposicional.pdf 13 Ago 202313/08/23 a las 19:34 hrs.2023-08-13 19:34:13

Bryan Ortiz

Discrete Mathematics and its Applications (6th Edition). 11 Ago 202311/08/23 a las 13:42 hrs.2023-08-11 13:42:11

Bryan Ortiz

Ejercicio 01 [Catedra] (Clases 01 y 02).pdf 10 Ago 202310/08/23 a las 12:33 hrs.2023-08-10 12:33:10

Alejandro Hevia A.

Se ha publicado un nuevo test (Quiz 1) 10 Ago 202310/08/23 a las 09:55 hrs.2023-08-10 09:55:10

Bryan Ortiz

Lean Web Editor. - Alternativa 10 Ago 202310/08/23 a las 08:37 hrs.2023-08-10 08:37:10

Alejandro Hevia A.

Clase de mañana jueves (10 de agosto) 9 Ago 202309/08/23 a las 16:31 hrs.2023-08-09 16:31:09

Federico Olmedo

Lean web 9 Ago 202309/08/23 a las 16:30 hrs.2023-08-09 16:30:09

Federico Olmedo

Recuerdo modalidad de cátedra hoy martes 8 Ago 202308/08/23 a las 10:32 hrs.2023-08-08 10:32:08

Alejandro Hevia A.

Semana 1: Lógica Proposicional y Pruebas en Lean 7 Ago 202307/08/23 a las 22:07 hrs.2023-08-07 22:07:07

Bryan Ortiz

Demo - Clase 02.lean 7 Ago 202307/08/23 a las 22:02 hrs.2023-08-07 22:02:07

Bryan Ortiz

Clase 02 - Pruebas por deducción natural en Lean.pdf 7 Ago 202307/08/23 a las 22:02 hrs.2023-08-07 22:02:07

Bryan Ortiz

Clase 01 - Introduccion a la lógica proposicional.pdf 7 Ago 202307/08/23 a las 22:02 hrs.2023-08-07 22:02:07

Bryan Ortiz

Cronograma.pdf 7 Ago 202307/08/23 a las 16:39 hrs.2023-08-07 16:39:07

Federico Olmedo

Reglas y presentación del curso.pdf 7 Ago 202307/08/23 a las 13:03 hrs.2023-08-07 13:03:07

Federico Olmedo

Re (2): Bienvenida y comienzo del curso 4 Ago 202304/08/23 a las 18:27 hrs.2023-08-04 18:27:04

Alejandro Hevia A.

Re (1): Bienvenida y comienzo del curso 4 Ago 202304/08/23 a las 17:37 hrs.2023-08-04 17:37:04

Daniel Valenzuela M.

Bienvenida y comienzo del curso 4 Ago 202304/08/23 a las 17:20 hrs.2023-08-04 17:20:04

Federico Olmedo

Control 3 3 Ago 202303/08/23 a las 11:21 hrs.2023-08-03 11:21:03

Federico Olmedo

Control 2 3 Ago 202303/08/23 a las 11:20 hrs.2023-08-03 11:20:03

Federico Olmedo

Control 1 3 Ago 202303/08/23 a las 11:10 hrs.2023-08-03 11:10:03

Federico Olmedo