Consultas de Práctico

Mostrando 100 de 359 discusiones
Debate	Comenzado por	Último mensaje	Réplicas
Práctico 4 - Dudas ejercicio 17	Joaquin Lejtreger Chebi 18 oct 2018	Carlos Luna 29 oct 2018	14
[Practico 1] Ejercicios 11 y 12	Santiago Ingold Core 22 ago 2018	Santiago Ingold Core 28 ago 2018	10
[Práctico 4] Ejercicio 18	Jairo Yamil Bonanata Silva 20 oct 2014	Jairo Yamil Bonanata Silva 24 oct 2014	10
[Práctico 3] Ejercicios 6 y 7	Diego Ricardo Perez Bernardi 16 sept 2014	Juan Pablo Sierra Ansuas 21 sept 2014	9
P7 - Consulta por aclaración sobre interpretación de existencia en mapas parciales	Juan Manuel Rivara De Leon 2 dic 2023	Carlos Luna 10 dic 2023	8
[Practico1][Ejercicios 7.1 en adelante]	Alejandro Sebastian Flocken Rodriguez 10 ago 2022	Carlos Luna 11 ago 2022	7
Ejercicio 10, práctico 2	Joaquin Lejtreger Chebi 28 ago 2018	Carlos Luna 12 sept 2018	7
[Practico 6] Ej 3.1	Damian Augusto Langone Fusari 22 nov 2017	Carlos Luna 23 nov 2017	7
[Practico 7] va_mapped_to_ma	Eduardo David Hernandez Muiño 14 dic 2014	Carlos Luna 18 dic 2014	7
[Práctico 7] Relación entre estados	Jairo Yamil Bonanata Silva 11 dic 2014	Carlos Luna 18 dic 2014	7
[Práctico 7] Ejercicio 6	Julian Tricanico Gadea 29 nov 2022	Bruno Lartigau Antonini 6 dic 2022	6
[Práctico 4] Fixpoint	Julian Tricanico Gadea 25 sept 2022	Agustin Di Vincezo Fernandez 9 oct 2022	6
[Práctico 2] Ejercicio 10.7	Julian Tricanico Gadea 7 ago 2022	Carlos Luna 29 ago 2022	6
[Practico 4] Ejercicio 17	Pablo Daniel Martinez Arevalo 1 nov 2020	Carlos Luna 3 nov 2020	6
[Práctico 7] Ej5 - Regla v - casos de error	Jairo Yamil Bonanata Silva 12 dic 2014	Romina Diana Romero Riva 21 dic 2014	6
Exportar código de pruebas	Juan Pablo Sierra Ansuas 27 nov 2014	Leonardo Martin Piñeyro Rodriguez 27 nov 2017	6
Practico 3: Ejercicio 5.1	Andres Veiro Diaz 17 sept 2014	Carlos Luna 21 sept 2014	6
Táctica inversion	Juan Manuel Rivara De Leon 28 sept 2023	Carlos Luna 29 sept 2023	5
[Practico 5] Ej 5.3.c	Agustin Di Vincezo Fernandez 25 oct 2022	Carlos Luna 26 oct 2022	5
[Práctico 4] Ejercicio 17	Federico Martin Peña Santucci 19 oct 2021	Federico Martin Peña Santucci 23 oct 2021	5
[Practico 5] Ej 5 . 6 .4	Pablo Daniel Martinez Arevalo 13 nov 2017	Carlos Luna 14 nov 2017	5
[Práctico 5] Ej 5.3c	Andres Fulloni Papaleo 3 nov 2017	Carlos Luna 6 nov 2017	5
Práctico 2 dudas ej 3 y 10	Andres Fulloni Papaleo 6 sept 2017	Martin Steffen Correa 11 sept 2017	5
Practico 5, ej 7, parte 6	Guillermo Martin Baez Baptista 31 oct 2015	Carlos Luna 1 nov 2015	5
[Práctico 7] Post-Condición chmod	Jairo Yamil Bonanata Silva 12 dic 2014	Carlos Luna 15 dic 2014	5
[Practico 5] - Ejercicio 7.2	Eduardo David Hernandez Muiño 2 nov 2014	Eduardo David Hernandez Muiño 4 nov 2014	5
Practico 4 Eejercicio 14.2	Eduardo David Hernandez Muiño 19 oct 2014	Carlos Luna 19 oct 2014	5
Duda General	Daniel Filgueiras Di Lorenzo 19 sept 2014	Carlos Luna 29 sept 2014	5
[Practico 3] Ejercicio 11.2	Gonzalo Daniel Melgar Abalde 18 sept 2014	Carlos Luna 27 sept 2014	5
Practico 5 Ej 7.6	Rodrigo Javier Vazquez Machado 29 oct 2023	Carlos Luna 29 oct 2023	4
Practico 3 Ejercicio 4	Santiago Guerra Boschiero 10 sept 2023	Santiago Guerra Boschiero 10 sept 2023	4
[Practico 2] Ejercicio 10	Agustin Di Vincezo Fernandez 28 ago 2022	Carlos Luna 28 ago 2022	4
[Práctico 4] Ejercicio 21	Marco Nicolas Rodriguez Alvariza 25 oct 2019	Marco Nicolas Rodriguez Alvariza 25 oct 2019	4
[Práctico 4] Ejercicio 17	Marco Nicolas Rodriguez Alvariza 25 oct 2019	Marco Nicolas Rodriguez Alvariza 27 oct 2019	4
[Práctico 4] Ejercicio 8: Simplificación del Or	Marco Nicolas Rodriguez Alvariza 13 oct 2019	Marco Nicolas Rodriguez Alvariza 14 oct 2019	4
Corrección de los prácticos.	German Adolfo Faller Farias 18 nov 2018	German Adolfo Faller Farias 21 nov 2018	4
Practico 5 ej 5 3 d	German Adolfo Faller Farias 1 nov 2018	Carlos Luna 5 nov 2018	4
Practico 4 - Ej15	German Adolfo Faller Farias 23 oct 2018	German Adolfo Faller Farias 24 oct 2018	4
Practico 4 - Predicados inductivos sobre Listas	German Adolfo Faller Farias 9 oct 2018	Carlos Luna 8 oct 2023	4
[Práctico 7] Ejericio 7	Andres Fulloni Papaleo 4 dic 2017	Andres Fulloni Papaleo 5 dic 2017	4
[Práctico 6] Ej 6.2	Andres Fulloni Papaleo 20 nov 2017	Carlos Luna 21 nov 2017	4
Duda en va_mapped_to_ma	Miguel Matias Langone Fusari 8 dic 2016	Miguel Matias Langone Fusari 9 dic 2016	4
Diferencia de ejecucion de Coq en Maquinas de Facultad.	Miguel Matias Langone Fusari 21 oct 2016	Carlos Luna 23 oct 2016	4
Practico 3 Ej 13.3 y 14	Alvaro Gabriel Señorale Perez 18 sept 2015	Camila Moscatelli Bulmini 22 sept 2015	4
[Practico 1 - Ej 1.7]	Luciano Dante Alvarez Bibbo 16 ago 2015	Luciano Dante Alvarez Bibbo 18 ago 2015	4
[Caso de estudio] - Ejercicio 1	Juan Pablo Garcia Garland 5 dic 2014	Carlos Luna 9 dic 2014	4
[Práctico 4] - Ejercicio 4.16.2	Jairo Yamil Bonanata Silva 30 nov 2014	Carlos Luna 1 dic 2014	4
Consulta Ejercicios 1.8	Juan Pablo Sierra Ansuas 19 ago 2014	Carlos Luna 20 ago 2014	4
Practico 4 - Ejercicio 11.5	Daniel Alejandro Garcia Miranda 22 may 2024	Carlos Luna 25 may 2024	3
Practico 5 ej 4.3	Agustin Leonardo Lucas Millan 21 oct 2023	Carlos Luna 21 oct 2023	3
[Practico 4] Ejercicio 10.1	Rodrigo Javier Vazquez Machado 10 oct 2023	Carlos Luna 11 oct 2023	3
[Practico 7] - Ejercicio 5 - propiedad v	Bruno Rolando Boz 26 nov 2022	Carlos Luna 3 dic 2022	3
Demora en la entrega del Práctico 5	Agustin Pomies Arias 31 oct 2022	Carlos Luna 1 nov 2022	3
[Practico 5] Ejercicio 7.2	Agustin Di Vincezo Fernandez 30 oct 2022	Carlos Luna 30 oct 2022	3
[Práctico 4] Ejercicio 17.3.3 - error	Julian Tricanico Gadea 7 oct 2022	Carlos Luna 9 oct 2022	3
Practico 4 - Ejercicio 15.2	Bruno Rolando Boz 3 oct 2022	Carlos Luna 8 oct 2022	3
[Practico 3][Ejercicio 5]	Alejandro Sebastian Flocken Rodriguez 12 sept 2022	Carlos Luna 12 sept 2022	3
Practico 3.2	Alejandro Sebastian Flocken Rodriguez 10 sept 2022	Carlos Luna 11 sept 2022	3
Practico 3.1	Alejandro Sebastian Flocken Rodriguez 10 sept 2022	Carlos Luna 11 sept 2022	3
[Practico 2] Ejercicio 4.1	Alejandro Sebastian Flocken Rodriguez 28 ago 2022	Carlos Luna 28 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.5	Bruno Rolando Boz 23 ago 2022	Carlos Luna 24 ago 2022	3
[Practico 1] Ejercicio 9	Alejandro Sebastian Flocken Rodriguez 16 ago 2022	Carlos Luna 17 ago 2022	3
[Práctico 5] Ejercicio 7.8	Eliana Rosselli Orrico 7 nov 2021	Carlos Luna 7 nov 2021	3
[Práctico 5] Ejercicio 7.7	Federico Martin Peña Santucci 5 nov 2021	Carlos Luna 7 nov 2021	3
[Práctico 3] Ejercicio 1	Eliana Rosselli Orrico 21 sept 2021	Carlos Luna 25 sept 2021	3
[Práctico 1] Ejercicio 11	Eliana Rosselli Orrico 25 ago 2021	Carlos Luna 28 ago 2021	3
Práctico 2 - Ejercicio 11	Lautaro Cardozo Ramirez 21 sept 2020	Lautaro Cardozo Ramirez 21 sept 2020	3
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 3] Ejercicio 9	Damian Ferencz 20 sept 2019	Carlos Luna 21 sept 2019	3
[Práctico 2] Ejercicios para entregar	Juan Manuel Rivara De Leon 27 ago 2019	Carlos Luna 1 sept 2019	3
[Practico 7] Entrega	Santiago Ingold Core 20 dic 2018	Santiago Ingold Core 20 dic 2018	3
Práctico 6 - Ejercicio 9	German Adolfo Faller Farias 30 nov 2018	German Adolfo Faller Farias 30 nov 2018	3
Practico 5 ej 6.4	German Adolfo Faller Farias 5 nov 2018	German Adolfo Faller Farias 5 nov 2018	3
Práctico 3 Ej 12	Joaquin Lejtreger Chebi 1 oct 2018	Carlos Luna 1 oct 2018	3
Práctico 3, ej. 5	Noelia Magali Lencina Alfonso 20 sept 2018	Carlos Luna 21 sept 2018	3
[Práctico 7] dudas varias.	Andres Fulloni Papaleo 1 dic 2017	Carlos Luna 8 dic 2017	3
[Practico 5] Ejercicio 6	Damian Augusto Langone Fusari 4 nov 2017	Carlos Luna 4 nov 2017	3
[Practico 4] [Ejercicio 17]	Damian Augusto Langone Fusari 18 oct 2017	Carlos Luna 24 oct 2017	3
Practico 7 os_accessible	Guillermo Martin Baez Baptista 2 dic 2015	Carlos Luna 2 dic 2015	3
Practico 6 Ej 3.	Carlos Augusto Rodriguez Gonzalez 14 nov 2015	Carlos Luna 16 nov 2015	3
Practico 6, ej 6	Guillermo Martin Baez Baptista 8 nov 2015	Carlos Luna 8 nov 2015	3
Práctico 5 ej3 parte 3	Alvaro Gabriel Señorale Perez 7 nov 2015	Carlos Luna 7 nov 2015	3
Practico 3 - Ejercicio 8.6	Alvaro Gabriel Señorale Perez 14 sept 2015	Carlos Luna 15 sept 2015	3
Practico 3 - Ej 4	Daniel Eduardo Erguiz Cartelle 9 sept 2015	Carlos Luna 9 sept 2015	3
Practico 2, Ejercicio 5.1	Mathias Federico Castro Ferrand 2 sept 2015	Mathias Federico Castro Ferrand 3 sept 2015	3
Solución de practicos	Luciano Dante Alvarez Bibbo 24 ago 2015	Carlos Luna 25 ago 2015	3
[Práctico 7] Ejercicio 7	Jairo Yamil Bonanata Silva 15 dic 2014	Carlos Luna 15 dic 2014	3
Ejercicio 6.11 Libro de Coq	Jairo Yamil Bonanata Silva 23 nov 2014	Ignacio Ismael Decia Cairo 1 dic 2014	3
[Práctico 6] - Ejercicio 6	Juan Pablo Garcia Garland 23 nov 2014	Carlos Luna 24 nov 2014	3
[Práctico 5] - Ejercicios 6.3 y 5.2	Jairo Yamil Bonanata Silva 30 oct 2014	Carlos Luna 30 oct 2014	3
[Práctico 1] Ej 16	Juan Pablo Garcia Garland 25 oct 2014	Carlos Luna 25 oct 2014	3
¿El parcial va a ser en el IDE de windows?	Jairo Yamil Bonanata Silva 7 oct 2014	Jairo Yamil Bonanata Silva 7 oct 2014	3
Show Proof - Show Tree	Jairo Yamil Bonanata Silva 7 oct 2014	Carlos Luna 7 oct 2014	3
[Práctico 3] Ejercicio 7.4. Segundo AND	Guillermo Urrutia Pereira 25 sept 2014	Carlos Luna 27 sept 2014	3
Ejercicio 2.7 y Estructuradores de Tacticas	Juan Pablo Sierra Ansuas 2 sept 2014	Carlos Luna 4 sept 2014	3
Ejercicio 1.11	Juan Pablo Sierra Ansuas 21 ago 2014	Juan Pablo Sierra Ansuas 22 ago 2014	3
[Práctico 4] Ejercicio 19.	Camilo Fossemale Zanotta 19 nov 2023	Camilo Fossemale Zanotta 20 nov 2023	2
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 2] - Ejercicio 10.8	Agustina Perez Castillo 3 sept 2023	Agustina Perez Castillo 3 sept 2023	2

Práctico 4 - Dudas ejercicio 17

Joaquin Lejtreger Chebi

18 oct 2018

Carlos Luna

29 oct 2018

14

[Practico 1] Ejercicios 11 y 12

Santiago Ingold Core

22 ago 2018

Santiago Ingold Core

28 ago 2018

10

[Práctico 4] Ejercicio 18

Jairo Yamil Bonanata Silva

20 oct 2014

Jairo Yamil Bonanata Silva

24 oct 2014

10

[Práctico 3] Ejercicios 6 y 7

Diego Ricardo Perez Bernardi

16 sept 2014

Juan Pablo Sierra Ansuas

21 sept 2014

9

P7 - Consulta por aclaración sobre interpretación de existencia en mapas parciales

Juan Manuel Rivara De Leon

2 dic 2023

Carlos Luna

10 dic 2023

8

[Practico1][Ejercicios 7.1 en adelante]

Alejandro Sebastian Flocken Rodriguez

10 ago 2022

Carlos Luna

11 ago 2022

7

Ejercicio 10, práctico 2

Joaquin Lejtreger Chebi

28 ago 2018

Carlos Luna

12 sept 2018

7

[Practico 6] Ej 3.1

Damian Augusto Langone Fusari

22 nov 2017

Carlos Luna

23 nov 2017

7

[Practico 7] va_mapped_to_ma

Eduardo David Hernandez Muiño

14 dic 2014

Carlos Luna

18 dic 2014

7

[Práctico 7] Relación entre estados

Jairo Yamil Bonanata Silva

11 dic 2014

Carlos Luna

18 dic 2014

7

[Práctico 7] Ejercicio 6

Julian Tricanico Gadea

29 nov 2022

Bruno Lartigau Antonini

6 dic 2022

6

[Práctico 4] Fixpoint

Julian Tricanico Gadea

25 sept 2022

Agustin Di Vincezo Fernandez

9 oct 2022

6

[Práctico 2] Ejercicio 10.7

Julian Tricanico Gadea

7 ago 2022

Carlos Luna

29 ago 2022

6

[Practico 4] Ejercicio 17

Pablo Daniel Martinez Arevalo

1 nov 2020

Carlos Luna

3 nov 2020

6

[Práctico 7] Ej5 - Regla v - casos de error

Jairo Yamil Bonanata Silva

12 dic 2014

Romina Diana Romero Riva

21 dic 2014

6

Exportar código de pruebas

Juan Pablo Sierra Ansuas

27 nov 2014

Leonardo Martin Piñeyro Rodriguez

27 nov 2017

6

Practico 3: Ejercicio 5.1

Andres Veiro Diaz

17 sept 2014

Carlos Luna

21 sept 2014

6

Táctica inversion

Juan Manuel Rivara De Leon

28 sept 2023

Carlos Luna

29 sept 2023

5

[Practico 5] Ej 5.3.c

Agustin Di Vincezo Fernandez

25 oct 2022

Carlos Luna

26 oct 2022

5

[Práctico 4] Ejercicio 17

Federico Martin Peña Santucci

19 oct 2021

Federico Martin Peña Santucci

23 oct 2021

5

[Practico 5] Ej 5 . 6 .4

Pablo Daniel Martinez Arevalo

13 nov 2017

Carlos Luna

14 nov 2017

5

[Práctico 5] Ej 5.3c

Andres Fulloni Papaleo

3 nov 2017

Carlos Luna

6 nov 2017

5

Práctico 2 dudas ej 3 y 10

Andres Fulloni Papaleo

6 sept 2017

Martin Steffen Correa

11 sept 2017

5

Practico 5, ej 7, parte 6

Guillermo Martin Baez Baptista

31 oct 2015

Carlos Luna

1 nov 2015

5

[Práctico 7] Post-Condición chmod

Jairo Yamil Bonanata Silva

12 dic 2014

Carlos Luna

15 dic 2014

5

[Practico 5] - Ejercicio 7.2

Eduardo David Hernandez Muiño

2 nov 2014

Eduardo David Hernandez Muiño

4 nov 2014

5

Practico 4 Eejercicio 14.2

Eduardo David Hernandez Muiño

19 oct 2014

Carlos Luna

19 oct 2014

5

Duda General

Daniel Filgueiras Di Lorenzo

19 sept 2014

Carlos Luna

29 sept 2014

5

[Practico 3] Ejercicio 11.2

Gonzalo Daniel Melgar Abalde

18 sept 2014

Carlos Luna

27 sept 2014

5

Practico 5 Ej 7.6

Rodrigo Javier Vazquez Machado

29 oct 2023

Carlos Luna

29 oct 2023

4

Practico 3 Ejercicio 4

Santiago Guerra Boschiero

10 sept 2023

Santiago Guerra Boschiero

10 sept 2023

4

[Practico 2] Ejercicio 10

Agustin Di Vincezo Fernandez

28 ago 2022

Carlos Luna

28 ago 2022

4

[Práctico 4] Ejercicio 21

Marco Nicolas Rodriguez Alvariza

25 oct 2019

Marco Nicolas Rodriguez Alvariza

25 oct 2019

4

[Práctico 4] Ejercicio 17

Marco Nicolas Rodriguez Alvariza

25 oct 2019

Marco Nicolas Rodriguez Alvariza

27 oct 2019

4

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

Marco Nicolas Rodriguez Alvariza

13 oct 2019

Marco Nicolas Rodriguez Alvariza

14 oct 2019

4

Corrección de los prácticos.

German Adolfo Faller Farias

18 nov 2018

German Adolfo Faller Farias

21 nov 2018

4

Practico 5 ej 5 3 d

German Adolfo Faller Farias

1 nov 2018

Carlos Luna

5 nov 2018

4

Practico 4 - Ej15

German Adolfo Faller Farias

23 oct 2018

German Adolfo Faller Farias

24 oct 2018

4

Practico 4 - Predicados inductivos sobre Listas

German Adolfo Faller Farias

9 oct 2018

Carlos Luna

8 oct 2023

4

[Práctico 7] Ejericio 7

Andres Fulloni Papaleo

4 dic 2017

Andres Fulloni Papaleo

5 dic 2017

4

[Práctico 6] Ej 6.2

Andres Fulloni Papaleo

20 nov 2017

Carlos Luna

21 nov 2017

4

Duda en va_mapped_to_ma

Miguel Matias Langone Fusari

8 dic 2016

Miguel Matias Langone Fusari

9 dic 2016

4

Diferencia de ejecucion de Coq en Maquinas de Facultad.

Miguel Matias Langone Fusari

21 oct 2016

Carlos Luna

23 oct 2016

4

Practico 3 Ej 13.3 y 14

Alvaro Gabriel Señorale Perez

18 sept 2015

Camila Moscatelli Bulmini

22 sept 2015

4

[Practico 1 - Ej 1.7]

Luciano Dante Alvarez Bibbo

16 ago 2015

Luciano Dante Alvarez Bibbo

18 ago 2015

4

[Caso de estudio] - Ejercicio 1

Juan Pablo Garcia Garland

5 dic 2014

Carlos Luna

9 dic 2014

4

[Práctico 4] - Ejercicio 4.16.2

Jairo Yamil Bonanata Silva

30 nov 2014

Carlos Luna

1 dic 2014

4

Consulta Ejercicios 1.8

Juan Pablo Sierra Ansuas

19 ago 2014

Carlos Luna

20 ago 2014

4

Practico 4 - Ejercicio 11.5

Daniel Alejandro Garcia Miranda

22 may 2024

Carlos Luna

25 may 2024

3

Practico 5 ej 4.3

Agustin Leonardo Lucas Millan

21 oct 2023

Carlos Luna

21 oct 2023

3

[Practico 4] Ejercicio 10.1

Rodrigo Javier Vazquez Machado

10 oct 2023

Carlos Luna

11 oct 2023

3

[Practico 7] - Ejercicio 5 - propiedad v

Bruno Rolando Boz

26 nov 2022

Carlos Luna

3 dic 2022

3

Demora en la entrega del Práctico 5

Agustin Pomies Arias

31 oct 2022

Carlos Luna

1 nov 2022

3

[Practico 5] Ejercicio 7.2

Agustin Di Vincezo Fernandez

30 oct 2022

Carlos Luna

30 oct 2022

3

[Práctico 4] Ejercicio 17.3.3 - error

Julian Tricanico Gadea

7 oct 2022

Carlos Luna

9 oct 2022

3

Practico 4 - Ejercicio 15.2

Bruno Rolando Boz

3 oct 2022

Carlos Luna

8 oct 2022

3

[Practico 3][Ejercicio 5]

Alejandro Sebastian Flocken Rodriguez

12 sept 2022

Carlos Luna

12 sept 2022

3

Practico 3.2

Alejandro Sebastian Flocken Rodriguez

10 sept 2022

Carlos Luna

11 sept 2022

3

Practico 3.1

Alejandro Sebastian Flocken Rodriguez

10 sept 2022

Carlos Luna

11 sept 2022

3

[Practico 2] Ejercicio 4.1

Alejandro Sebastian Flocken Rodriguez

28 ago 2022

Carlos Luna

28 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.5

Bruno Rolando Boz

23 ago 2022

Carlos Luna

24 ago 2022

3

[Practico 1] Ejercicio 9

Alejandro Sebastian Flocken Rodriguez

16 ago 2022

Carlos Luna

17 ago 2022

3

[Práctico 5] Ejercicio 7.8

Eliana Rosselli Orrico

7 nov 2021

Carlos Luna

7 nov 2021

3

[Práctico 5] Ejercicio 7.7

Federico Martin Peña Santucci

5 nov 2021

Carlos Luna

7 nov 2021

3

[Práctico 3] Ejercicio 1

Eliana Rosselli Orrico

21 sept 2021

Carlos Luna

25 sept 2021

3

[Práctico 1] Ejercicio 11

Eliana Rosselli Orrico

25 ago 2021

Carlos Luna

28 ago 2021

3

Práctico 2 - Ejercicio 11

Lautaro Cardozo Ramirez

21 sept 2020

Lautaro Cardozo Ramirez

21 sept 2020

3

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 3] Ejercicio 9

Damian Ferencz

20 sept 2019

Carlos Luna

21 sept 2019

3

[Práctico 2] Ejercicios para entregar

Juan Manuel Rivara De Leon

27 ago 2019

Carlos Luna

1 sept 2019

3

[Practico 7] Entrega

Santiago Ingold Core

20 dic 2018

Santiago Ingold Core

20 dic 2018

3

Práctico 6 - Ejercicio 9

German Adolfo Faller Farias

30 nov 2018

German Adolfo Faller Farias

30 nov 2018

3

Practico 5 ej 6.4

German Adolfo Faller Farias

5 nov 2018

German Adolfo Faller Farias

5 nov 2018

3

Práctico 3 Ej 12

Joaquin Lejtreger Chebi

1 oct 2018

Carlos Luna

1 oct 2018

3

Práctico 3, ej. 5

Noelia Magali Lencina Alfonso

20 sept 2018

Carlos Luna

21 sept 2018

3

[Práctico 7] dudas varias.

Andres Fulloni Papaleo

1 dic 2017

Carlos Luna

8 dic 2017

3

[Practico 5] Ejercicio 6

Damian Augusto Langone Fusari

4 nov 2017

Carlos Luna

4 nov 2017

3

[Practico 4] [Ejercicio 17]

Damian Augusto Langone Fusari

18 oct 2017

Carlos Luna

24 oct 2017

3

Practico 7 os_accessible

Guillermo Martin Baez Baptista

2 dic 2015

Carlos Luna

2 dic 2015

3

Practico 6 Ej 3.

Carlos Augusto Rodriguez Gonzalez

14 nov 2015

Carlos Luna

16 nov 2015

3

Practico 6, ej 6

Guillermo Martin Baez Baptista

8 nov 2015

Carlos Luna

8 nov 2015

3

Práctico 5 ej3 parte 3

Alvaro Gabriel Señorale Perez

7 nov 2015

Carlos Luna

7 nov 2015

3

Practico 3 - Ejercicio 8.6

Alvaro Gabriel Señorale Perez

14 sept 2015

Carlos Luna

15 sept 2015

3

Practico 3 - Ej 4

Daniel Eduardo Erguiz Cartelle

9 sept 2015

Carlos Luna

9 sept 2015

3

Practico 2, Ejercicio 5.1

Mathias Federico Castro Ferrand

2 sept 2015

Mathias Federico Castro Ferrand

3 sept 2015

3

Solución de practicos

Luciano Dante Alvarez Bibbo

24 ago 2015

Carlos Luna

25 ago 2015

3

[Práctico 7] Ejercicio 7

Jairo Yamil Bonanata Silva

15 dic 2014

Carlos Luna

15 dic 2014

3

Ejercicio 6.11 Libro de Coq

Jairo Yamil Bonanata Silva

23 nov 2014

Ignacio Ismael Decia Cairo

1 dic 2014

3

[Práctico 6] - Ejercicio 6

Juan Pablo Garcia Garland

23 nov 2014

Carlos Luna

24 nov 2014

3

[Práctico 5] - Ejercicios 6.3 y 5.2

Jairo Yamil Bonanata Silva

30 oct 2014

Carlos Luna

30 oct 2014

3

[Práctico 1] Ej 16

Juan Pablo Garcia Garland

25 oct 2014

Carlos Luna

25 oct 2014

3

¿El parcial va a ser en el IDE de windows?

Jairo Yamil Bonanata Silva

7 oct 2014

Jairo Yamil Bonanata Silva

7 oct 2014

3

Show Proof - Show Tree

Jairo Yamil Bonanata Silva

7 oct 2014

Carlos Luna

7 oct 2014

3

[Práctico 3] Ejercicio 7.4. Segundo AND

Guillermo Urrutia Pereira

25 sept 2014

Carlos Luna

27 sept 2014

3

Ejercicio 2.7 y Estructuradores de Tacticas

Juan Pablo Sierra Ansuas

2 sept 2014

Carlos Luna

4 sept 2014

3

Ejercicio 1.11

Juan Pablo Sierra Ansuas

21 ago 2014

Juan Pablo Sierra Ansuas

22 ago 2014

3

[Práctico 4] Ejercicio 19.

Camilo Fossemale Zanotta

19 nov 2023

Camilo Fossemale Zanotta

20 nov 2023

2

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 2] - Ejercicio 10.8

Agustina Perez Castillo

3 sept 2023

Agustina Perez Castillo

3 sept 2023

2