Consultas de Práctico

Mostrando 100 de 359 discusiones
Debate	Comenzado por	Último mensaje	Réplicas
Version de Coq	Luciano Dante Alvarez Bibbo 4 ago 2015	Carlos Luna 4 ago 2015	1
va_mapped_to_ma	Guillermo Calderon - InCo 12 dic 2017	Guillermo Calderon - InCo 15 dic 2017	2
Uso del pipe en Coq	Romina Diana Romero Riva 22 ago 2014	Carlos Luna 23 ago 2014	1
Uso de Destruct	Camilo Fossemale Zanotta 18 ago 2023	Carlos Luna 18 ago 2023	1
Tacticals práctico 2	Rodrigo Javier Vazquez Machado 1 sept 2023	Carlos Luna 1 sept 2023	1
Táctica refine	Juan Pablo Sierra Ansuas 27 nov 2014	Carlos Luna 27 nov 2014	2
Táctica omega removida en favor de lia	Juan Manuel Rivara De Leon 27 oct 2023	Carlos Luna 27 oct 2023	1
Táctica inversion	Juan Manuel Rivara De Leon 28 sept 2023	Carlos Luna 29 sept 2023	5
Solución de practicos	Luciano Dante Alvarez Bibbo 24 ago 2015	Carlos Luna 25 ago 2015	3
Solicitud de prórroga	Juan Pablo Garcia Garland 20 oct 2014	Jairo Yamil Bonanata Silva 20 oct 2014	2
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
Show Tree	Gabriel Mello 18 sept 2023	Carlos Luna 18 sept 2023	1
Show Proof - Show Tree	Jairo Yamil Bonanata Silva 7 oct 2014	Carlos Luna 7 oct 2014	3
Receptor de Entrega - Horario	Rodrigo Lago Bello 26 ago 2014	Carlos Luna 26 ago 2014	1
Realizacion del practico en pareja	German Adolfo Faller Farias 22 ago 2018	Carlos Luna 23 ago 2018	1
Quitar hipótesis del contexto	Bruno Rolando Boz 7 ago 2022	Carlos Luna 7 ago 2022	1
Problemas con la entrega.	Joaquin Lejtreger Chebi 26 ago 2018	Carlos Luna 26 ago 2018	1
Primer parcial	Guillermo Angel Kuster Techera 1 oct 2016	Carlos Luna 1 oct 2016	1
Primer parcial	Luciano Dante Alvarez Bibbo 28 sept 2015	Carlos Luna 28 sept 2015	1
Pre y Post Condiciones Inductivamente	Miguel Matias Langone Fusari 8 dic 2016	Miguel Matias Langone Fusari 8 dic 2016	2
Practico3/ejercicio 10	Joel Gabriel Vazquez Dos Santos 17 sept 2015	Carlos Luna 17 sept 2015	1
Practico 7 os_accessible	Guillermo Martin Baez Baptista 2 dic 2015	Carlos Luna 2 dic 2015	3
Practico 7 - Mappings	Carlos Augusto Rodriguez Gonzalez 28 nov 2015	Carlos Luna 28 nov 2015	1
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 6, Ejercicio 6	Carlos Augusto Rodriguez Gonzalez 15 nov 2015	Carlos Luna 15 nov 2015	1
Practico 6, ej 6	Guillermo Martin Baez Baptista 8 nov 2015	Carlos Luna 8 nov 2015	3
Práctico 6 Ejercicio 6	Joaquin Lejtreger Chebi 20 nov 2018	Carlos Luna 21 nov 2018	1
Practico 6 Ej 3.	Carlos Augusto Rodriguez Gonzalez 14 nov 2015	Carlos Luna 16 nov 2015	3
Práctico 6 - Subsets con {}	Juan Pablo Sierra Ansuas 26 nov 2014	Carlos Luna 26 nov 2014	1
Práctico 6 - Ejercicio 9	German Adolfo Faller Farias 30 nov 2018	German Adolfo Faller Farias 30 nov 2018	3
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 6 - Duda general	Jairo Yamil Bonanata Silva 27 nov 2014	Carlos Luna 27 nov 2014	1
Practico 5, ej 7, parte 6	Guillermo Martin Baez Baptista 31 oct 2015	Carlos Luna 1 nov 2015	5
Práctico 5 Ejercicio 7.1	Joaquin Lejtreger Chebi 11 nov 2018	Carlos Luna 11 nov 2018	1
Práctico 5 ej3 parte 3	Alvaro Gabriel Señorale Perez 7 nov 2015	Carlos Luna 7 nov 2015	3
Practico 5 Ej 7.6	Rodrigo Javier Vazquez Machado 29 oct 2023	Carlos Luna 29 oct 2023	4
Practico 5 ej 7	German Adolfo Faller Farias 5 nov 2018	Carlos Luna 6 nov 2018	1
Practico 5 ej 6.4	German Adolfo Faller Farias 5 nov 2018	German Adolfo Faller Farias 5 nov 2018	3
Practico 5 ej 5 3 d	German Adolfo Faller Farias 1 nov 2018	Carlos Luna 5 nov 2018	4
Practico 5 ej 4.C	German Adolfo Faller Farias 1 nov 2018	German Adolfo Faller Farias 4 nov 2018	2
Practico 5 ej 4.3	Agustin Leonardo Lucas Millan 21 oct 2023	Carlos Luna 21 oct 2023	3
Practico 5 -ej5 -parte2	Joel Gabriel Vazquez Dos Santos 22 oct 2015	Carlos Luna 22 oct 2015	1
Práctico 5 - Ejercicio 5.3.c	Noelia Magali Lencina Alfonso 10 nov 2018	Carlos Luna 11 nov 2018	2
Práctico 5 - Ejercicio 5	Joaquin Lejtreger Chebi 6 nov 2018	Carlos Luna 6 nov 2018	1
Practico 5 - Ej 5.3.5	Carlos Augusto Rodriguez Gonzalez 30 oct 2015	Carlos Luna 31 oct 2015	1
Practico 4. Ej 8 parte 2	Pablo Daniel Martinez Arevalo 17 oct 2017	Carlos Luna 17 oct 2017	1
Practico 4. Ej 7	Daniel Eduardo Erguiz Cartelle 15 oct 2015	Carlos Luna 16 oct 2015	1
Practico 4. Ej 6.3	Daniel Eduardo Erguiz Cartelle 15 oct 2015	Daniel Eduardo Erguiz Cartelle 16 oct 2015	2
Practico 4, ej 16, parte2.2	Guillermo Martin Baez Baptista 15 oct 2015	Carlos Luna 15 oct 2015	1
Practico 4- ejercicio 18	Guillermo Martin Baez Baptista 17 oct 2015	Carlos Luna 17 oct 2015	1
Practico 4 Plantilla	Rodrigo Lago Bello 16 oct 2014	Carlos Luna 17 oct 2014	1
Práctico 4 Ejercicio 6	Bernardo Larrosa 19 oct 2014	Carlos Luna 19 oct 2014	1
Practico 4 Ejercicio 1	Damian Augusto Langone Fusari 13 oct 2017	Carlos Luna 17 oct 2017	2
Práctico 4 Ej 20 y 21	Andres Fulloni Papaleo 19 oct 2017	Carlos Luna 19 oct 2017	1
Práctico 4 Ej 2 y 3	Andres Fulloni Papaleo 16 oct 2017	Carlos Luna 16 oct 2017	1
Practico 4 Eejercicio 14.2	Eduardo David Hernandez Muiño 19 oct 2014	Carlos Luna 19 oct 2014	5
Practico 4 -ej16 -parte2	Joel Gabriel Vazquez Dos Santos 14 oct 2015	Carlos Luna 14 oct 2015	1
Practico 4 - RE Entrega	Pablo Daniel Martinez Arevalo 31 oct 2018	Carlos Luna 1 nov 2018	1
Practico 4 - Predicados inductivos sobre Listas	German Adolfo Faller Farias 9 oct 2018	Carlos Luna 8 oct 2023	4
Practico 4 - Ejercicio 15.2	Bruno Rolando Boz 3 oct 2022	Carlos Luna 8 oct 2022	3
Practico 4 - Ejercicio 11.5	Daniel Alejandro Garcia Miranda 22 may 2024	Carlos Luna 25 may 2024	3
Practico 4 - ej9 -p6	Joel Gabriel Vazquez Dos Santos 10 oct 2015	Carlos Luna 10 oct 2015	1
Practico 4 - Ej15	German Adolfo Faller Farias 23 oct 2018	German Adolfo Faller Farias 24 oct 2018	4
Practico 4 - Ej 5.2	German Adolfo Faller Farias 10 oct 2018	Carlos Luna 10 oct 2018	1
Práctico 4 - Dudas ejercicio 17	Joaquin Lejtreger Chebi 18 oct 2018	Carlos Luna 29 oct 2018	14
Practico 4 - Dudas del case	German Adolfo Faller Farias 11 oct 2018	German Adolfo Faller Farias 12 oct 2018	2
Práctico 4 - Dudas	Joaquin Lejtreger Chebi 18 oct 2018	Carlos Luna 18 oct 2018	1
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.1	Alejandro Sebastian Flocken Rodriguez 10 sept 2022	Carlos Luna 11 sept 2022	3
Practico 3. Ej 8.1	Andres Veiro Diaz 27 sept 2014	Carlos Luna 27 sept 2014	1
Practico 3: Ejercicio 5.1	Andres Veiro Diaz 17 sept 2014	Carlos Luna 21 sept 2014	6
Practico 3, Ejercicio 6, parte 2	Joaquin Velazquez Camacho 16 sept 2015	Carlos Luna 16 sept 2015	1
Práctico 3, ej. 5	Noelia Magali Lencina Alfonso 20 sept 2018	Carlos Luna 21 sept 2018	3
Práctico 3, ej 12.4	Noelia Magali Lencina Alfonso 23 sept 2018	Carlos Luna 23 sept 2018	1
Práctico 3-Ejercicio 3	Camila Moscatelli Bulmini 14 sept 2015	Camila Moscatelli Bulmini 14 sept 2015	2
Practico 3 Ejercicio 5	Pablo Daniel Martinez Arevalo 24 sept 2017	Carlos Luna 24 sept 2017	1
Practico 3 Ejercicio 4	Santiago Guerra Boschiero 10 sept 2023	Santiago Guerra Boschiero 10 sept 2023	4
Practico 3 Ejercicio 2	Pablo Daniel Martinez Arevalo 26 sept 2017	Pablo Daniel Martinez Arevalo 26 sept 2017	2
Practico 3 ejercicio 11 parte 2	Guillermo Martin Baez Baptista 17 sept 2015	Carlos Luna 17 sept 2015	1
Práctico 3 ej8 y ej13-15	Andres Fulloni Papaleo 18 sept 2017	Carlos Luna 18 sept 2017	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
Practico 3 Ej 13.3 y 14	Alvaro Gabriel Señorale Perez 18 sept 2015	Camila Moscatelli Bulmini 22 sept 2015	4
Práctico 3 Ej 12	Joaquin Lejtreger Chebi 1 oct 2018	Carlos Luna 1 oct 2018	3
Practico 3 Ej 10	Damian Augusto Langone Fusari 20 sept 2017	Carlos Luna 21 sept 2017	1
Practico 3 - Ejercicio 8.6	Alvaro Gabriel Señorale Perez 14 sept 2015	Carlos Luna 15 sept 2015	3
Practico 3 - Ejercicio 5	Juan Pablo Sierra Ansuas 10 sept 2014	Carlos Luna 10 sept 2014	1
Practico 3 - Ej 4	Daniel Eduardo Erguiz Cartelle 9 sept 2015	Carlos Luna 9 sept 2015	3
Práctico 3 - Ej 3 parte 4	Enzo Fabbiani Perez 16 sept 2015	Carlos Luna 16 sept 2015	1
Practico 2, ejercicio 8.1	Mathias Federico Castro Ferrand 4 sept 2015	Mathias Federico Castro Ferrand 4 sept 2015	2
Práctico 2, Ejercicio 8	Jose Diego Suarez Hernandez 2 sept 2017	Carlos Luna 3 sept 2017	1
Practico 2, Ejercicio 5.1	Mathias Federico Castro Ferrand 2 sept 2015	Mathias Federico Castro Ferrand 3 sept 2015	3
Practico 2, Ejercicio 10, Lema 2	Joaquin Velazquez Camacho 6 sept 2015	Carlos Luna 6 sept 2015	1
Practico 2 ej 3	Martin Steffen Correa 2 sept 2017	Martin Steffen Correa 2 sept 2017	2
Práctico 2 dudas ej 3 y 10	Andres Fulloni Papaleo 6 sept 2017	Martin Steffen Correa 11 sept 2017	5
Practico 2 - Tacticals	Lia Malvarez Busquets 8 sept 2021	Carlos Luna 8 sept 2021	1
Práctico 2 - Táctica auto	Jairo Yamil Bonanata Silva 23 ago 2014	Carlos Luna 23 ago 2014	1