Consultas de Práctico

Mostrando 100 de 359 discusiones
Debate	Comenzado por	Último mensaje	Réplicas
Corrección de los prácticos.	German Adolfo Faller Farias 18 nov 2018	German Adolfo Faller Farias 21 nov 2018	4
Práctico 6 - Ejercicio 6.5.2	Noelia Magali Lencina Alfonso 27 nov 2018	Noelia Magali Lencina Alfonso 29 nov 2018	2
Práctico 6 - Ejercicio 6.7	Noelia Magali Lencina Alfonso 29 nov 2018	Carlos Luna 29 nov 2018	1
[Practico 6] - Ejercicio 9	Eduardo David Hernandez Muiño 18 nov 2014	German Adolfo Faller Farias 29 nov 2018	2
Práctico 6 - Ejercicio 9	German Adolfo Faller Farias 30 nov 2018	German Adolfo Faller Farias 30 nov 2018	3
[Práctico 7] Mapas parciales	Joaquin Lejtreger Chebi 7 dic 2018	Carlos Luna 7 dic 2018	1
[Práctico 7] chmod	Joaquin Lejtreger Chebi 10 dic 2018	Carlos Luna 10 dic 2018	1
[Práctico 7] Ejercicio 6	Noelia Magali Lencina Alfonso 16 dic 2018	Carlos Luna 17 dic 2018	1
[Practico 7] Entrega	Santiago Ingold Core 20 dic 2018	Santiago Ingold Core 20 dic 2018	3
[Práctico 1] Ejercicios 1.11 y 1.12	Juan Manuel Rivara De Leon 10 ago 2019	Carlos Luna 11 ago 2019	1
[Práctico 2] Ejercicios para entregar	Juan Manuel Rivara De Leon 27 ago 2019	Carlos Luna 1 sept 2019	3
[Práctico 3] Ejercicio 3: operador twice.	Marco Nicolas Rodriguez Alvariza 6 sept 2019	Marco Nicolas Rodriguez Alvariza 6 sept 2019	2
[Práctico 3] Ejercicio 4: estrategias de reducción.	Marco Nicolas Rodriguez Alvariza 6 sept 2019	Carlos Luna 6 sept 2019	1
[Práctico 3] Ejercicio 9	Damian Ferencz 20 sept 2019	Carlos Luna 21 sept 2019	3
[Práctico 3] Generalizaciones, indexado (3.12), exact (3.14 y 3.15)	Juan Manuel Rivara De Leon 24 sept 2019	Carlos Luna 24 sept 2019	1
[Práctico 4] Constructor de listas (4.1, 4.4, 4.11 y 4.17), argumentos implícitos, tácticas ...	Juan Manuel Rivara De Leon 13 oct 2019	Carlos Luna 13 oct 2019	1
[Práctico 4] Ejercicio 8: Simplificación del Or	Marco Nicolas Rodriguez Alvariza 13 oct 2019	Marco Nicolas Rodriguez Alvariza 14 oct 2019	4
[Práctico 4] Ejercicio 12.3: doble filter	Marco Nicolas Rodriguez Alvariza 20 oct 2019	Marco Nicolas Rodriguez Alvariza 20 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] Librería ZArith. Táctica 'omega'.	Marco Nicolas Rodriguez Alvariza 23 oct 2019	Marco Nicolas Rodriguez Alvariza 23 oct 2019	0
[Práctico 4] Ejercicio 21	Marco Nicolas Rodriguez Alvariza 25 oct 2019	Marco Nicolas Rodriguez Alvariza 25 oct 2019	4
Sobre la estrategia destruct	Damian Ferencz 23 oct 2019	Damian Ferencz 26 oct 2019	2
Sobre definiciones locales	Damian Ferencz 26 oct 2019	Carlos Luna 26 oct 2019	1
[Práctico 4] Ejercicio 17	Marco Nicolas Rodriguez Alvariza 25 oct 2019	Marco Nicolas Rodriguez Alvariza 27 oct 2019	4
[Práctico 5] Ejercicio 1.5	Marco Nicolas Rodriguez Alvariza 27 oct 2019	Marco Nicolas Rodriguez Alvariza 28 oct 2019	2
[Práctico 5] Ejercicio 6.3	Marco Nicolas Rodriguez Alvariza 30 oct 2019	Marco Nicolas Rodriguez Alvariza 30 oct 2019	2
Nombres automáticos en pruebas	Marco Nicolas Rodriguez Alvariza 2 nov 2019	Carlos Luna 2 nov 2019	1
[Práctico 6] Ejercicio 3	Marco Nicolas Rodriguez Alvariza 6 nov 2019	Marco Nicolas Rodriguez Alvariza 7 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] Receptor de entregas	Marco Nicolas Rodriguez Alvariza 21 nov 2019	Marco Nicolas Rodriguez Alvariza 21 nov 2019	2
[Práctico 1] Consultas generales	Cristian Fabian Sottile 7 sept 2020	Carlos Luna 7 sept 2020	1
Consulta utilización del apply con si solo si y con implica con and	Felipe De Leon Arias 7 sept 2020	Carlos Luna 8 sept 2020	3
Práctico 2 - Ejercicio 11	Lautaro Cardozo Ramirez 21 sept 2020	Lautaro Cardozo Ramirez 21 sept 2020	3
Practico 2 - Ejercicio 10 - Lemas 10_4 y 10_5	Geronimo Garcia Koch 22 sept 2020	Carlos Luna 22 sept 2020	1
[Practico 3] - Ejercicio 15	Geronimo Garcia Koch 9 oct 2020	Carlos Luna 10 oct 2020	1
Consulta ejercicios 1.12, 2.9.2 y 3.7	Cristian Fabian Sottile 14 oct 2020	Carlos Luna 14 oct 2020	1
Consulta ej 4.1.5	Cristian Fabian Sottile 25 oct 2020	Cristian Fabian Sottile 25 oct 2020	2
Consulta ej 3.12	Cristian Fabian Sottile 26 oct 2020	Carlos Luna 26 oct 2020	1
[Practico 4] Ejercicio 17	Pablo Daniel Martinez Arevalo 1 nov 2020	Carlos Luna 3 nov 2020	6
[Práctico 5] Ejercicio 3.c	Lautaro Cardozo Ramirez 10 nov 2020	Carlos Luna 10 nov 2020	1
[Practico 5] Ej 7	Pablo Daniel Martinez Arevalo 16 nov 2020	Carlos Luna 17 nov 2020	1
[Practico 5] Ej 3.5 - DeleteNotMember	Geronimo Garcia Koch 23 nov 2020	Carlos Luna 23 nov 2020	1
[Practico 5] Ej 5.5	Geronimo Garcia Koch 23 nov 2020	Geronimo Garcia Koch 23 nov 2020	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
Parciales para practicar	Pablo Daniel Martinez Arevalo 10 dic 2020	Carlos Luna 11 dic 2020	1
[Práctica 5] Ejercicio 5	Cristian Fabian Sottile 13 dic 2020	Carlos Luna 13 dic 2020	1
[Práctico 1] Ejercicio 11	Eliana Rosselli Orrico 25 ago 2021	Carlos Luna 28 ago 2021	3
Practico 2 - Tacticals	Lia Malvarez Busquets 8 sept 2021	Carlos Luna 8 sept 2021	1
[Práctico 3] Ejercicio 8	Eliana Rosselli Orrico 21 sept 2021	Carlos Luna 21 sept 2021	1
[Práctico 3] Ejercicio 1	Eliana Rosselli Orrico 21 sept 2021	Carlos Luna 25 sept 2021	3
[Práctico 3] Ej: 8	Lia Malvarez Busquets 25 sept 2021	Lia Malvarez Busquets 25 sept 2021	2
[Práctico 4] Ejercicio 7	Eliana Rosselli Orrico 15 oct 2021	Eliana Rosselli Orrico 16 oct 2021	2
[Práctico 4] Ejercicio 17	Federico Martin Peña Santucci 19 oct 2021	Federico Martin Peña Santucci 23 oct 2021	5
[Consulta general Coq]: Modificar hipótesis	Lia Malvarez Busquets 24 oct 2021	Lia Malvarez Busquets 24 oct 2021	2
[Práctico 5] Código del ejercicio 1 no compila	Eliana Rosselli Orrico 30 oct 2021	Carlos Luna 30 oct 2021	1
[Práctico 5] Ej 5.3c y Ej5.3d	Eliana Rosselli Orrico 3 nov 2021	Eliana Rosselli Orrico 4 nov 2021	2
[Práctico 5] Ejercicio 7.7	Federico Martin Peña Santucci 5 nov 2021	Carlos Luna 7 nov 2021	3
[Práctico 5] Ejercicio 7.8	Eliana Rosselli Orrico 7 nov 2021	Carlos Luna 7 nov 2021	3
[Practico 7] ej 3.5 - DeleteNotMember	Lia Malvarez Busquets 8 nov 2021	Lia Malvarez Busquets 9 nov 2021	2
[Práctico 6] Ejercicio 8	Eliana Rosselli Orrico 10 nov 2021	Carlos Luna 11 nov 2021	2
[Práctico 4] Ejercicio 5.2	Eliana Rosselli Orrico 26 nov 2021	Carlos Luna 26 nov 2021	1
[Práctico 6] Ejercicio 4.2	Federico Martin Peña Santucci 26 nov 2021	Federico Martin Peña Santucci 27 nov 2021	2
[Practico 1] - Ejercicio 11	Bruno Rolando Boz 6 ago 2022	Carlos Luna 6 ago 2022	1
Quitar hipótesis del contexto	Bruno Rolando Boz 7 ago 2022	Carlos Luna 7 ago 2022	1
[Practico1][Ejercicios 7.1 en adelante]	Alejandro Sebastian Flocken Rodriguez 10 ago 2022	Carlos Luna 11 ago 2022	7
[Practico 1] Ejercicio 12	Bruno Rolando Boz 12 ago 2022	Bruno Rolando Boz 12 ago 2022	2
[Practico 1] Ejercicio 9	Alejandro Sebastian Flocken Rodriguez 16 ago 2022	Carlos Luna 17 ago 2022	3
[Practico 1] Ejercicio 12	Alejandro Sebastian Flocken Rodriguez 17 ago 2022	Carlos Luna 17 ago 2022	1
[Práctico 2] Ejercicio 11	Julian Tricanico Gadea 17 ago 2022	Carlos Luna 17 ago 2022	1
[Practico 2] Ejercicio 8	Bruno Rolando Boz 18 ago 2022	Carlos Luna 18 ago 2022	1
[Practico 1] Ejercicio 8.3	Agustin Di Vincezo Fernandez 17 ago 2022	Agustin Di Vincezo Fernandez 18 ago 2022	2
Ejercicio 7	Pablo Palou Singlet 23 ago 2022	Carlos Luna 24 ago 2022	2
[Practico 2] Ejercicio 10.5	Bruno Rolando Boz 23 ago 2022	Carlos Luna 24 ago 2022	3
[Practico 2] Ejercicio 3.2	Alejandro Sebastian Flocken Rodriguez 27 ago 2022	Carlos Luna 28 ago 2022	3
[Practico 2] Ejercicio 10	Agustin Di Vincezo Fernandez 28 ago 2022	Carlos Luna 28 ago 2022	4
[Practico 2] Ejercicio 4.1	Alejandro Sebastian Flocken Rodriguez 28 ago 2022	Carlos Luna 28 ago 2022	3
[Práctico 2] Ejercicio 10.7	Julian Tricanico Gadea 7 ago 2022	Carlos Luna 29 ago 2022	6
[Practico 2] Ejercicio 3.1	Bruno Lartigau Antonini 28 ago 2022	Bruno Lartigau Antonini 29 ago 2022	2
[Practico 3] Ejercicio 1	Bruno Rolando Boz 31 ago 2022	Carlos Luna 31 ago 2022	1
[Práctico 3] Ejercicio 6	Julian Tricanico Gadea 31 ago 2022	Carlos Luna 31 ago 2022	1
Practico 3.1.3	Alejandro Sebastian Flocken Rodriguez 10 sept 2022	Carlos Luna 10 sept 2022	1
[Practico 3] Ejercicio 3	Bruno Lartigau Antonini 10 sept 2022	Bruno Lartigau Antonini 10 sept 2022	0
Practico 3.2	Alejandro Sebastian Flocken Rodriguez 10 sept 2022	Carlos Luna 11 sept 2022	3
[Practico 3][Ejercicio 8.2]	Agustin Di Vincezo Fernandez 11 sept 2022	Agustin Di Vincezo Fernandez 11 sept 2022	2
Practico 3.1	Alejandro Sebastian Flocken Rodriguez 10 sept 2022	Carlos Luna 11 sept 2022	3
[Practico 3] Ejercicio 11.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 3][Ejercicio 5]	Alejandro Sebastian Flocken Rodriguez 12 sept 2022	Carlos Luna 12 sept 2022	3
[Practico 3] Ejercicio 8 - Duda ArrayNat	Santiago Puppo Caubarrere 15 sept 2022	Carlos Luna 15 sept 2022	1
[Practico 3] Ejercicio 12.2	Bruno Rolando Boz 15 sept 2022	Carlos Luna 15 sept 2022	1
[Practico 3][Corrección]	Alejandro Sebastian Flocken Rodriguez 19 sept 2022	Carlos Luna 19 sept 2022	1
[Practico 4] Ejercicio 17	Pablo Palou Singlet 2 oct 2022	Carlos Luna 2 oct 2022	1
Practico 4 - Ejercicio 15.2	Bruno Rolando Boz 3 oct 2022	Carlos Luna 8 oct 2022	3
[Practico 4][Ej 3]	Agustin Di Vincezo Fernandez 8 oct 2022	Carlos Luna 9 oct 2022	1
[Práctico 4] Ejercicio 17.3.3 - error	Julian Tricanico Gadea 7 oct 2022	Carlos Luna 9 oct 2022	3
[Práctico 4] Fixpoint	Julian Tricanico Gadea 25 sept 2022	Agustin Di Vincezo Fernandez 9 oct 2022	6
[Practico 4][Pruebas (ej, 9,11)]	Agustin Di Vincezo Fernandez 9 oct 2022	Carlos Luna 9 oct 2022	1
[Práctico 5] Ejercicio 5	Julian Tricanico Gadea 19 oct 2022	Julian Tricanico Gadea 19 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

Corrección de los prácticos.

German Adolfo Faller Farias

18 nov 2018

German Adolfo Faller Farias

21 nov 2018

4

Práctico 6 - Ejercicio 6.5.2

Noelia Magali Lencina Alfonso

27 nov 2018

Noelia Magali Lencina Alfonso

29 nov 2018

2

Práctico 6 - Ejercicio 6.7

Noelia Magali Lencina Alfonso

29 nov 2018

Carlos Luna

29 nov 2018

1

[Practico 6] - Ejercicio 9

Eduardo David Hernandez Muiño

18 nov 2014

German Adolfo Faller Farias

29 nov 2018

2

Práctico 6 - Ejercicio 9

German Adolfo Faller Farias

30 nov 2018

German Adolfo Faller Farias

30 nov 2018

3

[Práctico 7] Mapas parciales

Joaquin Lejtreger Chebi

7 dic 2018

Carlos Luna

7 dic 2018

1

[Práctico 7] chmod

Joaquin Lejtreger Chebi

10 dic 2018

Carlos Luna

10 dic 2018

1

[Práctico 7] Ejercicio 6

Noelia Magali Lencina Alfonso

16 dic 2018

Carlos Luna

17 dic 2018

1

[Practico 7] Entrega

Santiago Ingold Core

20 dic 2018

Santiago Ingold Core

20 dic 2018

3

[Práctico 1] Ejercicios 1.11 y 1.12

Juan Manuel Rivara De Leon

10 ago 2019

Carlos Luna

11 ago 2019

1

[Práctico 2] Ejercicios para entregar

Juan Manuel Rivara De Leon

27 ago 2019

Carlos Luna

1 sept 2019

3

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

Marco Nicolas Rodriguez Alvariza

6 sept 2019

Marco Nicolas Rodriguez Alvariza

6 sept 2019

2

[Práctico 3] Ejercicio 4: estrategias de reducción.

Marco Nicolas Rodriguez Alvariza

6 sept 2019

Carlos Luna

6 sept 2019

1

[Práctico 3] Ejercicio 9

Damian Ferencz

20 sept 2019

Carlos Luna

21 sept 2019

3

[Práctico 3] Generalizaciones, indexado (3.12), exact (3.14 y 3.15)

Juan Manuel Rivara De Leon

24 sept 2019

Carlos Luna

24 sept 2019

1

[Práctico 4] Constructor de listas (4.1, 4.4, 4.11 y 4.17), argumentos implícitos, tácticas ...

Juan Manuel Rivara De Leon

13 oct 2019

Carlos Luna

13 oct 2019

1

[Práctico 4] Ejercicio 8: Simplificación del Or

Marco Nicolas Rodriguez Alvariza

13 oct 2019

Marco Nicolas Rodriguez Alvariza

14 oct 2019

4

[Práctico 4] Ejercicio 12.3: doble filter

Marco Nicolas Rodriguez Alvariza

20 oct 2019

Marco Nicolas Rodriguez Alvariza

20 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] Librería ZArith. Táctica 'omega'.

Marco Nicolas Rodriguez Alvariza

23 oct 2019

Marco Nicolas Rodriguez Alvariza

23 oct 2019

0

[Práctico 4] Ejercicio 21

Marco Nicolas Rodriguez Alvariza

25 oct 2019

Marco Nicolas Rodriguez Alvariza

25 oct 2019

4

Sobre la estrategia destruct

Damian Ferencz

23 oct 2019

Damian Ferencz

26 oct 2019

2

Sobre definiciones locales

Damian Ferencz

26 oct 2019

Carlos Luna

26 oct 2019

1

[Práctico 4] Ejercicio 17

Marco Nicolas Rodriguez Alvariza

25 oct 2019

Marco Nicolas Rodriguez Alvariza

27 oct 2019

4

[Práctico 5] Ejercicio 1.5

Marco Nicolas Rodriguez Alvariza

27 oct 2019

Marco Nicolas Rodriguez Alvariza

28 oct 2019

2

[Práctico 5] Ejercicio 6.3

Marco Nicolas Rodriguez Alvariza

30 oct 2019

Marco Nicolas Rodriguez Alvariza

30 oct 2019

2

Nombres automáticos en pruebas

Marco Nicolas Rodriguez Alvariza

2 nov 2019

Carlos Luna

2 nov 2019

1

[Práctico 6] Ejercicio 3

Marco Nicolas Rodriguez Alvariza

6 nov 2019

Marco Nicolas Rodriguez Alvariza

7 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] Receptor de entregas

Marco Nicolas Rodriguez Alvariza

21 nov 2019

Marco Nicolas Rodriguez Alvariza

21 nov 2019

2

[Práctico 1] Consultas generales

Cristian Fabian Sottile

7 sept 2020

Carlos Luna

7 sept 2020

1

Consulta utilización del apply con si solo si y con implica con and

Felipe De Leon Arias

7 sept 2020

Carlos Luna

8 sept 2020

3

Práctico 2 - Ejercicio 11

Lautaro Cardozo Ramirez

21 sept 2020

Lautaro Cardozo Ramirez

21 sept 2020

3

Practico 2 - Ejercicio 10 - Lemas 10_4 y 10_5

Geronimo Garcia Koch

22 sept 2020

Carlos Luna

22 sept 2020

1

[Practico 3] - Ejercicio 15

Geronimo Garcia Koch

9 oct 2020

Carlos Luna

10 oct 2020

1

Consulta ejercicios 1.12, 2.9.2 y 3.7

Cristian Fabian Sottile

14 oct 2020

Carlos Luna

14 oct 2020

1

Consulta ej 4.1.5

Cristian Fabian Sottile

25 oct 2020

Cristian Fabian Sottile

25 oct 2020

2

Consulta ej 3.12

Cristian Fabian Sottile

26 oct 2020

Carlos Luna

26 oct 2020

1

[Practico 4] Ejercicio 17

Pablo Daniel Martinez Arevalo

1 nov 2020

Carlos Luna

3 nov 2020

6

[Práctico 5] Ejercicio 3.c

Lautaro Cardozo Ramirez

10 nov 2020

Carlos Luna

10 nov 2020

1

[Practico 5] Ej 7

Pablo Daniel Martinez Arevalo

16 nov 2020

Carlos Luna

17 nov 2020

1

[Practico 5] Ej 3.5 - DeleteNotMember

Geronimo Garcia Koch

23 nov 2020

Carlos Luna

23 nov 2020

1

[Practico 5] Ej 5.5

Geronimo Garcia Koch

23 nov 2020

Geronimo Garcia Koch

23 nov 2020

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

Parciales para practicar

Pablo Daniel Martinez Arevalo

10 dic 2020

Carlos Luna

11 dic 2020

1

[Práctica 5] Ejercicio 5

Cristian Fabian Sottile

13 dic 2020

Carlos Luna

13 dic 2020

1

[Práctico 1] Ejercicio 11

Eliana Rosselli Orrico

25 ago 2021

Carlos Luna

28 ago 2021

3

Practico 2 - Tacticals

Lia Malvarez Busquets

8 sept 2021

Carlos Luna

8 sept 2021

1

[Práctico 3] Ejercicio 8

Eliana Rosselli Orrico

21 sept 2021

Carlos Luna

21 sept 2021

1

[Práctico 3] Ejercicio 1

Eliana Rosselli Orrico

21 sept 2021

Carlos Luna

25 sept 2021

3

[Práctico 3] Ej: 8

Lia Malvarez Busquets

25 sept 2021

Lia Malvarez Busquets

25 sept 2021

2

[Práctico 4] Ejercicio 7

Eliana Rosselli Orrico

15 oct 2021

Eliana Rosselli Orrico

16 oct 2021

2

[Práctico 4] Ejercicio 17

Federico Martin Peña Santucci

19 oct 2021

Federico Martin Peña Santucci

23 oct 2021

5

[Consulta general Coq]: Modificar hipótesis

Lia Malvarez Busquets

24 oct 2021

Lia Malvarez Busquets

24 oct 2021

2

[Práctico 5] Código del ejercicio 1 no compila

Eliana Rosselli Orrico

30 oct 2021

Carlos Luna

30 oct 2021

1

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

Eliana Rosselli Orrico

3 nov 2021

Eliana Rosselli Orrico

4 nov 2021

2

[Práctico 5] Ejercicio 7.7

Federico Martin Peña Santucci

5 nov 2021

Carlos Luna

7 nov 2021

3

[Práctico 5] Ejercicio 7.8

Eliana Rosselli Orrico

7 nov 2021

Carlos Luna

7 nov 2021

3

[Practico 7] ej 3.5 - DeleteNotMember

Lia Malvarez Busquets

8 nov 2021

Lia Malvarez Busquets

9 nov 2021

2

[Práctico 6] Ejercicio 8

Eliana Rosselli Orrico

10 nov 2021

Carlos Luna

11 nov 2021

2

[Práctico 4] Ejercicio 5.2

Eliana Rosselli Orrico

26 nov 2021

Carlos Luna

26 nov 2021

1

[Práctico 6] Ejercicio 4.2

Federico Martin Peña Santucci

26 nov 2021

Federico Martin Peña Santucci

27 nov 2021

2

[Practico 1] - Ejercicio 11

Bruno Rolando Boz

6 ago 2022

Carlos Luna

6 ago 2022

1

Quitar hipótesis del contexto

Bruno Rolando Boz

7 ago 2022

Carlos Luna

7 ago 2022

1

[Practico1][Ejercicios 7.1 en adelante]

Alejandro Sebastian Flocken Rodriguez

10 ago 2022

Carlos Luna

11 ago 2022

7

[Practico 1] Ejercicio 12

Bruno Rolando Boz

12 ago 2022

Bruno Rolando Boz

12 ago 2022

2

[Practico 1] Ejercicio 9

Alejandro Sebastian Flocken Rodriguez

16 ago 2022

Carlos Luna

17 ago 2022

3

[Practico 1] Ejercicio 12

Alejandro Sebastian Flocken Rodriguez

17 ago 2022

Carlos Luna

17 ago 2022

1

[Práctico 2] Ejercicio 11

Julian Tricanico Gadea

17 ago 2022

Carlos Luna

17 ago 2022

1

[Practico 2] Ejercicio 8

Bruno Rolando Boz

18 ago 2022

Carlos Luna

18 ago 2022

1

[Practico 1] Ejercicio 8.3

Agustin Di Vincezo Fernandez

17 ago 2022

Agustin Di Vincezo Fernandez

18 ago 2022

2

Ejercicio 7

Pablo Palou Singlet

23 ago 2022

Carlos Luna

24 ago 2022

2

[Practico 2] Ejercicio 10.5

Bruno Rolando Boz

23 ago 2022

Carlos Luna

24 ago 2022

3

[Practico 2] Ejercicio 3.2

Alejandro Sebastian Flocken Rodriguez

27 ago 2022

Carlos Luna

28 ago 2022

3

[Practico 2] Ejercicio 10

Agustin Di Vincezo Fernandez

28 ago 2022

Carlos Luna

28 ago 2022

4

[Practico 2] Ejercicio 4.1

Alejandro Sebastian Flocken Rodriguez

28 ago 2022

Carlos Luna

28 ago 2022

3

[Práctico 2] Ejercicio 10.7

Julian Tricanico Gadea

7 ago 2022

Carlos Luna

29 ago 2022

6

[Practico 2] Ejercicio 3.1

Bruno Lartigau Antonini

28 ago 2022

Bruno Lartigau Antonini

29 ago 2022

2

[Practico 3] Ejercicio 1

Bruno Rolando Boz

31 ago 2022

Carlos Luna

31 ago 2022

1

[Práctico 3] Ejercicio 6

Julian Tricanico Gadea

31 ago 2022

Carlos Luna

31 ago 2022

1

Practico 3.1.3

Alejandro Sebastian Flocken Rodriguez

10 sept 2022

Carlos Luna

10 sept 2022

1

[Practico 3] Ejercicio 3

Bruno Lartigau Antonini

10 sept 2022

Bruno Lartigau Antonini

10 sept 2022

0

Practico 3.2

Alejandro Sebastian Flocken Rodriguez

10 sept 2022

Carlos Luna

11 sept 2022

3

[Practico 3][Ejercicio 8.2]

Agustin Di Vincezo Fernandez

11 sept 2022

Agustin Di Vincezo Fernandez

11 sept 2022

2

Practico 3.1

Alejandro Sebastian Flocken Rodriguez

10 sept 2022

Carlos Luna

11 sept 2022

3

[Practico 3] Ejercicio 11.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 3][Ejercicio 5]

Alejandro Sebastian Flocken Rodriguez

12 sept 2022

Carlos Luna

12 sept 2022

3

[Practico 3] Ejercicio 8 - Duda ArrayNat

Santiago Puppo Caubarrere

15 sept 2022

Carlos Luna

15 sept 2022

1

[Practico 3] Ejercicio 12.2

Bruno Rolando Boz

15 sept 2022

Carlos Luna

15 sept 2022

1

[Practico 3][Corrección]

Alejandro Sebastian Flocken Rodriguez

19 sept 2022

Carlos Luna

19 sept 2022

1

[Practico 4] Ejercicio 17

Pablo Palou Singlet

2 oct 2022

Carlos Luna

2 oct 2022

1

Practico 4 - Ejercicio 15.2

Bruno Rolando Boz

3 oct 2022

Carlos Luna

8 oct 2022

3

[Practico 4][Ej 3]

Agustin Di Vincezo Fernandez

8 oct 2022

Carlos Luna

9 oct 2022

1

[Práctico 4] Ejercicio 17.3.3 - error

Julian Tricanico Gadea

7 oct 2022

Carlos Luna

9 oct 2022

3

[Práctico 4] Fixpoint

Julian Tricanico Gadea

25 sept 2022

Agustin Di Vincezo Fernandez

9 oct 2022

6

[Practico 4][Pruebas (ej, 9,11)]

Agustin Di Vincezo Fernandez

9 oct 2022

Carlos Luna

9 oct 2022

1

[Práctico 5] Ejercicio 5

Julian Tricanico Gadea

19 oct 2022

Julian Tricanico Gadea

19 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