Consultas de Práctico

Mostrando 100 de 359 discusiones
Debate	Comenzado por	Último mensaje	Réplicas
Practico 2 - Ejercicio 9 - segundo lemma	Valentina Parula Reschutzegger 2 sept 2014	Carlos Luna 2 sept 2014	1
[Practico 7] Pre/Post condiciones con mapas parciales	Tomas Castro Rojas 1 dic 2023	Carlos Luna 1 dic 2023	1
[Practico 5] 7.4 y 7.5	Tomas Castro Rojas 30 oct 2023	Carlos Luna 30 oct 2023	1
Ejercicios a entregar	Sebastian Juan Rodriguez Leopold 8 sept 2015	Carlos Luna 8 sept 2015	1
¿El practico es en grupo?	Sebastián Sánchez Costa 15 ago 2014	Carlos Luna 15 ago 2014	1
Practico 3 Ejercicio 4	Santiago Guerra Boschiero 10 sept 2023	Santiago Guerra Boschiero 10 sept 2023	4
[Practico 3] Ejercicio 8 - Duda ArrayNat	Santiago Puppo Caubarrere 15 sept 2022	Carlos Luna 15 sept 2022	1
[Practico 7] Entrega	Santiago Ingold Core 20 dic 2018	Santiago Ingold Core 20 dic 2018	3
[Practico 1] Ejercicios 11 y 12	Santiago Ingold Core 22 ago 2018	Santiago Ingold Core 28 ago 2018	10
[Práctico 6] Demora en la compilación	Romina Diana Romero Riva 30 nov 2014	Carlos Luna 30 nov 2014	1
[Práctico 3] Ejercicio 8.2 Orden de inserción	Romina Diana Romero Riva 29 sept 2014	Carlos Luna 29 sept 2014	1
[Práctico 2] Ejercicio 8	Romina Diana Romero Riva 5 sept 2014	Carlos Luna 5 sept 2014	1
Uso del pipe en Coq	Romina Diana Romero Riva 22 ago 2014	Carlos Luna 23 ago 2014	1
Consulta parcial	Rodrigo Javier Vazquez Machado 21 nov 2023	Carlos Luna 21 nov 2023	1
Practico 5 Ej 7.6	Rodrigo Javier Vazquez Machado 29 oct 2023	Carlos Luna 29 oct 2023	4
[Practico 4] Ejercicio 10.1	Rodrigo Javier Vazquez Machado 10 oct 2023	Carlos Luna 11 oct 2023	3
Practico 3 Ej 6 y 7	Rodrigo Javier Vazquez Machado 15 sept 2023	Carlos Luna 15 sept 2023	1
Tacticals práctico 2	Rodrigo Javier Vazquez Machado 1 sept 2023	Carlos Luna 1 sept 2023	1
Practico 4 Plantilla	Rodrigo Lago Bello 16 oct 2014	Carlos Luna 17 oct 2014	1
Receptor de Entrega - Horario	Rodrigo Lago Bello 26 ago 2014	Carlos Luna 26 ago 2014	1
Parciales para practicar	Pablo Daniel Martinez Arevalo 10 dic 2020	Carlos Luna 11 dic 2020	1
[Practico 5] Entrega	Pablo Daniel Martinez Arevalo 23 nov 2020	Pablo Daniel Martinez Arevalo 24 nov 2020	2
[Practico 5] Ej 7	Pablo Daniel Martinez Arevalo 16 nov 2020	Carlos Luna 17 nov 2020	1
[Practico 4] Ejercicio 17	Pablo Daniel Martinez Arevalo 1 nov 2020	Carlos Luna 3 nov 2020	6
Practico 4 - RE Entrega	Pablo Daniel Martinez Arevalo 31 oct 2018	Carlos Luna 1 nov 2018	1
[Practico 6] Ejercicio 6.5.2	Pablo Daniel Martinez Arevalo 27 nov 2017	Carlos Luna 27 nov 2017	1
[Práctico 6] Ej 6.2.2	Pablo Daniel Martinez Arevalo 20 nov 2017	Carlos Luna 21 nov 2017	1
[Practico 5] Ej 5 . 6 .4	Pablo Daniel Martinez Arevalo 13 nov 2017	Carlos Luna 14 nov 2017	5
[Practico 5] Ejercicio 5.2 parte 2 b	Pablo Daniel Martinez Arevalo 13 nov 2017	Carlos Luna 13 nov 2017	1
[Practico 5] Ej 5.6	Pablo Daniel Martinez Arevalo 12 nov 2017	Carlos Luna 13 nov 2017	1
[Practico 4] Ejercicio 14	Pablo Daniel Martinez Arevalo 26 oct 2017	Carlos Luna 26 oct 2017	1
Practico 4. Ej 8 parte 2	Pablo Daniel Martinez Arevalo 17 oct 2017	Carlos Luna 17 oct 2017	1
[Practico 4] Ejercicio 1.4 La relación eq_list	Pablo Daniel Martinez Arevalo 12 oct 2017	Carlos Luna 13 oct 2017	1
Practico 3 Ejercicio 2	Pablo Daniel Martinez Arevalo 26 sept 2017	Pablo Daniel Martinez Arevalo 26 sept 2017	2
Practico 3 Ejercicio 5	Pablo Daniel Martinez Arevalo 24 sept 2017	Carlos Luna 24 sept 2017	1
coqtop died badly.resetting	Pablo Daniel Martinez Arevalo 9 sept 2017	Pablo Daniel Martinez Arevalo 9 sept 2017	0
Practico 1 Ej.7.3	Pablo Daniel Martinez Arevalo 25 ago 2017	Carlos Luna 25 ago 2017	2
[Practico 6] - Ej1	Pablo Palou Singlet 5 nov 2022	Carlos Luna 5 nov 2022	2
[Practico 4] Ejercicio 17	Pablo Palou Singlet 2 oct 2022	Carlos Luna 2 oct 2022	1
Ejercicio 7	Pablo Palou Singlet 23 ago 2022	Carlos Luna 24 ago 2022	2
[Práctico 7] Ejercicio 6	Noelia Magali Lencina Alfonso 16 dic 2018	Carlos Luna 17 dic 2018	1
Práctico 6 - Ejercicio 6.7	Noelia Magali Lencina Alfonso 29 nov 2018	Carlos Luna 29 nov 2018	1
Práctico 6 - Ejercicio 6.5.2	Noelia Magali Lencina Alfonso 27 nov 2018	Noelia Magali Lencina Alfonso 29 nov 2018	2
Práctico 5 - Ejercicio 5.3.c	Noelia Magali Lencina Alfonso 10 nov 2018	Carlos Luna 11 nov 2018	2
Práctico 3, ej 12.4	Noelia Magali Lencina Alfonso 23 sept 2018	Carlos Luna 23 sept 2018	1
Práctico 3, ej. 5	Noelia Magali Lencina Alfonso 20 sept 2018	Carlos Luna 21 sept 2018	3
Confirmación de asistencia a clase de consulta	Noelia Magali Lencina Alfonso 11 sept 2018	Noelia Magali Lencina Alfonso 11 sept 2018	0
Pre y Post Condiciones Inductivamente	Miguel Matias Langone Fusari 8 dic 2016	Miguel Matias Langone Fusari 8 dic 2016	2
Duda en va_mapped_to_ma	Miguel Matias Langone Fusari 8 dic 2016	Miguel Matias Langone Fusari 9 dic 2016	4
Fecha de Segundo Parcial	Miguel Matias Langone Fusari 21 nov 2016	Miguel Matias Langone Fusari 21 nov 2016	0
Entrega tardia tarea 5	Miguel Matias Langone Fusari 12 nov 2016	Miguel Matias Langone Fusari 13 nov 2016	2
Diferencia de ejecucion de Coq en Maquinas de Facultad.	Miguel Matias Langone Fusari 21 oct 2016	Carlos Luna 23 oct 2016	4
Busco alguien para formar grupo	Mathias Federico Castro Ferrand 16 sept 2015	Mathias Federico Castro Ferrand 16 sept 2015	0
Practico 2, ejercicio 8.1	Mathias Federico Castro Ferrand 4 sept 2015	Mathias Federico Castro Ferrand 4 sept 2015	2
Practico 2, Ejercicio 5.1	Mathias Federico Castro Ferrand 2 sept 2015	Mathias Federico Castro Ferrand 3 sept 2015	3
Practico 2 ej 3	Martin Steffen Correa 2 sept 2017	Martin Steffen Correa 2 sept 2017	2
Busco grupo	Mariangeles Artola Silvera 17 ago 2016	Mariangeles Artola Silvera 17 ago 2016	0
[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
Nombres automáticos en pruebas	Marco Nicolas Rodriguez Alvariza 2 nov 2019	Carlos Luna 2 nov 2019	1
[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
[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] Librería ZArith. Táctica 'omega'.	Marco Nicolas Rodriguez Alvariza 23 oct 2019	Marco Nicolas Rodriguez Alvariza 23 oct 2019	0
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 4] Ejercicio 8: Simplificación del Or	Marco Nicolas Rodriguez Alvariza 13 oct 2019	Marco Nicolas Rodriguez Alvariza 14 oct 2019	4
[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 3: operador twice.	Marco Nicolas Rodriguez Alvariza 6 sept 2019	Marco Nicolas Rodriguez Alvariza 6 sept 2019	2
Grupos	Luciano Jesus Montero Videla 15 ago 2015	Carlos Luna 15 ago 2015	1
[Practico 5] Ej 6.2	Luciano Dante Alvarez Bibbo 5 nov 2015	Carlos Luna 5 nov 2015	1
Primer parcial	Luciano Dante Alvarez Bibbo 28 sept 2015	Carlos Luna 28 sept 2015	1
Ejercicio 3.3 - Warning	Luciano Dante Alvarez Bibbo 19 sept 2015	Carlos Luna 19 sept 2015	1
Practico 2 - Ejercicio 11.	Luciano Dante Alvarez Bibbo 4 sept 2015	Luciano Dante Alvarez Bibbo 5 sept 2015	2
Solución de practicos	Luciano Dante Alvarez Bibbo 24 ago 2015	Carlos Luna 25 ago 2015	3
[Practico 1 - Ej 1.7]	Luciano Dante Alvarez Bibbo 16 ago 2015	Luciano Dante Alvarez Bibbo 18 ago 2015	4
Error en Coq	Luciano Dante Alvarez Bibbo 16 ago 2015	Luciano Dante Alvarez Bibbo 17 ago 2015	2
Version de Coq	Luciano Dante Alvarez Bibbo 4 ago 2015	Carlos Luna 4 ago 2015	1
[Practico 7] ej 3.5 - DeleteNotMember	Lia Malvarez Busquets 8 nov 2021	Lia Malvarez Busquets 9 nov 2021	2
[Consulta general Coq]: Modificar hipótesis	Lia Malvarez Busquets 24 oct 2021	Lia Malvarez Busquets 24 oct 2021	2
[Práctico 3] Ej: 8	Lia Malvarez Busquets 25 sept 2021	Lia Malvarez Busquets 25 sept 2021	2
Practico 2 - Tacticals	Lia Malvarez Busquets 8 sept 2021	Carlos Luna 8 sept 2021	1
Entrega Práctico 6	Leticia Soledad Almeida Segura 29 nov 2014	Carlos Luna 29 nov 2014	1
[Práctico 3] Ejercicio 1	Leticia Soledad Almeida Segura 11 sept 2014	Leticia Soledad Almeida Segura 12 sept 2014	2
[Práctico 5] Ejercicio 5.5.7	Lautaro Cardozo Ramirez 23 nov 2020	Lautaro Cardozo Ramirez 24 nov 2020	2
[Práctico 5] Ejercicio 3.c	Lautaro Cardozo Ramirez 10 nov 2020	Carlos Luna 10 nov 2020	1
Práctico 2 - Ejercicio 11	Lautaro Cardozo Ramirez 21 sept 2020	Lautaro Cardozo Ramirez 21 sept 2020	3
[Práctico 7] Ejercicio 6	Julian Tricanico Gadea 29 nov 2022	Bruno Lartigau Antonini 6 dic 2022	6
Postcondición de chmod	Julian Tricanico Gadea 28 nov 2022	Carlos Luna 28 nov 2022	1
Busco compañero de equipo para el último práctico	Julian Tricanico Gadea 24 nov 2022	Julian Tricanico Gadea 24 nov 2022	0
[Práctico 7] va_mapped_to_ma	Julian Tricanico Gadea 23 nov 2022	Julian Tricanico Gadea 23 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
[Práctico 5] Ejercicio 3.5	Julian Tricanico Gadea 26 oct 2022	Julian Tricanico Gadea 26 oct 2022	2
[Práctico 5] Ejercicio 5	Julian Tricanico Gadea 19 oct 2022	Julian Tricanico Gadea 19 oct 2022	2
[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
[Práctico 3] Ejercicio 8	Julian Tricanico Gadea 2 sept 2022	Julian Tricanico Gadea 12 sept 2022	2

Practico 2 - Ejercicio 9 - segundo lemma

Valentina Parula Reschutzegger

2 sept 2014

Carlos Luna

2 sept 2014

1

[Practico 7] Pre/Post condiciones con mapas parciales

Tomas Castro Rojas

1 dic 2023

Carlos Luna

1 dic 2023

1

[Practico 5] 7.4 y 7.5

Tomas Castro Rojas

30 oct 2023

Carlos Luna

30 oct 2023

1

Ejercicios a entregar

Sebastian Juan Rodriguez Leopold

8 sept 2015

Carlos Luna

8 sept 2015

1

¿El practico es en grupo?

Sebastián Sánchez Costa

15 ago 2014

Carlos Luna

15 ago 2014

1

Practico 3 Ejercicio 4

Santiago Guerra Boschiero

10 sept 2023

Santiago Guerra Boschiero

10 sept 2023

4

[Practico 3] Ejercicio 8 - Duda ArrayNat

Santiago Puppo Caubarrere

15 sept 2022

Carlos Luna

15 sept 2022

1

[Practico 7] Entrega

Santiago Ingold Core

20 dic 2018

Santiago Ingold Core

20 dic 2018

3

[Practico 1] Ejercicios 11 y 12

Santiago Ingold Core

22 ago 2018

Santiago Ingold Core

28 ago 2018

10

[Práctico 6] Demora en la compilación

Romina Diana Romero Riva

30 nov 2014

Carlos Luna

30 nov 2014

1

[Práctico 3] Ejercicio 8.2 Orden de inserción

Romina Diana Romero Riva

29 sept 2014

Carlos Luna

29 sept 2014

1

[Práctico 2] Ejercicio 8

Romina Diana Romero Riva

5 sept 2014

Carlos Luna

5 sept 2014

1

Uso del pipe en Coq

Romina Diana Romero Riva

22 ago 2014

Carlos Luna

23 ago 2014

1

Consulta parcial

Rodrigo Javier Vazquez Machado

21 nov 2023

Carlos Luna

21 nov 2023

1

Practico 5 Ej 7.6

Rodrigo Javier Vazquez Machado

29 oct 2023

Carlos Luna

29 oct 2023

4

[Practico 4] Ejercicio 10.1

Rodrigo Javier Vazquez Machado

10 oct 2023

Carlos Luna

11 oct 2023

3

Practico 3 Ej 6 y 7

Rodrigo Javier Vazquez Machado

15 sept 2023

Carlos Luna

15 sept 2023

1

Tacticals práctico 2

Rodrigo Javier Vazquez Machado

1 sept 2023

Carlos Luna

1 sept 2023

1

Practico 4 Plantilla

Rodrigo Lago Bello

16 oct 2014

Carlos Luna

17 oct 2014

1

Receptor de Entrega - Horario

Rodrigo Lago Bello

26 ago 2014

Carlos Luna

26 ago 2014

1

Parciales para practicar

Pablo Daniel Martinez Arevalo

10 dic 2020

Carlos Luna

11 dic 2020

1

[Practico 5] Entrega

Pablo Daniel Martinez Arevalo

23 nov 2020

Pablo Daniel Martinez Arevalo

24 nov 2020

2

[Practico 5] Ej 7

Pablo Daniel Martinez Arevalo

16 nov 2020

Carlos Luna

17 nov 2020

1

[Practico 4] Ejercicio 17

Pablo Daniel Martinez Arevalo

1 nov 2020

Carlos Luna

3 nov 2020

6

Practico 4 - RE Entrega

Pablo Daniel Martinez Arevalo

31 oct 2018

Carlos Luna

1 nov 2018

1

[Practico 6] Ejercicio 6.5.2

Pablo Daniel Martinez Arevalo

27 nov 2017

Carlos Luna

27 nov 2017

1

[Práctico 6] Ej 6.2.2

Pablo Daniel Martinez Arevalo

20 nov 2017

Carlos Luna

21 nov 2017

1

[Practico 5] Ej 5 . 6 .4

Pablo Daniel Martinez Arevalo

13 nov 2017

Carlos Luna

14 nov 2017

5

[Practico 5] Ejercicio 5.2 parte 2 b

Pablo Daniel Martinez Arevalo

13 nov 2017

Carlos Luna

13 nov 2017

1

[Practico 5] Ej 5.6

Pablo Daniel Martinez Arevalo

12 nov 2017

Carlos Luna

13 nov 2017

1

[Practico 4] Ejercicio 14

Pablo Daniel Martinez Arevalo

26 oct 2017

Carlos Luna

26 oct 2017

1

Practico 4. Ej 8 parte 2

Pablo Daniel Martinez Arevalo

17 oct 2017

Carlos Luna

17 oct 2017

1

[Practico 4] Ejercicio 1.4 La relación eq_list

Pablo Daniel Martinez Arevalo

12 oct 2017

Carlos Luna

13 oct 2017

1

Practico 3 Ejercicio 2

Pablo Daniel Martinez Arevalo

26 sept 2017

Pablo Daniel Martinez Arevalo

26 sept 2017

2

Practico 3 Ejercicio 5

Pablo Daniel Martinez Arevalo

24 sept 2017

Carlos Luna

24 sept 2017

1

coqtop died badly.resetting

Pablo Daniel Martinez Arevalo

9 sept 2017

Pablo Daniel Martinez Arevalo

9 sept 2017

0

Practico 1 Ej.7.3

Pablo Daniel Martinez Arevalo

25 ago 2017

Carlos Luna

25 ago 2017

2

[Practico 6] - Ej1

Pablo Palou Singlet

5 nov 2022

Carlos Luna

5 nov 2022

2

[Practico 4] Ejercicio 17

Pablo Palou Singlet

2 oct 2022

Carlos Luna

2 oct 2022

1

Ejercicio 7

Pablo Palou Singlet

23 ago 2022

Carlos Luna

24 ago 2022

2

[Práctico 7] Ejercicio 6

Noelia Magali Lencina Alfonso

16 dic 2018

Carlos Luna

17 dic 2018

1

Práctico 6 - Ejercicio 6.7

Noelia Magali Lencina Alfonso

29 nov 2018

Carlos Luna

29 nov 2018

1

Práctico 6 - Ejercicio 6.5.2

Noelia Magali Lencina Alfonso

27 nov 2018

Noelia Magali Lencina Alfonso

29 nov 2018

2

Práctico 5 - Ejercicio 5.3.c

Noelia Magali Lencina Alfonso

10 nov 2018

Carlos Luna

11 nov 2018

2

Práctico 3, ej 12.4

Noelia Magali Lencina Alfonso

23 sept 2018

Carlos Luna

23 sept 2018

1

Práctico 3, ej. 5

Noelia Magali Lencina Alfonso

20 sept 2018

Carlos Luna

21 sept 2018

3

Confirmación de asistencia a clase de consulta

Noelia Magali Lencina Alfonso

11 sept 2018

Noelia Magali Lencina Alfonso

11 sept 2018

0

Pre y Post Condiciones Inductivamente

Miguel Matias Langone Fusari

8 dic 2016

Miguel Matias Langone Fusari

8 dic 2016

2

Duda en va_mapped_to_ma

Miguel Matias Langone Fusari

8 dic 2016

Miguel Matias Langone Fusari

9 dic 2016

4

Fecha de Segundo Parcial

Miguel Matias Langone Fusari

21 nov 2016

Miguel Matias Langone Fusari

21 nov 2016

0

Entrega tardia tarea 5

Miguel Matias Langone Fusari

12 nov 2016

Miguel Matias Langone Fusari

13 nov 2016

2

Diferencia de ejecucion de Coq en Maquinas de Facultad.

Miguel Matias Langone Fusari

21 oct 2016

Carlos Luna

23 oct 2016

4

Busco alguien para formar grupo

Mathias Federico Castro Ferrand

16 sept 2015

Mathias Federico Castro Ferrand

16 sept 2015

0

Practico 2, ejercicio 8.1

Mathias Federico Castro Ferrand

4 sept 2015

Mathias Federico Castro Ferrand

4 sept 2015

2

Practico 2, Ejercicio 5.1

Mathias Federico Castro Ferrand

2 sept 2015

Mathias Federico Castro Ferrand

3 sept 2015

3

Practico 2 ej 3

Martin Steffen Correa

2 sept 2017

Martin Steffen Correa

2 sept 2017

2

Busco grupo

Mariangeles Artola Silvera

17 ago 2016

Mariangeles Artola Silvera

17 ago 2016

0

[Práctico 6] Receptor de entregas