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

Se ha publicado un nuevo test (Quiz 1) 5 Ago5 de Agosto a las 09:56 hrs.2025-08-05 09:56:05

Máximo Flores Valenzuela

Semana 1 4 Ago4 de Agosto a las 14:07 hrs.2025-08-04 14:07:04

Federico Olmedo

Lean Cheatsheet.pdf 4 Ago4 de Agosto a las 14:05 hrs.2025-08-04 14:05:04

Federico Olmedo

Lean 3 Web Editor 4 Ago4 de Agosto a las 12:46 hrs.2025-08-04 12:46:04

Federico Olmedo

Control 3 4 Ago4 de Agosto a las 07:59 hrs.2025-08-04 07:59:04

Máximo Flores Valenzuela

Control 2 4 Ago4 de Agosto a las 07:58 hrs.2025-08-04 07:58:04

Máximo Flores Valenzuela

Re (1): Bienvenida y comienzo del curso 4 Ago4 de Agosto a las 07:54 hrs.2025-08-04 07:54:04

Máximo Flores Valenzuela

Demo_Lean_Clase_02.lean 4 Ago4 de Agosto a las 07:51 hrs.2025-08-04 07:51:04

Máximo Flores Valenzuela

Clase 2: Pruebas por deducción natural en Lean 4 Ago4 de Agosto a las 07:51 hrs.2025-08-04 07:51:04

Máximo Flores Valenzuela

Clase 1: Introduccion a la lógica proposicional 4 Ago4 de Agosto a las 07:51 hrs.2025-08-04 07:51:04

Máximo Flores Valenzuela

El servicio 'Enlaces' ha sido activado 3 Ago3 de Agosto a las 19:36 hrs.2025-08-03 19:36:03

Federico Olmedo

El servicio 'Estadísticas' ha sido desactivado 3 Ago3 de Agosto a las 19:36 hrs.2025-08-03 19:36:03

Federico Olmedo

El servicio 'Blog' ha sido activado 2 Ago2 de Agosto a las 15:46 hrs.2025-08-02 15:46:02

Federico Olmedo

Bienvenida y comienzo del curso 1 Ago1 de Agosto a las 09:26 hrs.2025-08-01 09:26:01

Federico Olmedo

El servicio 'Clase Virtual' ha sido desactivado 31 Jul31 de Julio a las 15:13 hrs.2025-07-31 15:13:31

Federico Olmedo

El servicio 'Bibliografía' ha sido activado 31 Jul31 de Julio a las 15:13 hrs.2025-07-31 15:13:31

Federico Olmedo

El servicio 'Material Alumnos' ha sido desactivado 31 Jul31 de Julio a las 15:13 hrs.2025-07-31 15:13:31

Federico Olmedo