Consultas de Práctico

Mostrando 100 de 359 discusiones
Debate	Comenzado por	Último mensaje	Réplicas
[Practico 1] Ejercicio 8.3	Agustin Di Vincezo Fernandez 17 ago 2022	Agustin Di Vincezo Fernandez 18 ago 2022	2
[Practico 2] Ejercicio 10	Agustin Di Vincezo Fernandez 28 ago 2022	Carlos Luna 28 ago 2022	4
[Practico 3][Ejercicio 8.2]	Agustin Di Vincezo Fernandez 11 sept 2022	Agustin Di Vincezo Fernandez 11 sept 2022	2
[Practico 3] Ejercicio 11.2	Agustin Di Vincezo Fernandez 11 sept 2022	Agustin Di Vincezo Fernandez 11 sept 2022	2
[Practico 4][Ej 3]	Agustin Di Vincezo Fernandez 8 oct 2022	Carlos Luna 9 oct 2022	1
[Practico 4][Pruebas (ej, 9,11)]	Agustin Di Vincezo Fernandez 9 oct 2022	Carlos Luna 9 oct 2022	1
[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
[Practico 5] Ej 5.3.c	Agustin Di Vincezo Fernandez 25 oct 2022	Carlos Luna 26 oct 2022	5
[Practico 5] Ejercicio 7.2	Agustin Di Vincezo Fernandez 30 oct 2022	Carlos Luna 30 oct 2022	3
Demora en la entrega del Práctico 5	Agustin Pomies Arias 31 oct 2022	Carlos Luna 1 nov 2022	3
Poner o no el tipo en constructores (depende de versión de Coq?)	Agustin Leonardo Lucas Millan 8 oct 2023	Agustin Leonardo Lucas Millan 9 oct 2023	2
Practico 5 ej 4.3	Agustin Leonardo Lucas Millan 21 oct 2023	Carlos Luna 21 oct 2023	3
[Practico 2] - Ejercicio 10.8	Agustina Perez Castillo 3 sept 2023	Agustina Perez Castillo 3 sept 2023	2
[Practico1][Ejercicios 7.1 en adelante]	Alejandro Sebastian Flocken Rodriguez 10 ago 2022	Carlos Luna 11 ago 2022	7
[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
[Practico 2] Ejercicio 3.2	Alejandro Sebastian Flocken Rodriguez 27 ago 2022	Carlos Luna 28 ago 2022	3
[Practico 2] Ejercicio 4.1	Alejandro Sebastian Flocken Rodriguez 28 ago 2022	Carlos Luna 28 ago 2022	3
Practico 3.1	Alejandro Sebastian Flocken Rodriguez 10 sept 2022	Carlos Luna 11 sept 2022	3
Practico 3.2	Alejandro Sebastian Flocken Rodriguez 10 sept 2022	Carlos Luna 11 sept 2022	3
Practico 3.1.3	Alejandro Sebastian Flocken Rodriguez 10 sept 2022	Carlos Luna 10 sept 2022	1
[Practico 3][Ejercicio 5]	Alejandro Sebastian Flocken Rodriguez 12 sept 2022	Carlos Luna 12 sept 2022	3
[Practico 3][Corrección]	Alejandro Sebastian Flocken Rodriguez 19 sept 2022	Carlos Luna 19 sept 2022	1
Práctico 2 - Ejercicio 7	Alvaro Gabriel Señorale Perez 6 sept 2015	Alvaro Gabriel Señorale Perez 6 sept 2015	2
Practico 3 - Ejercicio 8.6	Alvaro Gabriel Señorale Perez 14 sept 2015	Carlos Luna 15 sept 2015	3
Practico 3 Ej 13.3 y 14	Alvaro Gabriel Señorale Perez 18 sept 2015	Camila Moscatelli Bulmini 22 sept 2015	4
Práctico 5 ej3 parte 3	Alvaro Gabriel Señorale Perez 7 nov 2015	Carlos Luna 7 nov 2015	3
Consulta, Practico 1 Ejercicio 3	Andres Veiro Diaz 18 ago 2014	Andres Veiro Diaz 18 ago 2014	2
Ejercicio 10.1 practico 2	Andres Veiro Diaz 4 sept 2014	Andres Veiro Diaz 6 sept 2014	2
Practico 3: Ejercicio 5.1	Andres Veiro Diaz 17 sept 2014	Carlos Luna 21 sept 2014	6
Practico 3. Ej 8.1	Andres Veiro Diaz 27 sept 2014	Carlos Luna 27 sept 2014	1
Practico 1 Ej 12	Andres Fulloni Papaleo 26 ago 2017	Carlos Luna 27 ago 2017	1
Práctico 2 dudas ej 3 y 10	Andres Fulloni Papaleo 6 sept 2017	Martin Steffen Correa 11 sept 2017	5
Práctico 3 ej8 y ej13-15	Andres Fulloni Papaleo 18 sept 2017	Carlos Luna 18 sept 2017	1
Práctico 4 Ej 2 y 3	Andres Fulloni Papaleo 16 oct 2017	Carlos Luna 16 oct 2017	1
Práctico 4 Ej 20 y 21	Andres Fulloni Papaleo 19 oct 2017	Carlos Luna 19 oct 2017	1
[Práctico 5] Ej 1.6	Andres Fulloni Papaleo 29 oct 2017	Carlos Luna 29 oct 2017	1
[Práctico 5] Ej 5.3c	Andres Fulloni Papaleo 3 nov 2017	Carlos Luna 6 nov 2017	5
[Práctico 6] Ej 6.2	Andres Fulloni Papaleo 20 nov 2017	Carlos Luna 21 nov 2017	4
[Práctico 6] Ej 9	Andres Fulloni Papaleo 26 nov 2017	Carlos Luna 26 nov 2017	1
[Práctico 7] dudas varias.	Andres Fulloni Papaleo 1 dic 2017	Carlos Luna 8 dic 2017	3
[Práctico 7] Ejericio 7	Andres Fulloni Papaleo 4 dic 2017	Andres Fulloni Papaleo 5 dic 2017	4
Práctico 4 Ejercicio 6	Bernardo Larrosa 19 oct 2014	Carlos Luna 19 oct 2014	1
[Práctico 7] Precondición de Read	Bernardo Larrosa 20 dic 2014	Carlos Luna 20 dic 2014	1
[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
[Practico 1] Ejercicio 12	Bruno Rolando Boz 12 ago 2022	Bruno Rolando Boz 12 ago 2022	2
[Practico 2] Ejercicio 8	Bruno Rolando Boz 18 ago 2022	Carlos Luna 18 ago 2022	1
[Practico 2] Ejercicio 10.5	Bruno Rolando Boz 23 ago 2022	Carlos Luna 24 ago 2022	3
[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
[Practico 3] Ejercicio 3	Bruno Lartigau Antonini 10 sept 2022	Bruno Lartigau Antonini 10 sept 2022	0
[Practico 3] Ejercicio 12.2	Bruno Rolando Boz 15 sept 2022	Carlos Luna 15 sept 2022	1
Practico 4 - Ejercicio 15.2	Bruno Rolando Boz 3 oct 2022	Carlos Luna 8 oct 2022	3
[Practico 5] Ejercicio 6	Bruno Rolando Boz 25 oct 2022	Carlos Luna 25 oct 2022	1
[Practico 5] Ejercicio 7 - notación ";".	Bruno Rolando Boz 28 oct 2022	Carlos Luna 28 oct 2022	1
[Practico 5] Ejercicio 3, partes 3 y 5	Bruno Lartigau Antonini 29 oct 2022	Bruno Lartigau Antonini 30 oct 2022	2
[Practico 5] Ejercicio 7.7	Bruno Rolando Boz 29 oct 2022	Bruno Rolando Boz 30 oct 2022	2
[Practico 7] - Ejercicio 5 - propiedad v	Bruno Rolando Boz 26 nov 2022	Carlos Luna 3 dic 2022	3
[Practico 7] Ejercicio 3, post write	Bruno Lartigau Antonini 30 nov 2022	Carlos Luna 1 dic 2022	1
[Practico 7] - Probar un record	Bruno Rolando Boz 4 dic 2022	Carlos Luna 4 dic 2022	1
Entrega	Camila Sanz Almada 23 ago 2014	Gustavo Betarte 23 ago 2014	1
Ejercicio 11 Práctico 1	Camila Moscatelli Bulmini 17 ago 2015	Carlos Luna 17 ago 2015	1
Práctico 3-Ejercicio 3	Camila Moscatelli Bulmini 14 sept 2015	Camila Moscatelli Bulmini 14 sept 2015	2
Uso de Destruct	Camilo Fossemale Zanotta 18 ago 2023	Carlos Luna 18 ago 2023	1
[Práctico 4] Ejercicio 19.	Camilo Fossemale Zanotta 19 nov 2023	Camilo Fossemale Zanotta 20 nov 2023	2
[Practico 5] [Ejercicio 5.1.5]	Camilo Fossemale Zanotta 20 nov 2023	Carlos Luna 20 nov 2023	1
[Práctico 7] sobre funciones parciales...	Carlos Luna 9 dic 2014	Carlos Luna 9 dic 2014	0
Práctico 7 - Cambio en orden de ejercicios 7.4 y 7.5	Carlos Luna 28 nov 2015	Carlos Luna 6 dic 2015	2
Link a practicos	Carlos Augusto Rodriguez Gonzalez 10 ago 2015	Carlos Luna 10 ago 2015	1
Certificado asistencia primer parcial	Carlos Augusto Rodriguez Gonzalez 5 oct 2015	Gustavo Betarte 5 oct 2015	1
[Practico 4][Ejercicio 19]	Carlos Augusto Rodriguez Gonzalez 18 oct 2015	Carlos Luna 18 oct 2015	1
Practico 5 - Ej 5.3.5	Carlos Augusto Rodriguez Gonzalez 30 oct 2015	Carlos Luna 31 oct 2015	1
Practico 6 Ej 3.	Carlos Augusto Rodriguez Gonzalez 14 nov 2015	Carlos Luna 16 nov 2015	3
Practico 6, Ejercicio 6	Carlos Augusto Rodriguez Gonzalez 15 nov 2015	Carlos Luna 15 nov 2015	1
Practico 7 - Mappings	Carlos Augusto Rodriguez Gonzalez 28 nov 2015	Carlos Luna 28 nov 2015	1
Busco Grupo.	Christian Favian Nuñez Machado 16 ago 2014	Christian Favian Nuñez Machado 16 ago 2014	0
[Práctico 1] Consultas generales	Cristian Fabian Sottile 7 sept 2020	Carlos Luna 7 sept 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
[Práctica 5] Ejercicio 5	Cristian Fabian Sottile 13 dic 2020	Carlos Luna 13 dic 2020	1
[Práctico 3] Ejercicio 9	Damian Ferencz 20 sept 2019	Carlos Luna 21 sept 2019	3
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
Duda Práctico 3 ej 1	Damian Augusto Langone Fusari 15 sept 2017	Carlos Luna 16 sept 2017	1
Practico 3 Ej 10	Damian Augusto Langone Fusari 20 sept 2017	Carlos Luna 21 sept 2017	1
Practico 4 Ejercicio 1	Damian Augusto Langone Fusari 13 oct 2017	Carlos Luna 17 oct 2017	2
[Practico 4] [Ejercicio 17]	Damian Augusto Langone Fusari 18 oct 2017	Carlos Luna 24 oct 2017	3
Entrega Practico 4	Damian Augusto Langone Fusari 21 oct 2017	Carlos Luna 21 oct 2017	1
[Practico 5] Ej 5.3.d	Damian Augusto Langone Fusari 30 oct 2017	Damian Augusto Langone Fusari 8 nov 2017	2
[Practico 5] Ejercicio 6	Damian Augusto Langone Fusari 4 nov 2017	Carlos Luna 4 nov 2017	3
[Practico 6] Ej 3.1	Damian Augusto Langone Fusari 22 nov 2017	Carlos Luna 23 nov 2017	7
[Practico 7] Duda Post-Write y propiedad 3	Damian Augusto Langone Fusari 4 dic 2017	Carlos Luna 4 dic 2017	1
Busco grupo	Daniel Filgueiras Di Lorenzo 14 ago 2014	Jairo Yamil Bonanata Silva 14 ago 2014	1
Duda General	Daniel Filgueiras Di Lorenzo 19 sept 2014	Carlos Luna 29 sept 2014	5
[Practico 3] Ejercicio 14_5	Daniel Filgueiras Di Lorenzo 25 sept 2014	Juan Pablo Garcia Garland 26 sept 2014	1
[Practico 4] Ejercicio 20	Daniel Filgueiras Di Lorenzo 30 nov 2014	Carlos Luna 1 dic 2014	1
[Practico 1] [Ejercicio 11]	Daniel Alejandro Garcia Miranda 18 mar 2024	Carlos Luna 18 mar 2024	1
Practico 4 - Ejercicio 11.5	Daniel Alejandro Garcia Miranda 22 may 2024	Carlos Luna 25 may 2024	3

[Practico 1] Ejercicio 8.3

Agustin Di Vincezo Fernandez

17 ago 2022

Agustin Di Vincezo Fernandez

18 ago 2022

2

[Practico 2] Ejercicio 10

Agustin Di Vincezo Fernandez

28 ago 2022

Carlos Luna

28 ago 2022

4

[Practico 3][Ejercicio 8.2]

Agustin Di Vincezo Fernandez

11 sept 2022

Agustin Di Vincezo Fernandez

11 sept 2022

2

[Practico 3] Ejercicio 11.2

Agustin Di Vincezo Fernandez

11 sept 2022

Agustin Di Vincezo Fernandez

11 sept 2022

2

[Practico 4][Ej 3]

Agustin Di Vincezo Fernandez

8 oct 2022

Carlos Luna

9 oct 2022

1

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

Agustin Di Vincezo Fernandez

9 oct 2022

Carlos Luna

9 oct 2022

1

[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

[Practico 5] Ej 5.3.c

Agustin Di Vincezo Fernandez

25 oct 2022

Carlos Luna

26 oct 2022

5

[Practico 5] Ejercicio 7.2

Agustin Di Vincezo Fernandez

30 oct 2022

Carlos Luna

30 oct 2022

3

Demora en la entrega del Práctico 5

Agustin Pomies Arias

31 oct 2022

Carlos Luna

1 nov 2022

3

Poner o no el tipo en constructores (depende de versión de Coq?)

Agustin Leonardo Lucas Millan

8 oct 2023

Agustin Leonardo Lucas Millan

9 oct 2023

2

Practico 5 ej 4.3

Agustin Leonardo Lucas Millan

21 oct 2023

Carlos Luna

21 oct 2023

3

[Practico 2] - Ejercicio 10.8

Agustina Perez Castillo

3 sept 2023

Agustina Perez Castillo

3 sept 2023

2

[Practico1][Ejercicios 7.1 en adelante]