Consultas de Práctico

Mostrando 100 de 359 discusiones
Debate	Comenzado por	Último mensaje	Réplicas
[Práctico 5] Ej 1.6	Andres Fulloni Papaleo 29 oct 2017	Carlos Luna 29 oct 2017	1
[Practico 4] Ejercicio 14	Pablo Daniel Martinez Arevalo 26 oct 2017	Carlos Luna 26 oct 2017	1
[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
Práctico 4 Ej 20 y 21	Andres Fulloni Papaleo 19 oct 2017	Carlos Luna 19 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	Damian Augusto Langone Fusari 13 oct 2017	Carlos Luna 17 oct 2017	2
Práctico 4 Ej 2 y 3	Andres Fulloni Papaleo 16 oct 2017	Carlos Luna 16 oct 2017	1
[Practico 4] Igualdad de objetos como booleano	Jose Diego Suarez Hernandez 14 oct 2017	Carlos Luna 14 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
Practico 3 Ej 10	Damian Augusto Langone Fusari 20 sept 2017	Carlos Luna 21 sept 2017	1
Práctico 3 ej8 y ej13-15	Andres Fulloni Papaleo 18 sept 2017	Carlos Luna 18 sept 2017	1
Duda Práctico 3 ej 1	Damian Augusto Langone Fusari 15 sept 2017	Carlos Luna 16 sept 2017	1
Práctico 2 dudas ej 3 y 10	Andres Fulloni Papaleo 6 sept 2017	Martin Steffen Correa 11 sept 2017	5
coqtop died badly.resetting	Pablo Daniel Martinez Arevalo 9 sept 2017	Pablo Daniel Martinez Arevalo 9 sept 2017	0
Práctico 2, Ejercicio 8	Jose Diego Suarez Hernandez 2 sept 2017	Carlos Luna 3 sept 2017	1
Practico 2 ej 3	Martin Steffen Correa 2 sept 2017	Martin Steffen Correa 2 sept 2017	2
Practico 1 Ej 12	Andres Fulloni Papaleo 26 ago 2017	Carlos Luna 27 ago 2017	1
Practico 1 Ej.7.3	Pablo Daniel Martinez Arevalo 25 ago 2017	Carlos Luna 25 ago 2017	2
Duda en va_mapped_to_ma	Miguel Matias Langone Fusari 8 dic 2016	Miguel Matias Langone Fusari 9 dic 2016	4
Pre y Post Condiciones Inductivamente	Miguel Matias Langone Fusari 8 dic 2016	Miguel Matias Langone Fusari 8 dic 2016	2
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
Primer parcial	Guillermo Angel Kuster Techera 1 oct 2016	Carlos Luna 1 oct 2016	1
Entrega de practico en grupo	Juan Pablo Pascual Romero 26 ago 2016	Carlos Luna 27 ago 2016	1
Busco grupo	Mariangeles Artola Silvera 17 ago 2016	Mariangeles Artola Silvera 17 ago 2016	0
[Entrega pr7]	Giovanni Luca Colacurcio Beggeres 11 dic 2015	Carlos Luna 12 dic 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 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
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 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 5] Ej 6.2	Luciano Dante Alvarez Bibbo 5 nov 2015	Carlos Luna 5 nov 2015	1
Practico 5, ej 7, parte 6	Guillermo Martin Baez Baptista 31 oct 2015	Carlos Luna 1 nov 2015	5
Practico 5 - Ej 5.3.5	Carlos Augusto Rodriguez Gonzalez 30 oct 2015	Carlos Luna 31 oct 2015	1
Practico 5 -ej5 -parte2	Joel Gabriel Vazquez Dos Santos 22 oct 2015	Carlos Luna 22 oct 2015	1
[Practico 4][Ejercicio 19]	Carlos Augusto Rodriguez Gonzalez 18 oct 2015	Carlos Luna 18 oct 2015	1
Practico 4- ejercicio 18	Guillermo Martin Baez Baptista 17 oct 2015	Carlos Luna 17 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 7	Daniel Eduardo Erguiz Cartelle 15 oct 2015	Carlos Luna 16 oct 2015	1
Practico 4, ej 16, parte2.2	Guillermo Martin Baez Baptista 15 oct 2015	Carlos Luna 15 oct 2015	1
Practico 4 -ej16 -parte2	Joel Gabriel Vazquez Dos Santos 14 oct 2015	Carlos Luna 14 oct 2015	1
Practico 4 - ej9 -p6	Joel Gabriel Vazquez Dos Santos 10 oct 2015	Carlos Luna 10 oct 2015	1
Certificado asistencia primer parcial	Carlos Augusto Rodriguez Gonzalez 5 oct 2015	Gustavo Betarte 5 oct 2015	1
Primer parcial	Luciano Dante Alvarez Bibbo 28 sept 2015	Carlos Luna 28 sept 2015	1
Practico 3 Ej 13.3 y 14	Alvaro Gabriel Señorale Perez 18 sept 2015	Camila Moscatelli Bulmini 22 sept 2015	4
Ejercicio 3.3 - Warning	Luciano Dante Alvarez Bibbo 19 sept 2015	Carlos Luna 19 sept 2015	1
Practico 3 ejercicio 11 parte 2	Guillermo Martin Baez Baptista 17 sept 2015	Carlos Luna 17 sept 2015	1
Practico3/ejercicio 10	Joel Gabriel Vazquez Dos Santos 17 sept 2015	Carlos Luna 17 sept 2015	1
Práctico 3 - Ej 3 parte 4	Enzo Fabbiani Perez 16 sept 2015	Carlos Luna 16 sept 2015	1
Practico 3, Ejercicio 6, parte 2	Joaquin Velazquez Camacho 16 sept 2015	Carlos Luna 16 sept 2015	1
Busco alguien para formar grupo	Mathias Federico Castro Ferrand 16 sept 2015	Mathias Federico Castro Ferrand 16 sept 2015	0
Practico 3 - Ejercicio 8.6	Alvaro Gabriel Señorale Perez 14 sept 2015	Carlos Luna 15 sept 2015	3
Práctico 3-Ejercicio 3	Camila Moscatelli Bulmini 14 sept 2015	Camila Moscatelli Bulmini 14 sept 2015	2
Practico 3 - Ej 4	Daniel Eduardo Erguiz Cartelle 9 sept 2015	Carlos Luna 9 sept 2015	3
Ejercicios a entregar	Sebastian Juan Rodriguez Leopold 8 sept 2015	Carlos Luna 8 sept 2015	1
Práctico 2 - Ejercicio 7	Alvaro Gabriel Señorale Perez 6 sept 2015	Alvaro Gabriel Señorale Perez 6 sept 2015	2
Práctico 2 - Ejercicio 5.4	Hernan Winter Cereza 6 sept 2015	Carlos Luna 6 sept 2015	2
Practico 2, Ejercicio 10, Lema 2	Joaquin Velazquez Camacho 6 sept 2015	Carlos Luna 6 sept 2015	1
Practico 2 - Ejercicio 11.	Luciano Dante Alvarez Bibbo 4 sept 2015	Luciano Dante Alvarez Bibbo 5 sept 2015	2
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
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
Ejercicio 11 Práctico 1	Camila Moscatelli Bulmini 17 ago 2015	Carlos Luna 17 ago 2015	1
Grupos	Luciano Jesus Montero Videla 15 ago 2015	Carlos Luna 15 ago 2015	1
Link a practicos	Carlos Augusto Rodriguez Gonzalez 10 ago 2015	Carlos Luna 10 ago 2015	1
Version de Coq	Luciano Dante Alvarez Bibbo 4 ago 2015	Carlos Luna 4 ago 2015	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] Precondición de Read	Bernardo Larrosa 20 dic 2014	Carlos Luna 20 dic 2014	1
[Práctico 7] Relación entre estados	Jairo Yamil Bonanata Silva 11 dic 2014	Carlos Luna 18 dic 2014	7
Formato Entrega 7	Jairo Yamil Bonanata Silva 18 dic 2014	Carlos Luna 18 dic 2014	1
[Practico 7] va_mapped_to_ma	Eduardo David Hernandez Muiño 14 dic 2014	Carlos Luna 18 dic 2014	7
[Práctico 7] Ejercicio 7	Jairo Yamil Bonanata Silva 15 dic 2014	Carlos Luna 15 dic 2014	3
[Práctico 7] Post-Condición chmod	Jairo Yamil Bonanata Silva 12 dic 2014	Carlos Luna 15 dic 2014	5
[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] 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] Ej5 regla iii - Hipervisor corriendo	Jairo Yamil Bonanata Silva 12 dic 2014	Carlos Luna 13 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] sobre funciones parciales...	Carlos Luna 9 dic 2014	Carlos Luna 9 dic 2014	0
[Práctico 7] Ejercicios 4 y 5	Jairo Yamil Bonanata Silva 9 dic 2014	Carlos Luna 9 dic 2014	1
[Práctico 7] Ejercicio 3 - Predicados auxiliares	Jairo Yamil Bonanata Silva 9 dic 2014	Carlos Luna 9 dic 2014	1
[Caso de estudio] - Ejercicio 1	Juan Pablo Garcia Garland 5 dic 2014	Carlos Luna 9 dic 2014	4
[Práctico 7] Require Export Maps.	Jairo Yamil Bonanata Silva 9 dic 2014	Carlos Luna 9 dic 2014	2
[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
Ejercicio 6.11 Libro de Coq	Jairo Yamil Bonanata Silva 23 nov 2014	Ignacio Ismael Decia Cairo 1 dic 2014	3
[Practico 4] Ejercicio 20	Daniel Filgueiras Di Lorenzo 30 nov 2014	Carlos Luna 1 dic 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 6] Demora en la compilación	Romina Diana Romero Riva 30 nov 2014	Carlos Luna 30 nov 2014	1
Entrega Práctico 6	Leticia Soledad Almeida Segura 29 nov 2014	Carlos Luna 29 nov 2014	1
Práctico 6 - Duda general	Jairo Yamil Bonanata Silva 27 nov 2014	Carlos Luna 27 nov 2014	1
[Práctico 6] - Ejercicio 10	Jairo Yamil Bonanata Silva 27 nov 2014	Carlos Luna 27 nov 2014	1

[Práctico 5] Ej 1.6

Andres Fulloni Papaleo

29 oct 2017

Carlos Luna

29 oct 2017

1

[Practico 4] Ejercicio 14

Pablo Daniel Martinez Arevalo

26 oct 2017

Carlos Luna

26 oct 2017

1

[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

Práctico 4 Ej 20 y 21

Andres Fulloni Papaleo

19 oct 2017

Carlos Luna

19 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

Damian Augusto Langone Fusari

13 oct 2017

Carlos Luna

17 oct 2017

2

Práctico 4 Ej 2 y 3

Andres Fulloni Papaleo

16 oct 2017

Carlos Luna

16 oct 2017

1

[Practico 4] Igualdad de objetos como booleano

Jose Diego Suarez Hernandez

14 oct 2017

Carlos Luna

14 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

Practico 3 Ej 10

Damian Augusto Langone Fusari

20 sept 2017

Carlos Luna

21 sept 2017

1

Práctico 3 ej8 y ej13-15

Andres Fulloni Papaleo

18 sept 2017

Carlos Luna

18 sept 2017

1

Duda Práctico 3 ej 1

Damian Augusto Langone Fusari

15 sept 2017

Carlos Luna

16 sept 2017

1

Práctico 2 dudas ej 3 y 10

Andres Fulloni Papaleo

6 sept 2017

Martin Steffen Correa

11 sept 2017

5

coqtop died badly.resetting

Pablo Daniel Martinez Arevalo

9 sept 2017

Pablo Daniel Martinez Arevalo

9 sept 2017

0

Práctico 2, Ejercicio 8

Jose Diego Suarez Hernandez

2 sept 2017

Carlos Luna

3 sept 2017

1

Practico 2 ej 3

Martin Steffen Correa

2 sept 2017

Martin Steffen Correa

2 sept 2017

2

Practico 1 Ej 12

Andres Fulloni Papaleo

26 ago 2017

Carlos Luna

27 ago 2017

1

Practico 1 Ej.7.3

Pablo Daniel Martinez Arevalo

25 ago 2017

Carlos Luna

25 ago 2017

2

Duda en va_mapped_to_ma

Miguel Matias Langone Fusari

8 dic 2016

Miguel Matias Langone Fusari

9 dic 2016

4

Pre y Post Condiciones Inductivamente

Miguel Matias Langone Fusari

8 dic 2016

Miguel Matias Langone Fusari

8 dic 2016

2

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

Primer parcial

Guillermo Angel Kuster Techera

1 oct 2016

Carlos Luna

1 oct 2016

1

Entrega de practico en grupo

Juan Pablo Pascual Romero

26 ago 2016

Carlos Luna

27 ago 2016

1

Busco grupo

Mariangeles Artola Silvera

17 ago 2016

Mariangeles Artola Silvera

17 ago 2016

0

[Entrega pr7]

Giovanni Luca Colacurcio Beggeres

11 dic 2015

Carlos Luna

12 dic 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 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

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 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 5] Ej 6.2

Luciano Dante Alvarez Bibbo

5 nov 2015

Carlos Luna

5 nov 2015

1

Practico 5, ej 7, parte 6

Guillermo Martin Baez Baptista

31 oct 2015

Carlos Luna

1 nov 2015

5

Practico 5 - Ej 5.3.5

Carlos Augusto Rodriguez Gonzalez

30 oct 2015

Carlos Luna

31 oct 2015

1

Practico 5 -ej5 -parte2

Joel Gabriel Vazquez Dos Santos

22 oct 2015

Carlos Luna

22 oct 2015

1

[Practico 4][Ejercicio 19]

Carlos Augusto Rodriguez Gonzalez

18 oct 2015

Carlos Luna

18 oct 2015

1

Practico 4- ejercicio 18

Guillermo Martin Baez Baptista

17 oct 2015

Carlos Luna

17 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 7

Daniel Eduardo Erguiz Cartelle

15 oct 2015

Carlos Luna

16 oct 2015

1

Practico 4, ej 16, parte2.2

Guillermo Martin Baez Baptista

15 oct 2015

Carlos Luna

15 oct 2015

1

Practico 4 -ej16 -parte2

Joel Gabriel Vazquez Dos Santos

14 oct 2015

Carlos Luna

14 oct 2015

1

Practico 4 - ej9 -p6

Joel Gabriel Vazquez Dos Santos

10 oct 2015

Carlos Luna

10 oct 2015

1

Certificado asistencia primer parcial

Carlos Augusto Rodriguez Gonzalez

5 oct 2015

Gustavo Betarte

5 oct 2015

1

Primer parcial

Luciano Dante Alvarez Bibbo

28 sept 2015

Carlos Luna

28 sept 2015

1

Practico 3 Ej 13.3 y 14

Alvaro Gabriel Señorale Perez

18 sept 2015

Camila Moscatelli Bulmini

22 sept 2015

4

Ejercicio 3.3 - Warning

Luciano Dante Alvarez Bibbo

19 sept 2015

Carlos Luna

19 sept 2015

1

Practico 3 ejercicio 11 parte 2

Guillermo Martin Baez Baptista

17 sept 2015

Carlos Luna

17 sept 2015

1

Practico3/ejercicio 10

Joel Gabriel Vazquez Dos Santos

17 sept 2015

Carlos Luna

17 sept 2015

1

Práctico 3 - Ej 3 parte 4

Enzo Fabbiani Perez

16 sept 2015

Carlos Luna

16 sept 2015

1

Practico 3, Ejercicio 6, parte 2

Joaquin Velazquez Camacho

16 sept 2015

Carlos Luna

16 sept 2015

1

Busco alguien para formar grupo

Mathias Federico Castro Ferrand

16 sept 2015

Mathias Federico Castro Ferrand

16 sept 2015

0

Practico 3 - Ejercicio 8.6

Alvaro Gabriel Señorale Perez

14 sept 2015

Carlos Luna

15 sept 2015

3

Práctico 3-Ejercicio 3

Camila Moscatelli Bulmini

14 sept 2015

Camila Moscatelli Bulmini

14 sept 2015

2

Practico 3 - Ej 4

Daniel Eduardo Erguiz Cartelle

9 sept 2015

Carlos Luna

9 sept 2015

3

Ejercicios a entregar

Sebastian Juan Rodriguez Leopold

8 sept 2015

Carlos Luna

8 sept 2015

1

Práctico 2 - Ejercicio 7

Alvaro Gabriel Señorale Perez

6 sept 2015

Alvaro Gabriel Señorale Perez

6 sept 2015

2

Práctico 2 - Ejercicio 5.4

Hernan Winter Cereza

6 sept 2015

Carlos Luna

6 sept 2015

2

Practico 2, Ejercicio 10, Lema 2

Joaquin Velazquez Camacho

6 sept 2015

Carlos Luna

6 sept 2015

1

Practico 2 - Ejercicio 11.

Luciano Dante Alvarez Bibbo

4 sept 2015

Luciano Dante Alvarez Bibbo

5 sept 2015

2

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

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

Ejercicio 11 Práctico 1

Camila Moscatelli Bulmini

17 ago 2015

Carlos Luna

17 ago 2015

1

Grupos

Luciano Jesus Montero Videla

15 ago 2015

Carlos Luna

15 ago 2015

1

Link a practicos

Carlos Augusto Rodriguez Gonzalez

10 ago 2015

Carlos Luna

10 ago 2015

1

Version de Coq

Luciano Dante Alvarez Bibbo

4 ago 2015

Carlos Luna

4 ago 2015

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] Precondición de Read

Bernardo Larrosa

20 dic 2014

Carlos Luna

20 dic 2014

1

[Práctico 7] Relación entre estados

Jairo Yamil Bonanata Silva

11 dic 2014

Carlos Luna

18 dic 2014

7

Formato Entrega 7

Jairo Yamil Bonanata Silva

18 dic 2014

Carlos Luna

18 dic 2014

1

[Practico 7] va_mapped_to_ma

Eduardo David Hernandez Muiño

14 dic 2014

Carlos Luna

18 dic 2014

7

[Práctico 7] Ejercicio 7

Jairo Yamil Bonanata Silva

15 dic 2014

Carlos Luna

15 dic 2014

3

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

Jairo Yamil Bonanata Silva

12 dic 2014

Carlos Luna

15 dic 2014

5

[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] 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] Ej5 regla iii - Hipervisor corriendo

Jairo Yamil Bonanata Silva

12 dic 2014

Carlos Luna

13 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] sobre funciones parciales...

Carlos Luna

9 dic 2014

Carlos Luna

9 dic 2014

0

[Práctico 7] Ejercicios 4 y 5

Jairo Yamil Bonanata Silva

9 dic 2014

Carlos Luna

9 dic 2014

1

[Práctico 7] Ejercicio 3 - Predicados auxiliares

Jairo Yamil Bonanata Silva

9 dic 2014

Carlos Luna

9 dic 2014

1

[Caso de estudio] - Ejercicio 1

Juan Pablo Garcia Garland

5 dic 2014

Carlos Luna

9 dic 2014

4

[Práctico 7] Require Export Maps.

Jairo Yamil Bonanata Silva

9 dic 2014

Carlos Luna

9 dic 2014

2

[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

Ejercicio 6.11 Libro de Coq

Jairo Yamil Bonanata Silva

23 nov 2014

Ignacio Ismael Decia Cairo

1 dic 2014

3

[Practico 4] Ejercicio 20

Daniel Filgueiras Di Lorenzo

30 nov 2014

Carlos Luna

1 dic 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 6] Demora en la compilación

Romina Diana Romero Riva

30 nov 2014

Carlos Luna

30 nov 2014

1

Entrega Práctico 6

Leticia Soledad Almeida Segura

29 nov 2014

Carlos Luna

29 nov 2014

1

Práctico 6 - Duda general

Jairo Yamil Bonanata Silva

27 nov 2014

Carlos Luna

27 nov 2014

1

[Práctico 6] - Ejercicio 10

Jairo Yamil Bonanata Silva

27 nov 2014

Carlos Luna

27 nov 2014

1