Consultas de Práctico

Mostrando 100 de 359 discusiones
Debate	Comenzado por	Último mensaje	Réplicas
Practico 3 - Ej 4	Daniel Eduardo Erguiz Cartelle 9 sept 2015	Carlos Luna 9 sept 2015	3
Practico 4. Ej 6.3	Daniel Eduardo Erguiz Cartelle 15 oct 2015	Daniel Eduardo Erguiz Cartelle 16 oct 2015	2
Practico 4. Ej 7	Daniel Eduardo Erguiz Cartelle 15 oct 2015	Carlos Luna 16 oct 2015	1
Práctica para el parcial	Danilo Nuñez Dalla Rosa 2 may 2024	Carlos Luna 2 may 2024	1
Añadir estudiante a la entrega	Danilo Alberto Garcia Lallanes 25 ago 2014	Carlos Luna 25 ago 2014	1
Ejercicio 10.5, practico 2	Danilo Alberto Garcia Lallanes 5 sept 2014	Carlos Luna 5 sept 2014	1
[Practico 4] Ej 10	Danilo Alberto Garcia Lallanes 20 oct 2014	Carlos Luna 20 oct 2014	1
[Dudas de sintaxis/semantica correcta, practico 4 y 5]	Dara Leslie Silvera Martinez 28 oct 2022	Carlos Luna 28 oct 2022	1
Consulta uso de apply	Diego Ricardo Perez Bernardi 20 ago 2014	Carlos Luna 20 ago 2014	1
[Práctico 3] Ejercicios 6 y 7	Diego Ricardo Perez Bernardi 16 sept 2014	Juan Pablo Sierra Ansuas 21 sept 2014	9
Consulta corrección entregas	Diego Ricardo Perez Bernardi 4 oct 2014	Carlos Luna 4 oct 2014	1
Practico 4 Eejercicio 14.2	Eduardo David Hernandez Muiño 19 oct 2014	Carlos Luna 19 oct 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 6] - Ejercicio 2.2	Eduardo David Hernandez Muiño 11 nov 2014	Eduardo David Hernandez Muiño 12 nov 2014	2
[Practico 6] - Ejercicio 9	Eduardo David Hernandez Muiño 18 nov 2014	German Adolfo Faller Farias 29 nov 2018	2
[Practico 7] va_mapped_to_ma	Eduardo David Hernandez Muiño 14 dic 2014	Carlos Luna 18 dic 2014	7
[Práctico 1] Ejercicio 11	Eliana Rosselli Orrico 25 ago 2021	Carlos Luna 28 ago 2021	3
[Práctico 3] Ejercicio 1	Eliana Rosselli Orrico 21 sept 2021	Carlos Luna 25 sept 2021	3
[Práctico 3] Ejercicio 8	Eliana Rosselli Orrico 21 sept 2021	Carlos Luna 21 sept 2021	1
[Práctico 4] Ejercicio 7	Eliana Rosselli Orrico 15 oct 2021	Eliana Rosselli Orrico 16 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.8	Eliana Rosselli Orrico 7 nov 2021	Carlos Luna 7 nov 2021	3
[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 3 - Ej 3 parte 4	Enzo Fabbiani Perez 16 sept 2015	Carlos Luna 16 sept 2015	1
[Práctico 4] Ejercicio 17	Federico Martin Peña Santucci 19 oct 2021	Federico Martin Peña Santucci 23 oct 2021	5
[Práctico 5] Ejercicio 7.7	Federico Martin Peña Santucci 5 nov 2021	Carlos Luna 7 nov 2021	3
[Práctico 6] Ejercicio 4.2	Federico Martin Peña Santucci 26 nov 2021	Federico Martin Peña Santucci 27 nov 2021	2
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
Consultas varias práctico 1	Gabriel Mello 7 ago 2023	Carlos Luna 7 ago 2023	1
Práctico 3 Ej 5.2 y Ej 6	Gabriel Mello 4 sept 2023	Carlos Luna 4 sept 2023	1
Show Tree	Gabriel Mello 18 sept 2023	Carlos Luna 18 sept 2023	1
[Practico 4] Ejercicios 10.2 10.3	Gabriel Mello 8 oct 2023	Carlos Luna 8 oct 2023	1
[Practico 4] Ejercicio 21	Gabriel Mello 9 oct 2023	Carlos Luna 9 oct 2023	1
Nombre de hipótesis generadas por inversion_clear	Gabriel Mello 13 oct 2023	Carlos Luna 13 oct 2023	1
Realizacion del practico en pareja	German Adolfo Faller Farias 22 ago 2018	Carlos Luna 23 ago 2018	1
Ejercicio 8 parte 3	German Adolfo Faller Farias 2 sept 2018	Carlos Luna 2 sept 2018	1
Clase 11/09	German Adolfo Faller Farias 10 sept 2018	Carlos Luna 11 sept 2018	2
Cronograma esta semana	German Adolfo Faller Farias 23 sept 2018	Carlos Luna 23 sept 2018	1
Dudas Practico 3	German Adolfo Faller Farias 25 sept 2018	Carlos Luna 25 sept 2018	1
Practico 4 - Predicados inductivos sobre Listas	German Adolfo Faller Farias 9 oct 2018	Carlos Luna 8 oct 2023	4
Practico 4 - Ej 5.2	German Adolfo Faller Farias 10 oct 2018	Carlos Luna 10 oct 2018	1
Practico 4 - Dudas del case	German Adolfo Faller Farias 11 oct 2018	German Adolfo Faller Farias 12 oct 2018	2
Practico 4 - Ej15	German Adolfo Faller Farias 23 oct 2018	German Adolfo Faller Farias 24 oct 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 5 3 d	German Adolfo Faller Farias 1 nov 2018	Carlos Luna 5 nov 2018	4
Practico 5 ej 6.4	German Adolfo Faller Farias 5 nov 2018	German Adolfo Faller Farias 5 nov 2018	3
Practico 5 ej 7	German Adolfo Faller Farias 5 nov 2018	Carlos Luna 6 nov 2018	1
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 9	German Adolfo Faller Farias 30 nov 2018	German Adolfo Faller Farias 30 nov 2018	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
[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
[Entrega pr7]	Giovanni Luca Colacurcio Beggeres 11 dic 2015	Carlos Luna 12 dic 2015	1
[Practico 3] Ejercicio 11.2	Gonzalo Daniel Melgar Abalde 18 sept 2014	Carlos Luna 27 sept 2014	5
[Práctico 3] Ejercicio 7.4. Segundo AND	Guillermo Urrutia Pereira 25 sept 2014	Carlos Luna 27 sept 2014	3
context, os_accesible y trusted_os	Guillermo Calderon - InCo 8 dic 2017	Carlos Luna 8 dic 2017	1
va_mapped_to_ma	Guillermo Calderon - InCo 12 dic 2017	Guillermo Calderon - InCo 15 dic 2017	2
Primer parcial	Guillermo Angel Kuster Techera 1 oct 2016	Carlos Luna 1 oct 2016	1
Practico 3 ejercicio 11 parte 2	Guillermo Martin Baez Baptista 17 sept 2015	Carlos Luna 17 sept 2015	1
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 5, ej 7, parte 6	Guillermo Martin Baez Baptista 31 oct 2015	Carlos Luna 1 nov 2015	5
Practico 6, ej 6	Guillermo Martin Baez Baptista 8 nov 2015	Carlos Luna 8 nov 2015	3
Practico 7 os_accessible	Guillermo Martin Baez Baptista 2 dic 2015	Carlos Luna 2 dic 2015	3
Práctico 2 - Ejercicio 5.4	Hernan Winter Cereza 6 sept 2015	Carlos Luna 6 sept 2015	2
[Practico 6] Ejercicio 6.5	Idel Uriel Radzyminski Diaz 12 nov 2022	Carlos Luna 12 nov 2022	1
Práctico 1 - Ejercicio 11.	Jairo Yamil Bonanata Silva 14 ago 2014	Carlos Luna 14 ago 2014	1
Eliminación de un implica.	Jairo Yamil Bonanata Silva 14 ago 2014	Jairo Yamil Bonanata Silva 14 ago 2014	2
Práctico 2 - Táctica auto	Jairo Yamil Bonanata Silva 23 ago 2014	Carlos Luna 23 ago 2014	1
Práctico 2 - Ejercicio 8	Jairo Yamil Bonanata Silva 23 ago 2014	Carlos Luna 23 ago 2014	1
[Práctico 3] -Reducción Delta y Beta	Jairo Yamil Bonanata Silva 18 sept 2014	Carlos Luna 19 sept 2014	1
Show Proof - Show Tree	Jairo Yamil Bonanata Silva 7 oct 2014	Carlos Luna 7 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
Fecha resultados del primer parcial	Jairo Yamil Bonanata Silva 10 oct 2014	Jairo Yamil Bonanata Silva 10 oct 2014	0
[Práctico 4] Ejercicio 18	Jairo Yamil Bonanata Silva 20 oct 2014	Jairo Yamil Bonanata Silva 24 oct 2014	10
[Práctico 5] Ejercicio 1.5.	Jairo Yamil Bonanata Silva 28 oct 2014	Carlos Luna 28 oct 2014	1
[Práctico 5] Ejercicio 6.2	Jairo Yamil Bonanata Silva 30 oct 2014	Carlos Luna 30 oct 2014	1
[Práctico 5] - Ejercicios 6.3 y 5.2	Jairo Yamil Bonanata Silva 30 oct 2014	Carlos Luna 30 oct 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 10	Jairo Yamil Bonanata Silva 27 nov 2014	Carlos Luna 27 nov 2014	1
Práctico 6 - Duda general	Jairo Yamil Bonanata Silva 27 nov 2014	Carlos Luna 27 nov 2014	1
[Práctico 4] - Ejercicio 1.8	Jairo Yamil Bonanata Silva 30 nov 2014	Carlos Luna 1 dic 2014	1
[Práctico 4] - Ejercicio 4.16.2	Jairo Yamil Bonanata Silva 30 nov 2014	Carlos Luna 1 dic 2014	4
[Práctico 5] Ejercicio 2.3	Jairo Yamil Bonanata Silva 2 dic 2014	Jairo Yamil Bonanata Silva 3 dic 2014	2
Biblioteca Estándar de Coq Parcial	Jairo Yamil Bonanata Silva 2 dic 2014	Carlos Luna 3 dic 2014	1
[Práctico 7] Require Export Maps.	Jairo Yamil Bonanata Silva 9 dic 2014	Carlos Luna 9 dic 2014	2
[Práctico 7] Ejercicio 3 - Predicados auxiliares	Jairo Yamil Bonanata Silva 9 dic 2014	Carlos Luna 9 dic 2014	1
[Práctico 7] Ejercicios 4 y 5	Jairo Yamil Bonanata Silva 9 dic 2014	Carlos Luna 9 dic 2014	1
[Práctico 7] Uso de mappings	Jairo Yamil Bonanata Silva 9 dic 2014	Carlos Luna 10 dic 2014	1
[Práctico 7] Relación entre estados	Jairo Yamil Bonanata Silva 11 dic 2014	Carlos Luna 18 dic 2014	7
[Práctico 7] Post-Condición chmod	Jairo Yamil Bonanata Silva 12 dic 2014	Carlos Luna 15 dic 2014	5
[Práctico 7] Ej5 regla iii - Hipervisor corriendo	Jairo Yamil Bonanata Silva 12 dic 2014	Carlos Luna 13 dic 2014	1
[Práctico 7] Ej5 - Regla v - casos de error	Jairo Yamil Bonanata Silva 12 dic 2014	Romina Diana Romero Riva 21 dic 2014	6
[Práctico 7] Reglas V y VI valid state (mapeo oss : os_indet -> os)	Jairo Yamil Bonanata Silva 14 dic 2014	Carlos Luna 14 dic 2014	1
[Práctico 7] Valid State V - machine address perteneciente al SO	Jairo Yamil Bonanata Silva 14 dic 2014	Carlos Luna 14 dic 2014	1
[Práctico 7] Ejercicio 7	Jairo Yamil Bonanata Silva 15 dic 2014	Carlos Luna 15 dic 2014	3
Formato Entrega 7	Jairo Yamil Bonanata Silva 18 dic 2014	Carlos Luna 18 dic 2014	1

Practico 3 - Ej 4

Daniel Eduardo Erguiz Cartelle

9 sept 2015

Carlos Luna

9 sept 2015

3

Practico 4. Ej 6.3

Daniel Eduardo Erguiz Cartelle

15 oct 2015

Daniel Eduardo Erguiz Cartelle

16 oct 2015

2

Practico 4. Ej 7

Daniel Eduardo Erguiz Cartelle

15 oct 2015

Carlos Luna

16 oct 2015

1

Práctica para el parcial

Danilo Nuñez Dalla Rosa

2 may 2024

Carlos Luna

2 may 2024

1

Añadir estudiante a la entrega

Danilo Alberto Garcia Lallanes

25 ago 2014

Carlos Luna

25 ago 2014

1

Ejercicio 10.5, practico 2

Danilo Alberto Garcia Lallanes

5 sept 2014

Carlos Luna

5 sept 2014

1

[Practico 4] Ej 10

Danilo Alberto Garcia Lallanes

20 oct 2014

Carlos Luna

20 oct 2014

1

[Dudas de sintaxis/semantica correcta, practico 4 y 5]

Dara Leslie Silvera Martinez

28 oct 2022

Carlos Luna

28 oct 2022

1

Consulta uso de apply

Diego Ricardo Perez Bernardi

20 ago 2014

Carlos Luna

20 ago 2014

1

[Práctico 3] Ejercicios 6 y 7

Diego Ricardo Perez Bernardi

16 sept 2014

Juan Pablo Sierra Ansuas

21 sept 2014

9

Consulta corrección entregas

Diego Ricardo Perez Bernardi

4 oct 2014

Carlos Luna

4 oct 2014

1

Practico 4 Eejercicio 14.2

Eduardo David Hernandez Muiño

19 oct 2014

Carlos Luna

19 oct 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 6] - Ejercicio 2.2

Eduardo David Hernandez Muiño

11 nov 2014

Eduardo David Hernandez Muiño

12 nov 2014

2

[Practico 6] - Ejercicio 9

Eduardo David Hernandez Muiño

18 nov 2014

German Adolfo Faller Farias

29 nov 2018

2

[Practico 7] va_mapped_to_ma

Eduardo David Hernandez Muiño

14 dic 2014

Carlos Luna

18 dic 2014

7

[Práctico 1] Ejercicio 11

Eliana Rosselli Orrico

25 ago 2021

Carlos Luna

28 ago 2021

3

[Práctico 3] Ejercicio 1

Eliana Rosselli Orrico

21 sept 2021

Carlos Luna

25 sept 2021

3

[Práctico 3] Ejercicio 8

Eliana Rosselli Orrico

21 sept 2021

Carlos Luna

21 sept 2021

1

[Práctico 4] Ejercicio 7

Eliana Rosselli Orrico

15 oct 2021

Eliana Rosselli Orrico

16 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.8

Eliana Rosselli Orrico

7 nov 2021

Carlos Luna

7 nov 2021

3

[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 3 - Ej 3 parte 4

Enzo Fabbiani Perez

16 sept 2015

Carlos Luna

16 sept 2015

1

[Práctico 4] Ejercicio 17

Federico Martin Peña Santucci

19 oct 2021

Federico Martin Peña Santucci

23 oct 2021

5

[Práctico 5] Ejercicio 7.7

Federico Martin Peña Santucci

5 nov 2021

Carlos Luna

7 nov 2021

3

[Práctico 6] Ejercicio 4.2

Federico Martin Peña Santucci

26 nov 2021

Federico Martin Peña Santucci

27 nov 2021

2

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

Consultas varias práctico 1

Gabriel Mello

7 ago 2023

Carlos Luna

7 ago 2023

1

Práctico 3 Ej 5.2 y Ej 6

Gabriel Mello

4 sept 2023

Carlos Luna

4 sept 2023

1

Show Tree

Gabriel Mello

18 sept 2023

Carlos Luna

18 sept 2023

1

[Practico 4] Ejercicios 10.2 10.3

Gabriel Mello

8 oct 2023

Carlos Luna

8 oct 2023

1

[Practico 4] Ejercicio 21

Gabriel Mello

9 oct 2023

Carlos Luna

9 oct 2023

1

Nombre de hipótesis generadas por inversion_clear

Gabriel Mello

13 oct 2023

Carlos Luna

13 oct 2023

1

Realizacion del practico en pareja

German Adolfo Faller Farias

22 ago 2018

Carlos Luna

23 ago 2018

1

Ejercicio 8 parte 3

German Adolfo Faller Farias

2 sept 2018

Carlos Luna

2 sept 2018

1

Clase 11/09

German Adolfo Faller Farias

10 sept 2018

Carlos Luna

11 sept 2018

2

Cronograma esta semana

German Adolfo Faller Farias

23 sept 2018

Carlos Luna

23 sept 2018

1

Dudas Practico 3

German Adolfo Faller Farias

25 sept 2018

Carlos Luna

25 sept 2018

1

Practico 4 - Predicados inductivos sobre Listas

German Adolfo Faller Farias

9 oct 2018

Carlos Luna

8 oct 2023

4

Practico 4 - Ej 5.2

German Adolfo Faller Farias

10 oct 2018

Carlos Luna

10 oct 2018

1

Practico 4 - Dudas del case

German Adolfo Faller Farias

11 oct 2018

German Adolfo Faller Farias

12 oct 2018

2

Practico 4 - Ej15

German Adolfo Faller Farias

23 oct 2018

German Adolfo Faller Farias

24 oct 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 5 3 d

German Adolfo Faller Farias

1 nov 2018

Carlos Luna

5 nov 2018

4

Practico 5 ej 6.4

German Adolfo Faller Farias

5 nov 2018

German Adolfo Faller Farias

5 nov 2018

3

Practico 5 ej 7

German Adolfo Faller Farias

5 nov 2018

Carlos Luna

6 nov 2018

1

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 9

German Adolfo Faller Farias

30 nov 2018

German Adolfo Faller Farias

30 nov 2018

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

[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

[Entrega pr7]

Giovanni Luca Colacurcio Beggeres

11 dic 2015

Carlos Luna

12 dic 2015

1

[Practico 3] Ejercicio 11.2

Gonzalo Daniel Melgar Abalde

18 sept 2014

Carlos Luna

27 sept 2014

5

[Práctico 3] Ejercicio 7.4. Segundo AND

Guillermo Urrutia Pereira

25 sept 2014

Carlos Luna

27 sept 2014

3

context, os_accesible y trusted_os

Guillermo Calderon - InCo

8 dic 2017

Carlos Luna

8 dic 2017

1

va_mapped_to_ma

Guillermo Calderon - InCo

12 dic 2017

Guillermo Calderon - InCo

15 dic 2017

2

Primer parcial

Guillermo Angel Kuster Techera

1 oct 2016

Carlos Luna

1 oct 2016

1

Practico 3 ejercicio 11 parte 2