CC3101-1 Matemáticas Discretas para la Computación

Ejercicio 1 25 Aug 202125/08/21 at 22:382021-08-25 22:38:25

Félix Ignacio Melo Avilés
Horarios de consulta (profes) 25 Aug 202125/08/21 at 11:522021-08-25 11:52:25

Federico Olmedo
Creación de Grupos 24 Aug 202124/08/21 at 19:452021-08-24 19:45:24

Nahuel Gómez Raguileo
Para quienes vitrinean o estan en el DCC 24 Aug 202124/08/21 at 19:012021-08-24 19:01:24

Fernanda Sanchirico B.
Se ha publicado un nuevo test (Quiz - Clase 3) 24 Aug 202124/08/21 at 13:152021-08-24 13:15:24

Nahuel Gómez Raguileo
Clase 4: Lógica proposicional - Razonamiento Ecuacional 24 Aug 202124/08/21 at 12:042021-08-24 12:04:24

Nelson Marambio Q.
Clase 3: Semántica de la lógica proposicional 24 Aug 202124/08/21 at 12:042021-08-24 12:04:24

Nelson Marambio Q.
Re (3): Consulta Auxiliar de Lean 23 Aug 202123/08/21 at 21:022021-08-23 21:02:23

Luciano Massa Pérez
Re (2): Consulta Auxiliar de Lean 23 Aug 202123/08/21 at 20:202021-08-23 20:20:23

Sebastián Sabat M.
Re (1): Consulta Auxiliar de Lean 23 Aug 202123/08/21 at 20:152021-08-23 20:15:23

Javier Oliva S.
Consulta Auxiliar de Lean 23 Aug 202123/08/21 at 20:062021-08-23 20:06:23

Sebastián Sabat M.
Quiz - Clase 2 23 Aug 202123/08/21 at 16:062021-08-23 16:06:23

Nahuel Gómez Raguileo
Quiz - Clase 1 23 Aug 202123/08/21 at 16:062021-08-23 16:06:23

Nahuel Gómez Raguileo
Re (2): Primera Auxiliar 23 Aug 202123/08/21 at 12:342021-08-23 12:34:23

Fernanda Sanchirico B.
Re (1): Primera Auxiliar 23 Aug 202123/08/21 at 12:332021-08-23 12:33:23

Fernanda Sanchirico B.
Ejercicio 1: Deduccion natural en LEAN (Fecha entrega: 23/08/2021) 23 Aug 202123/08/21 at 12:292021-08-23 12:29:23

Fernanda Sanchirico B.
Enunciado Ejercicio 1 [TXT] 23 Aug 202123/08/21 at 12:272021-08-23 12:27:23

Fernanda Sanchirico B.
Enunciado Ejercicio 1 [LEAN] 23 Aug 202123/08/21 at 12:262021-08-23 12:26:23

Fernanda Sanchirico B.
Primera Auxiliar 23 Aug 202123/08/21 at 10:262021-08-23 10:26:23

Fernanda Sanchirico B.
Auxiliar 1: Resolucion 23 Aug 202123/08/21 at 09:062021-08-23 09:06:23

Fernanda Sanchirico B.
Clases de consulta 23 Aug 202123/08/21 at 08:222021-08-23 08:22:23

Federico Olmedo
Clases de consulta 23 Aug 202123/08/21 at 08:172021-08-23 08:17:23

Federico Olmedo
Primer auxiliar y Ejercicio 1 23 Aug 202123/08/21 at 07:442021-08-23 07:44:23

Federico Olmedo
Semana 1 - Introducción a la lógica proposicional y Pruebas por deducción natura 23 Aug 202123/08/21 at 07:422021-08-23 07:42:23

Federico Olmedo
Semana 2 - Semántica de la lógica proposicional y razonamiento ecuacional 23 Aug 202123/08/21 at 07:412021-08-23 07:41:23

Federico Olmedo

U-Cursos ::

CC3101-1 Matemáticas Discretas para la Computación 2021, Primavera

Matemáticas Discretas para la Computación

CC3101-1 - Primavera 2021

Historial

Ejercicio 1 25 Aug 202125/08/21 at 22:382021-08-25 22:38:25

Félix Ignacio Melo Avilés

Horarios de consulta (profes) 25 Aug 202125/08/21 at 11:522021-08-25 11:52:25

Federico Olmedo

Creación de Grupos 24 Aug 202124/08/21 at 19:452021-08-24 19:45:24

Nahuel Gómez Raguileo

Para quienes vitrinean o estan en el DCC 24 Aug 202124/08/21 at 19:012021-08-24 19:01:24

Fernanda Sanchirico B.

Se ha publicado un nuevo test (Quiz - Clase 3) 24 Aug 202124/08/21 at 13:152021-08-24 13:15:24

Nahuel Gómez Raguileo

Clase 4: Lógica proposicional - Razonamiento Ecuacional 24 Aug 202124/08/21 at 12:042021-08-24 12:04:24

Nelson Marambio Q.

Clase 3: Semántica de la lógica proposicional 24 Aug 202124/08/21 at 12:042021-08-24 12:04:24

Nelson Marambio Q.

Re (3): Consulta Auxiliar de Lean 23 Aug 202123/08/21 at 21:022021-08-23 21:02:23

Luciano Massa Pérez

Re (2): Consulta Auxiliar de Lean 23 Aug 202123/08/21 at 20:202021-08-23 20:20:23

Sebastián Sabat M.

Re (1): Consulta Auxiliar de Lean 23 Aug 202123/08/21 at 20:152021-08-23 20:15:23

Javier Oliva S.

Consulta Auxiliar de Lean 23 Aug 202123/08/21 at 20:062021-08-23 20:06:23

Sebastián Sabat M.

Quiz - Clase 2 23 Aug 202123/08/21 at 16:062021-08-23 16:06:23

Nahuel Gómez Raguileo

Quiz - Clase 1 23 Aug 202123/08/21 at 16:062021-08-23 16:06:23

Nahuel Gómez Raguileo

Re (2): Primera Auxiliar 23 Aug 202123/08/21 at 12:342021-08-23 12:34:23

Fernanda Sanchirico B.

Re (1): Primera Auxiliar 23 Aug 202123/08/21 at 12:332021-08-23 12:33:23

Fernanda Sanchirico B.

Ejercicio 1: Deduccion natural en LEAN (Fecha entrega: 23/08/2021) 23 Aug 202123/08/21 at 12:292021-08-23 12:29:23

Fernanda Sanchirico B.

Enunciado Ejercicio 1 [TXT] 23 Aug 202123/08/21 at 12:272021-08-23 12:27:23

Fernanda Sanchirico B.

Enunciado Ejercicio 1 [LEAN] 23 Aug 202123/08/21 at 12:262021-08-23 12:26:23

Fernanda Sanchirico B.

Primera Auxiliar 23 Aug 202123/08/21 at 10:262021-08-23 10:26:23

Fernanda Sanchirico B.

Auxiliar 1: Resolucion 23 Aug 202123/08/21 at 09:062021-08-23 09:06:23

Fernanda Sanchirico B.

Clases de consulta 23 Aug 202123/08/21 at 08:222021-08-23 08:22:23

Federico Olmedo

Clases de consulta 23 Aug 202123/08/21 at 08:172021-08-23 08:17:23

Federico Olmedo

Primer auxiliar y Ejercicio 1 23 Aug 202123/08/21 at 07:442021-08-23 07:44:23

Federico Olmedo

Semana 1 - Introducción a la lógica proposicional y Pruebas por deducción natura 23 Aug 202123/08/21 at 07:422021-08-23 07:42:23

Federico Olmedo

Semana 2 - Semántica de la lógica proposicional y razonamiento ecuacional 23 Aug 202123/08/21 at 07:412021-08-23 07:41:23

Federico Olmedo