Consultas de Práctico

Mostrando 100 de 359 discusiones
Debate	Comenzado por	Último mensaje	Réplicas
[Práctico 7] va_mapped_to_ma	Julian Tricanico Gadea 23 nov 2022	Julian Tricanico Gadea 23 nov 2022	2
[Practico 6] - Ej1	Pablo Palou Singlet 5 nov 2022	Carlos Luna 5 nov 2022	2
[Práctico 6] Ejercicio 3.2 - Hint	Julian Tricanico Gadea 2 nov 2022	Julian Tricanico Gadea 2 nov 2022	2
[Práctico 6] Término tupla exacto.	Julian Tricanico Gadea 2 nov 2022	Carlos Luna 2 nov 2022	2
[Practico 5] Ejercicio 7.7	Bruno Rolando Boz 29 oct 2022	Bruno Rolando Boz 30 oct 2022	2
[Practico 5] Ejercicio 3, partes 3 y 5	Bruno Lartigau Antonini 29 oct 2022	Bruno Lartigau Antonini 30 oct 2022	2
[Práctico 5] Ejercicio 3.5	Julian Tricanico Gadea 26 oct 2022	Julian Tricanico Gadea 26 oct 2022	2
[Practico 5] Ej 5 Error Pattern "_" is redundant in this clause.	Agustin Di Vincezo Fernandez 22 oct 2022	Agustin Di Vincezo Fernandez 22 oct 2022	2
[Práctico 5] Ejercicio 5	Julian Tricanico Gadea 19 oct 2022	Julian Tricanico Gadea 19 oct 2022	2
[Practico 3] Ejercicio 11.2	Agustin Di Vincezo Fernandez 11 sept 2022	Agustin Di Vincezo Fernandez 11 sept 2022	2
[Practico 3][Ejercicio 8.2]	Agustin Di Vincezo Fernandez 11 sept 2022	Agustin Di Vincezo Fernandez 11 sept 2022	2
[Práctico 3] Ejercicio 8	Julian Tricanico Gadea 2 sept 2022	Julian Tricanico Gadea 12 sept 2022	2
[Practico 2] Ejercicio 3.1	Bruno Lartigau Antonini 28 ago 2022	Bruno Lartigau Antonini 29 ago 2022	2
Ejercicio 7	Pablo Palou Singlet 23 ago 2022	Carlos Luna 24 ago 2022	2
[Practico 1] Ejercicio 8.3	Agustin Di Vincezo Fernandez 17 ago 2022	Agustin Di Vincezo Fernandez 18 ago 2022	2
[Practico 1] Ejercicio 12	Bruno Rolando Boz 12 ago 2022	Bruno Rolando Boz 12 ago 2022	2
[Práctico 6] Ejercicio 4.2	Federico Martin Peña Santucci 26 nov 2021	Federico Martin Peña Santucci 27 nov 2021	2
[Práctico 6] Ejercicio 8	Eliana Rosselli Orrico 10 nov 2021	Carlos Luna 11 nov 2021	2
[Practico 7] ej 3.5 - DeleteNotMember	Lia Malvarez Busquets 8 nov 2021	Lia Malvarez Busquets 9 nov 2021	2
[Práctico 5] Ej 5.3c y Ej5.3d	Eliana Rosselli Orrico 3 nov 2021	Eliana Rosselli Orrico 4 nov 2021	2
[Consulta general Coq]: Modificar hipótesis	Lia Malvarez Busquets 24 oct 2021	Lia Malvarez Busquets 24 oct 2021	2
[Práctico 4] Ejercicio 7	Eliana Rosselli Orrico 15 oct 2021	Eliana Rosselli Orrico 16 oct 2021	2
[Práctico 3] Ej: 8	Lia Malvarez Busquets 25 sept 2021	Lia Malvarez Busquets 25 sept 2021	2
[Practico 5] Entrega	Pablo Daniel Martinez Arevalo 23 nov 2020	Pablo Daniel Martinez Arevalo 24 nov 2020	2
[Práctico 5] Ejercicio 5.5.7	Lautaro Cardozo Ramirez 23 nov 2020	Lautaro Cardozo Ramirez 24 nov 2020	2
[Practico 5] Ej 5.5	Geronimo Garcia Koch 23 nov 2020	Geronimo Garcia Koch 23 nov 2020	2
Consulta ej 4.1.5	Cristian Fabian Sottile 25 oct 2020	Cristian Fabian Sottile 25 oct 2020	2
[Práctico 6] Receptor de entregas	Marco Nicolas Rodriguez Alvariza 21 nov 2019	Marco Nicolas Rodriguez Alvariza 21 nov 2019	2
[Práctico 6] Ejercicio 6	Marco Nicolas Rodriguez Alvariza 11 nov 2019	Marco Nicolas Rodriguez Alvariza 12 nov 2019	2
[Práctico 6] Ejercicio 3	Marco Nicolas Rodriguez Alvariza 6 nov 2019	Marco Nicolas Rodriguez Alvariza 7 nov 2019	2
[Práctico 5] Ejercicio 6.3	Marco Nicolas Rodriguez Alvariza 30 oct 2019	Marco Nicolas Rodriguez Alvariza 30 oct 2019	2
[Práctico 5] Ejercicio 1.5	Marco Nicolas Rodriguez Alvariza 27 oct 2019	Marco Nicolas Rodriguez Alvariza 28 oct 2019	2
Sobre la estrategia destruct	Damian Ferencz 23 oct 2019	Damian Ferencz 26 oct 2019	2
Notaciones infijas con variables de tipo explícitas	Marco Nicolas Rodriguez Alvariza 21 oct 2019	Marco Nicolas Rodriguez Alvariza 21 oct 2019	2
[Práctico 4] Ejercicio 12.3: doble filter	Marco Nicolas Rodriguez Alvariza 20 oct 2019	Marco Nicolas Rodriguez Alvariza 20 oct 2019	2
[Práctico 3] Ejercicio 3: operador twice.	Marco Nicolas Rodriguez Alvariza 6 sept 2019	Marco Nicolas Rodriguez Alvariza 6 sept 2019	2
Práctico 6 - Ejercicio 6.5.2	Noelia Magali Lencina Alfonso 27 nov 2018	Noelia Magali Lencina Alfonso 29 nov 2018	2
Ejercicio 6.3	Joaquin Lejtreger Chebi 11 nov 2018	Joaquin Lejtreger Chebi 11 nov 2018	2
Práctico 5 - Ejercicio 5.3.c	Noelia Magali Lencina Alfonso 10 nov 2018	Carlos Luna 11 nov 2018	2
Practico 5 ej 4.C	German Adolfo Faller Farias 1 nov 2018	German Adolfo Faller Farias 4 nov 2018	2
Practico 4 - Dudas del case	German Adolfo Faller Farias 11 oct 2018	German Adolfo Faller Farias 12 oct 2018	2
Clase 11/09	German Adolfo Faller Farias 10 sept 2018	Carlos Luna 11 sept 2018	2
va_mapped_to_ma	Guillermo Calderon - InCo 12 dic 2017	Guillermo Calderon - InCo 15 dic 2017	2
[Practico 5] Ej 5.3.d	Damian Augusto Langone Fusari 30 oct 2017	Damian Augusto Langone Fusari 8 nov 2017	2
Practico 4 Ejercicio 1	Damian Augusto Langone Fusari 13 oct 2017	Carlos Luna 17 oct 2017	2
Practico 3 Ejercicio 2	Pablo Daniel Martinez Arevalo 26 sept 2017	Pablo Daniel Martinez Arevalo 26 sept 2017	2
Practico 2 ej 3	Martin Steffen Correa 2 sept 2017	Martin Steffen Correa 2 sept 2017	2
Practico 1 Ej.7.3	Pablo Daniel Martinez Arevalo 25 ago 2017	Carlos Luna 25 ago 2017	2
Pre y Post Condiciones Inductivamente	Miguel Matias Langone Fusari 8 dic 2016	Miguel Matias Langone Fusari 8 dic 2016	2
Entrega tardia tarea 5	Miguel Matias Langone Fusari 12 nov 2016	Miguel Matias Langone Fusari 13 nov 2016	2
Práctico 7 - Cambio en orden de ejercicios 7.4 y 7.5	Carlos Luna 28 nov 2015	Carlos Luna 6 dic 2015	2
Practico 4. Ej 6.3	Daniel Eduardo Erguiz Cartelle 15 oct 2015	Daniel Eduardo Erguiz Cartelle 16 oct 2015	2
Práctico 3-Ejercicio 3	Camila Moscatelli Bulmini 14 sept 2015	Camila Moscatelli Bulmini 14 sept 2015	2
Práctico 2 - Ejercicio 7	Alvaro Gabriel Señorale Perez 6 sept 2015	Alvaro Gabriel Señorale Perez 6 sept 2015	2
Práctico 2 - Ejercicio 5.4	Hernan Winter Cereza 6 sept 2015	Carlos Luna 6 sept 2015	2
Practico 2, ejercicio 8.1	Mathias Federico Castro Ferrand 4 sept 2015	Mathias Federico Castro Ferrand 4 sept 2015	2
Practico 2 - Ejercicio 11.	Luciano Dante Alvarez Bibbo 4 sept 2015	Luciano Dante Alvarez Bibbo 5 sept 2015	2
Error en Coq	Luciano Dante Alvarez Bibbo 16 ago 2015	Luciano Dante Alvarez Bibbo 17 ago 2015	2
[Práctico 7] Require Export Maps.	Jairo Yamil Bonanata Silva 9 dic 2014	Carlos Luna 9 dic 2014	2
[Práctico 5] Ejercicio 2.3	Jairo Yamil Bonanata Silva 2 dic 2014	Jairo Yamil Bonanata Silva 3 dic 2014	2
Táctica refine	Juan Pablo Sierra Ansuas 27 nov 2014	Carlos Luna 27 nov 2014	2
[Practico 6] - Ejercicio 9	Eduardo David Hernandez Muiño 18 nov 2014	German Adolfo Faller Farias 29 nov 2018	2
[Practico 6] - Ejercicio 2.2	Eduardo David Hernandez Muiño 11 nov 2014	Eduardo David Hernandez Muiño 12 nov 2014	2
Solicitud de prórroga	Juan Pablo Garcia Garland 20 oct 2014	Jairo Yamil Bonanata Silva 20 oct 2014	2
[Práctico 3] Ejercicio 1	Leticia Soledad Almeida Segura 11 sept 2014	Leticia Soledad Almeida Segura 12 sept 2014	2
Ejercicio 10.1 practico 2	Andres Veiro Diaz 4 sept 2014	Andres Veiro Diaz 6 sept 2014	2
Ejercicio 2.3	Juan Pablo Sierra Ansuas 28 ago 2014	Juan Pablo Sierra Ansuas 29 ago 2014	2
Consulta, Practico 1 Ejercicio 3	Andres Veiro Diaz 18 ago 2014	Andres Veiro Diaz 18 ago 2014	2
Eliminación de un implica.	Jairo Yamil Bonanata Silva 14 ago 2014	Jairo Yamil Bonanata Silva 14 ago 2014	2
Práctica para el parcial	Danilo Nuñez Dalla Rosa 2 may 2024	Carlos Luna 2 may 2024	1
[Practico 1] [Ejercicio 11]	Daniel Alejandro Garcia Miranda 18 mar 2024	Carlos Luna 18 mar 2024	1
P7 - Formato de entrega	Juan Manuel Rivara De Leon 15 dic 2023	Carlos Luna 15 dic 2023	1
[Practico 7] Pre/Post condiciones con mapas parciales	Usuario eliminado 1 dic 2023	Carlos Luna 1 dic 2023	1
P7 - SO activo e hipervisor	Juan Manuel Rivara De Leon 1 dic 2023	Carlos Luna 1 dic 2023	1
P7 - Sobre el rol de la memoria física	Juan Manuel Rivara De Leon 1 dic 2023	Carlos Luna 1 dic 2023	1
Consulta parcial	Rodrigo Javier Vazquez Machado 21 nov 2023	Carlos Luna 21 nov 2023	1
[Practico 5] [Ejercicio 5.1.5]	Camilo Fossemale Zanotta 20 nov 2023	Carlos Luna 20 nov 2023	1
P7 - Bibliotecas locales	Juan Manuel Rivara De Leon 16 nov 2023	Carlos Luna 16 nov 2023	1
P6 E3 - Extracción de Haskell y tipos por defecto	Juan Manuel Rivara De Leon 16 nov 2023	Carlos Luna 16 nov 2023	1
P6 E3 - Creación de Base	Juan Manuel Rivara De Leon 14 nov 2023	Carlos Luna 14 nov 2023	1
[Practico 5] 7.4 y 7.5	Usuario eliminado 30 oct 2023	Carlos Luna 30 oct 2023	1
Táctica omega removida en favor de lia	Juan Manuel Rivara De Leon 27 oct 2023	Carlos Luna 27 oct 2023	1
Nombre de hipótesis generadas por inversion_clear	Gabriel Mello 13 oct 2023	Carlos Luna 13 oct 2023	1
[Practico 4] Ejercicio 21	Gabriel Mello 9 oct 2023	Carlos Luna 9 oct 2023	1
[Practico 4] Ejercicios 10.2 10.3	Gabriel Mello 8 oct 2023	Carlos Luna 8 oct 2023	1
Envío de tarea	Juan Manuel Rivara De Leon 29 sept 2023	Carlos Luna 29 sept 2023	1
P4 E21 - Sobre la definición de AB y cómputo de camino	Juan Manuel Rivara De Leon 29 sept 2023	Carlos Luna 29 sept 2023	1
Argumentos implícitos	Juan Manuel Rivara De Leon 23 sept 2023	Carlos Luna 23 sept 2023	1
Show Tree	Gabriel Mello 18 sept 2023	Carlos Luna 18 sept 2023	1
Practico 3 Ej 6 y 7	Rodrigo Javier Vazquez Machado 15 sept 2023	Carlos Luna 15 sept 2023	1
Práctico 3 Ej 5.2 y Ej 6	Gabriel Mello 4 sept 2023	Carlos Luna 4 sept 2023	1
Tacticals práctico 2	Rodrigo Javier Vazquez Machado 1 sept 2023	Carlos Luna 1 sept 2023	1
Uso de Destruct	Camilo Fossemale Zanotta 18 ago 2023	Carlos Luna 18 ago 2023	1
Consultas varias práctico 1	Gabriel Mello 7 ago 2023	Carlos Luna 7 ago 2023	1
[Practico 7] - Probar un record	Bruno Rolando Boz 4 dic 2022	Carlos Luna 4 dic 2022	1
[Practico 7] Ejercicio 3, post write	Bruno Lartigau Antonini 30 nov 2022	Carlos Luna 1 dic 2022	1
Postcondición de chmod	Julian Tricanico Gadea 28 nov 2022	Carlos Luna 28 nov 2022	1
[Practico 6] Ejercicio 6.5	Idel Uriel Radzyminski Diaz 12 nov 2022	Carlos Luna 12 nov 2022	1
[Dudas de sintaxis/semantica correcta, practico 4 y 5]	Dara Leslie Silvera Martinez 28 oct 2022	Carlos Luna 28 oct 2022	1
[Practico 5] Ejercicio 7 - notación ";".	Bruno Rolando Boz 28 oct 2022	Carlos Luna 28 oct 2022	1

[Práctico 7] va_mapped_to_ma

Julian Tricanico Gadea

23 nov 2022

Julian Tricanico Gadea

23 nov 2022

2

[Practico 6] - Ej1

Pablo Palou Singlet

5 nov 2022

Carlos Luna

5 nov 2022

2

[Práctico 6] Ejercicio 3.2 - Hint

Julian Tricanico Gadea

2 nov 2022

Julian Tricanico Gadea

2 nov 2022

2

[Práctico 6] Término tupla exacto.

Julian Tricanico Gadea

2 nov 2022

Carlos Luna

2 nov 2022

2

[Practico 5] Ejercicio 7.7

Bruno Rolando Boz

29 oct 2022

Bruno Rolando Boz

30 oct 2022

2

[Practico 5] Ejercicio 3, partes 3 y 5

Bruno Lartigau Antonini

29 oct 2022

Bruno Lartigau Antonini

30 oct 2022

2

[Práctico 5] Ejercicio 3.5

Julian Tricanico Gadea

26 oct 2022

Julian Tricanico Gadea

26 oct 2022

2

[Practico 5] Ej 5 Error Pattern "_" is redundant in this clause.

Agustin Di Vincezo Fernandez

22 oct 2022

Agustin Di Vincezo Fernandez

22 oct 2022

2

[Práctico 5] Ejercicio 5

Julian Tricanico Gadea

19 oct 2022

Julian Tricanico Gadea

19 oct 2022

2

[Practico 3] Ejercicio 11.2

Agustin Di Vincezo Fernandez

11 sept 2022

Agustin Di Vincezo Fernandez

11 sept 2022

2

[Practico 3][Ejercicio 8.2]

Agustin Di Vincezo Fernandez

11 sept 2022

Agustin Di Vincezo Fernandez

11 sept 2022

2

[Práctico 3] Ejercicio 8

Julian Tricanico Gadea

2 sept 2022

Julian Tricanico Gadea

12 sept 2022

2

[Practico 2] Ejercicio 3.1

Bruno Lartigau Antonini

28 ago 2022

Bruno Lartigau Antonini

29 ago 2022

2

Ejercicio 7

Pablo Palou Singlet

23 ago 2022

Carlos Luna

24 ago 2022

2

[Practico 1] Ejercicio 8.3

Agustin Di Vincezo Fernandez

17 ago 2022

Agustin Di Vincezo Fernandez

18 ago 2022

2

[Practico 1] Ejercicio 12

Bruno Rolando Boz

12 ago 2022

Bruno Rolando Boz

12 ago 2022

2

[Práctico 6] Ejercicio 4.2

Federico Martin Peña Santucci

26 nov 2021

Federico Martin Peña Santucci

27 nov 2021

2

[Práctico 6] Ejercicio 8

Eliana Rosselli Orrico

10 nov 2021

Carlos Luna

11 nov 2021

2

[Practico 7] ej 3.5 - DeleteNotMember

Lia Malvarez Busquets

8 nov 2021

Lia Malvarez Busquets

9 nov 2021

2

[Práctico 5] Ej 5.3c y Ej5.3d

Eliana Rosselli Orrico

3 nov 2021

Eliana Rosselli Orrico

4 nov 2021

2

[Consulta general Coq]: Modificar hipótesis

Lia Malvarez Busquets

24 oct 2021

Lia Malvarez Busquets

24 oct 2021

2

[Práctico 4] Ejercicio 7

Eliana Rosselli Orrico

15 oct 2021

Eliana Rosselli Orrico

16 oct 2021

2

[Práctico 3] Ej: 8

Lia Malvarez Busquets

25 sept 2021

Lia Malvarez Busquets

25 sept 2021

2

[Practico 5] Entrega

Pablo Daniel Martinez Arevalo

23 nov 2020

Pablo Daniel Martinez Arevalo

24 nov 2020

2

[Práctico 5] Ejercicio 5.5.7

Lautaro Cardozo Ramirez

23 nov 2020

Lautaro Cardozo Ramirez

24 nov 2020

2

[Practico 5] Ej 5.5

Geronimo Garcia Koch

23 nov 2020

Geronimo Garcia Koch

23 nov 2020

2

Consulta ej 4.1.5

Cristian Fabian Sottile

25 oct 2020

Cristian Fabian Sottile

25 oct 2020

2

[Práctico 6] Receptor de entregas

Marco Nicolas Rodriguez Alvariza

21 nov 2019

Marco Nicolas Rodriguez Alvariza

21 nov 2019

2

[Práctico 6] Ejercicio 6

Marco Nicolas Rodriguez Alvariza

11 nov 2019

Marco Nicolas Rodriguez Alvariza

12 nov 2019

2

[Práctico 6] Ejercicio 3

Marco Nicolas Rodriguez Alvariza

6 nov 2019

Marco Nicolas Rodriguez Alvariza

7 nov 2019

2

[Práctico 5] Ejercicio 6.3

Marco Nicolas Rodriguez Alvariza

30 oct 2019

Marco Nicolas Rodriguez Alvariza

30 oct 2019

2

[Práctico 5] Ejercicio 1.5

Marco Nicolas Rodriguez Alvariza

27 oct 2019

Marco Nicolas Rodriguez Alvariza

28 oct 2019

2

Sobre la estrategia destruct

Damian Ferencz

23 oct 2019

Damian Ferencz

26 oct 2019

2

Notaciones infijas con variables de tipo explícitas

Marco Nicolas Rodriguez Alvariza

21 oct 2019

Marco Nicolas Rodriguez Alvariza

21 oct 2019

2

[Práctico 4] Ejercicio 12.3: doble filter

Marco Nicolas Rodriguez Alvariza

20 oct 2019

Marco Nicolas Rodriguez Alvariza

20 oct 2019

2

[Práctico 3] Ejercicio 3: operador twice.

Marco Nicolas Rodriguez Alvariza

6 sept 2019

Marco Nicolas Rodriguez Alvariza

6 sept 2019

2

Práctico 6 - Ejercicio 6.5.2

Noelia Magali Lencina Alfonso

27 nov 2018

Noelia Magali Lencina Alfonso

29 nov 2018

2

Ejercicio 6.3

Joaquin Lejtreger Chebi

11 nov 2018

Joaquin Lejtreger Chebi

11 nov 2018

2

Práctico 5 - Ejercicio 5.3.c

Noelia Magali Lencina Alfonso

10 nov 2018

Carlos Luna

11 nov 2018

2

Practico 5 ej 4.C

German Adolfo Faller Farias

1 nov 2018

German Adolfo Faller Farias

4 nov 2018

2

Practico 4 - Dudas del case

German Adolfo Faller Farias

11 oct 2018

German Adolfo Faller Farias

12 oct 2018

2

Clase 11/09

German Adolfo Faller Farias

10 sept 2018

Carlos Luna

11 sept 2018

2

va_mapped_to_ma

Guillermo Calderon - InCo

12 dic 2017

Guillermo Calderon - InCo

15 dic 2017

2

[Practico 5] Ej 5.3.d

Damian Augusto Langone Fusari

30 oct 2017

Damian Augusto Langone Fusari

8 nov 2017

2

Practico 4 Ejercicio 1

Damian Augusto Langone Fusari

13 oct 2017

Carlos Luna

17 oct 2017

2

Practico 3 Ejercicio 2

Pablo Daniel Martinez Arevalo

26 sept 2017

Pablo Daniel Martinez Arevalo

26 sept 2017

2

Practico 2 ej 3

Martin Steffen Correa

2 sept 2017

Martin Steffen Correa

2 sept 2017

2

Practico 1 Ej.7.3

Pablo Daniel Martinez Arevalo

25 ago 2017

Carlos Luna

25 ago 2017

2

Pre y Post Condiciones Inductivamente

Miguel Matias Langone Fusari

8 dic 2016

Miguel Matias Langone Fusari

8 dic 2016

2

Entrega tardia tarea 5

Miguel Matias Langone Fusari

12 nov 2016

Miguel Matias Langone Fusari

13 nov 2016

2

Práctico 7 - Cambio en orden de ejercicios 7.4 y 7.5

Carlos Luna

28 nov 2015

Carlos Luna

6 dic 2015

2

Practico 4. Ej 6.3

Daniel Eduardo Erguiz Cartelle

15 oct 2015

Daniel Eduardo Erguiz Cartelle

16 oct 2015

2

Práctico 3-Ejercicio 3

Camila Moscatelli Bulmini

14 sept 2015

Camila Moscatelli Bulmini

14 sept 2015

2

Práctico 2 - Ejercicio 7

Alvaro Gabriel Señorale Perez

6 sept 2015

Alvaro Gabriel Señorale Perez

6 sept 2015

2

Práctico 2 - Ejercicio 5.4

Hernan Winter Cereza

6 sept 2015

Carlos Luna

6 sept 2015

2

Practico 2, ejercicio 8.1

Mathias Federico Castro Ferrand

4 sept 2015

Mathias Federico Castro Ferrand

4 sept 2015

2

Practico 2 - Ejercicio 11.

Luciano Dante Alvarez Bibbo

4 sept 2015

Luciano Dante Alvarez Bibbo

5 sept 2015

2

Error en Coq

Luciano Dante Alvarez Bibbo

16 ago 2015

Luciano Dante Alvarez Bibbo

17 ago 2015

2

[Práctico 7] Require Export Maps.

Jairo Yamil Bonanata Silva

9 dic 2014

Carlos Luna

9 dic 2014

2

[Práctico 5] Ejercicio 2.3

Jairo Yamil Bonanata Silva

2 dic 2014

Jairo Yamil Bonanata Silva

3 dic 2014

2

Táctica refine

Juan Pablo Sierra Ansuas

27 nov 2014

Carlos Luna

27 nov 2014

2

[Practico 6] - Ejercicio 9

Eduardo David Hernandez Muiño

18 nov 2014

German Adolfo Faller Farias

29 nov 2018

2

[Practico 6] - Ejercicio 2.2

Eduardo David Hernandez Muiño

11 nov 2014

Eduardo David Hernandez Muiño

12 nov 2014

2

Solicitud de prórroga

Juan Pablo Garcia Garland

20 oct 2014

Jairo Yamil Bonanata Silva

20 oct 2014

2

[Práctico 3] Ejercicio 1

Leticia Soledad Almeida Segura

11 sept 2014

Leticia Soledad Almeida Segura

12 sept 2014

2

Ejercicio 10.1 practico 2

Andres Veiro Diaz

4 sept 2014

Andres Veiro Diaz

6 sept 2014

2

Ejercicio 2.3

Juan Pablo Sierra Ansuas

28 ago 2014

Juan Pablo Sierra Ansuas

29 ago 2014

2

Consulta, Practico 1 Ejercicio 3

Andres Veiro Diaz

18 ago 2014

Andres Veiro Diaz

18 ago 2014

2

Eliminación de un implica.

Jairo Yamil Bonanata Silva

14 ago 2014

Jairo Yamil Bonanata Silva

14 ago 2014

2

Práctica para el parcial

Danilo Nuñez Dalla Rosa

2 may 2024

Carlos Luna

2 may 2024

1

[Practico 1] [Ejercicio 11]

Daniel Alejandro Garcia Miranda

18 mar 2024

Carlos Luna

18 mar 2024

1

P7 - Formato de entrega

Juan Manuel Rivara De Leon

15 dic 2023

Carlos Luna

15 dic 2023

1

[Practico 7] Pre/Post condiciones con mapas parciales

Usuario eliminado

1 dic 2023

Carlos Luna

1 dic 2023

1

P7 - SO activo e hipervisor

Juan Manuel Rivara De Leon

1 dic 2023

Carlos Luna

1 dic 2023

1

P7 - Sobre el rol de la memoria física

Juan Manuel Rivara De Leon

1 dic 2023

Carlos Luna

1 dic 2023

1

Consulta parcial

Rodrigo Javier Vazquez Machado

21 nov 2023

Carlos Luna

21 nov 2023

1

[Practico 5] [Ejercicio 5.1.5]

Camilo Fossemale Zanotta

20 nov 2023

Carlos Luna

20 nov 2023

1

P7 - Bibliotecas locales

Juan Manuel Rivara De Leon

16 nov 2023

Carlos Luna

16 nov 2023

1

P6 E3 - Extracción de Haskell y tipos por defecto

Juan Manuel Rivara De Leon

16 nov 2023

Carlos Luna

16 nov 2023

1

P6 E3 - Creación de Base

Juan Manuel Rivara De Leon

14 nov 2023

Carlos Luna

14 nov 2023

1

[Practico 5] 7.4 y 7.5

Usuario eliminado

30 oct 2023

Carlos Luna

30 oct 2023

1

Táctica omega removida en favor de lia

Juan Manuel Rivara De Leon

27 oct 2023

Carlos Luna

27 oct 2023

1

Nombre de hipótesis generadas por inversion_clear

Gabriel Mello

13 oct 2023

Carlos Luna

13 oct 2023

1

[Practico 4] Ejercicio 21

Gabriel Mello

9 oct 2023

Carlos Luna

9 oct 2023

1

[Practico 4] Ejercicios 10.2 10.3

Gabriel Mello

8 oct 2023

Carlos Luna

8 oct 2023

1

Envío de tarea

Juan Manuel Rivara De Leon

29 sept 2023

Carlos Luna

29 sept 2023

1

P4 E21 - Sobre la definición de AB y cómputo de camino

Juan Manuel Rivara De Leon

29 sept 2023

Carlos Luna

29 sept 2023

1

Argumentos implícitos

Juan Manuel Rivara De Leon

23 sept 2023

Carlos Luna

23 sept 2023

1

Show Tree

Gabriel Mello

18 sept 2023

Carlos Luna

18 sept 2023

1

Practico 3 Ej 6 y 7

Rodrigo Javier Vazquez Machado

15 sept 2023

Carlos Luna

15 sept 2023

1

Práctico 3 Ej 5.2 y Ej 6

Gabriel Mello

4 sept 2023

Carlos Luna

4 sept 2023

1

Tacticals práctico 2

Rodrigo Javier Vazquez Machado

1 sept 2023

Carlos Luna

1 sept 2023

1

Uso de Destruct

Camilo Fossemale Zanotta

18 ago 2023

Carlos Luna

18 ago 2023

1

Consultas varias práctico 1

Gabriel Mello

7 ago 2023

Carlos Luna

7 ago 2023

1

[Practico 7] - Probar un record

Bruno Rolando Boz

4 dic 2022

Carlos Luna

4 dic 2022

1

[Practico 7] Ejercicio 3, post write

Bruno Lartigau Antonini

30 nov 2022

Carlos Luna

1 dic 2022

1

Postcondición de chmod

Julian Tricanico Gadea

28 nov 2022

Carlos Luna

28 nov 2022

1

[Practico 6] Ejercicio 6.5

Idel Uriel Radzyminski Diaz

12 nov 2022

Carlos Luna

12 nov 2022

1

[Dudas de sintaxis/semantica correcta, practico 4 y 5]

Dara Leslie Silvera Martinez

28 oct 2022

Carlos Luna

28 oct 2022

1

[Practico 5] Ejercicio 7 - notación ";".

Bruno Rolando Boz

28 oct 2022

Carlos Luna

28 oct 2022

1