Consultas de Práctico

Mostrando 100 de 358 discusiones
Debate	Comenzado por	Último mensaje	Réplicas
Busco grupo	Daniel Filgueiras Di Lorenzo 14 ago 2014	Jairo Yamil Bonanata Silva 14 ago 2014	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
¿El practico es en grupo?	Sebastián Sánchez Costa 15 ago 2014	Carlos Luna 15 ago 2014	1
Busco Grupo.	Christian Favian Nuñez Machado 16 ago 2014	Christian Favian Nuñez Machado 16 ago 2014	0
Consulta, Practico 1 Ejercicio 3	Andres Veiro Diaz 18 ago 2014	Andres Veiro Diaz 18 ago 2014	2
Consulta Ejercicios 1.8	Juan Pablo Sierra Ansuas 19 ago 2014	Carlos Luna 20 ago 2014	4
Consulta uso de apply	Diego Ricardo Perez Bernardi 20 ago 2014	Carlos Luna 20 ago 2014	1
Ejercicio 1.11	Juan Pablo Sierra Ansuas 21 ago 2014	Juan Pablo Sierra Ansuas 22 ago 2014	3
Compilar archivo.	Juan Pablo Sierra Ansuas 22 ago 2014	Carlos Luna 22 ago 2014	1
Uso del pipe en Coq	Romina Diana Romero Riva 22 ago 2014	Carlos Luna 23 ago 2014	1
Entrega	Camila Sanz Almada 23 ago 2014	Gustavo Betarte 23 ago 2014	1
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
Añadir estudiante a la entrega	Danilo Alberto Garcia Lallanes 25 ago 2014	Carlos Luna 25 ago 2014	1
Receptor de Entrega - Horario	Rodrigo Lago Bello 26 ago 2014	Carlos Luna 26 ago 2014	1
Ejercicio 2.3	Juan Pablo Sierra Ansuas 28 ago 2014	Juan Pablo Sierra Ansuas 29 ago 2014	2
Practico 2 - Ejercicio 9 - segundo lemma	Valentina Parula Reschutzegger 2 sept 2014	Carlos Luna 2 sept 2014	1
Ejercicio 2.7 y Estructuradores de Tacticas	Juan Pablo Sierra Ansuas 2 sept 2014	Carlos Luna 4 sept 2014	3
[Práctico 2] Ejercicio 8	Romina Diana Romero Riva 5 sept 2014	Carlos Luna 5 sept 2014	1
Ejercicio 10.5, practico 2	Danilo Alberto Garcia Lallanes 5 sept 2014	Carlos Luna 5 sept 2014	1
Ejercicio 10.1 practico 2	Andres Veiro Diaz 4 sept 2014	Andres Veiro Diaz 6 sept 2014	2
[Práctico 3] Ejercicio 4	Juan Pablo Garcia Garland 9 sept 2014	Carlos Luna 9 sept 2014	1
Practico 3 - Ejercicio 5	Juan Pablo Sierra Ansuas 10 sept 2014	Carlos Luna 10 sept 2014	1
[Práctico 3] Ejercicio 1	Leticia Soledad Almeida Segura 11 sept 2014	Leticia Soledad Almeida Segura 12 sept 2014	2
[Practico 3] Ejercicio 6. Definición de operadores infijos	Juan Pablo Garcia Garland 12 sept 2014	Carlos Luna 12 sept 2014	1
[Práctico 3] -Reducción Delta y Beta	Jairo Yamil Bonanata Silva 18 sept 2014	Carlos Luna 19 sept 2014	1
Practico 3: Ejercicio 5.1	Andres Veiro Diaz 17 sept 2014	Carlos Luna 21 sept 2014	6
[Práctico 3] Ejercicios 6 y 7	Diego Ricardo Perez Bernardi 16 sept 2014	Juan Pablo Sierra Ansuas 21 sept 2014	9
[Practico 3] Ejercicio 14_5	Daniel Filgueiras Di Lorenzo 25 sept 2014	Juan Pablo Garcia Garland 26 sept 2014	1
Practico 3. Ej 8.1	Andres Veiro Diaz 27 sept 2014	Carlos Luna 27 sept 2014	1
[Práctico 3] Ejercicio 8.3	Juan Pablo Garcia Garland 26 sept 2014	Carlos Luna 27 sept 2014	1
[Práctico 3] Ejercicio 7.4. Segundo AND	Guillermo Urrutia Pereira 25 sept 2014	Carlos Luna 27 sept 2014	3
[Practico 3] Ejercicio 11.2	Gonzalo Daniel Melgar Abalde 18 sept 2014	Carlos Luna 27 sept 2014	5
[Práctico 3] Ejercicio 8.2 Orden de inserción	Romina Diana Romero Riva 29 sept 2014	Carlos Luna 29 sept 2014	1
Duda General	Daniel Filgueiras Di Lorenzo 19 sept 2014	Carlos Luna 29 sept 2014	5
Consulta corrección entregas	Diego Ricardo Perez Bernardi 4 oct 2014	Carlos Luna 4 oct 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
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 Eejercicio 14.2	Eduardo David Hernandez Muiño 19 oct 2014	Carlos Luna 19 oct 2014	5
Solicitud de prórroga	Juan Pablo Garcia Garland 20 oct 2014	Jairo Yamil Bonanata Silva 20 oct 2014	2
[Practico 4] Ej 10	Danilo Alberto Garcia Lallanes 20 oct 2014	Carlos Luna 20 oct 2014	1
[Práctico 4] Ejercicio 18	Jairo Yamil Bonanata Silva 20 oct 2014	Jairo Yamil Bonanata Silva 24 oct 2014	10
[Práctico 1] Ej 16	Juan Pablo Garcia Garland 25 oct 2014	Carlos Luna 25 oct 2014	3
[Práctico 4] ej 20	Juan Pablo Garcia Garland 26 oct 2014	Carlos Luna 26 oct 2014	1
[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
[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
[Práctico 6] - Ejercicio 6	Juan Pablo Garcia Garland 23 nov 2014	Carlos Luna 24 nov 2014	3
Práctico 6 - Subsets con {}	Juan Pablo Sierra Ansuas 26 nov 2014	Carlos Luna 26 nov 2014	1
Táctica refine	Juan Pablo Sierra Ansuas 27 nov 2014	Carlos Luna 27 nov 2014	2
[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
Entrega Práctico 6	Leticia Soledad Almeida Segura 29 nov 2014	Carlos Luna 29 nov 2014	1
[Práctico 6] Demora en la compilación	Romina Diana Romero Riva 30 nov 2014	Carlos Luna 30 nov 2014	1
[Práctico 4] - Ejercicio 4.16.2	Jairo Yamil Bonanata Silva 30 nov 2014	Carlos Luna 1 dic 2014	4
[Práctico 4] - Ejercicio 1.8	Jairo Yamil Bonanata Silva 30 nov 2014	Carlos Luna 1 dic 2014	1
[Practico 4] Ejercicio 20	Daniel Filgueiras Di Lorenzo 30 nov 2014	Carlos Luna 1 dic 2014	1
Ejercicio 6.11 Libro de Coq	Jairo Yamil Bonanata Silva 23 nov 2014	Ignacio Ismael Decia Cairo 1 dic 2014	3
Biblioteca Estándar de Coq Parcial	Jairo Yamil Bonanata Silva 2 dic 2014	Carlos Luna 3 dic 2014	1
[Práctico 5] Ejercicio 2.3	Jairo Yamil Bonanata Silva 2 dic 2014	Jairo Yamil Bonanata Silva 3 dic 2014	2
[Práctico 7] Require Export Maps.	Jairo Yamil Bonanata Silva 9 dic 2014	Carlos Luna 9 dic 2014	2
[Caso de estudio] - Ejercicio 1	Juan Pablo Garcia Garland 5 dic 2014	Carlos Luna 9 dic 2014	4
[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] sobre funciones parciales...	Carlos Luna 9 dic 2014	Carlos Luna 9 dic 2014	0
[Práctico 7] Uso de mappings	Jairo Yamil Bonanata Silva 9 dic 2014	Carlos Luna 10 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] 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] Post-Condición chmod	Jairo Yamil Bonanata Silva 12 dic 2014	Carlos Luna 15 dic 2014	5
[Práctico 7] Ejercicio 7	Jairo Yamil Bonanata Silva 15 dic 2014	Carlos Luna 15 dic 2014	3
[Practico 7] va_mapped_to_ma	Eduardo David Hernandez Muiño 14 dic 2014	Carlos Luna 18 dic 2014	7
Formato Entrega 7	Jairo Yamil Bonanata Silva 18 dic 2014	Carlos Luna 18 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] Precondición de Read	Bernardo Larrosa 20 dic 2014	Carlos Luna 20 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
Version de Coq	Luciano Dante Alvarez Bibbo 4 ago 2015	Carlos Luna 4 ago 2015	1
Link a practicos	Carlos Augusto Rodriguez Gonzalez 10 ago 2015	Carlos Luna 10 ago 2015	1
Grupos	Luciano Jesus Montero Videla 15 ago 2015	Carlos Luna 15 ago 2015	1
Ejercicio 11 Práctico 1	Camila Moscatelli Bulmini 17 ago 2015	Carlos Luna 17 ago 2015	1
Error en Coq	Luciano Dante Alvarez Bibbo 16 ago 2015	Luciano Dante Alvarez Bibbo 17 ago 2015	2
[Practico 1 - Ej 1.7]	Luciano Dante Alvarez Bibbo 16 ago 2015	Luciano Dante Alvarez Bibbo 18 ago 2015	4
Solución de practicos	Luciano Dante Alvarez Bibbo 24 ago 2015	Carlos Luna 25 ago 2015	3
Practico 2, Ejercicio 5.1	Mathias Federico Castro Ferrand 2 sept 2015	Mathias Federico Castro Ferrand 3 sept 2015	3
Practico 2, ejercicio 8.1	Mathias Federico Castro Ferrand 4 sept 2015	Mathias Federico Castro Ferrand 4 sept 2015	2
Practico 2 - Ejercicio 11.	Luciano Dante Alvarez Bibbo 4 sept 2015	Luciano Dante Alvarez Bibbo 5 sept 2015	2
Practico 2, Ejercicio 10, Lema 2	Joaquin Velazquez Camacho 6 sept 2015	Carlos Luna 6 sept 2015	1
Práctico 2 - Ejercicio 5.4	Hernan Winter Cereza 6 sept 2015	Carlos Luna 6 sept 2015	2
Práctico 2 - Ejercicio 7	Alvaro Gabriel Señorale Perez 6 sept 2015	Alvaro Gabriel Señorale Perez 6 sept 2015	2
Ejercicios a entregar	Sebastian Juan Rodriguez Leopold 8 sept 2015	Carlos Luna 8 sept 2015	1
Practico 3 - Ej 4	Daniel Eduardo Erguiz Cartelle 9 sept 2015	Carlos Luna 9 sept 2015	3
Práctico 3-Ejercicio 3	Camila Moscatelli Bulmini 14 sept 2015	Camila Moscatelli Bulmini 14 sept 2015	2
Practico 3 - Ejercicio 8.6	Alvaro Gabriel Señorale Perez 14 sept 2015	Carlos Luna 15 sept 2015	3
Busco alguien para formar grupo	Mathias Federico Castro Ferrand 16 sept 2015	Mathias Federico Castro Ferrand 16 sept 2015	0

Busco grupo

Daniel Filgueiras Di Lorenzo

14 ago 2014

Jairo Yamil Bonanata Silva

14 ago 2014

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

¿El practico es en grupo?

Sebastián Sánchez Costa

15 ago 2014

Carlos Luna

15 ago 2014

1

Busco Grupo.

Christian Favian Nuñez Machado

16 ago 2014

Christian Favian Nuñez Machado

16 ago 2014

0

Consulta, Practico 1 Ejercicio 3

Andres Veiro Diaz

18 ago 2014

Andres Veiro Diaz

18 ago 2014

2

Consulta Ejercicios 1.8

Juan Pablo Sierra Ansuas

19 ago 2014

Carlos Luna

20 ago 2014

4

Consulta uso de apply

Diego Ricardo Perez Bernardi

20 ago 2014

Carlos Luna

20 ago 2014

1

Ejercicio 1.11

Juan Pablo Sierra Ansuas

21 ago 2014

Juan Pablo Sierra Ansuas

22 ago 2014

3

Compilar archivo.

Juan Pablo Sierra Ansuas

22 ago 2014

Carlos Luna

22 ago 2014

1

Uso del pipe en Coq

Romina Diana Romero Riva

22 ago 2014

Carlos Luna

23 ago 2014

1

Entrega

Camila Sanz Almada

23 ago 2014

Gustavo Betarte

23 ago 2014

1

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

Añadir estudiante a la entrega

Danilo Alberto Garcia Lallanes

25 ago 2014

Carlos Luna

25 ago 2014

1

Receptor de Entrega - Horario

Rodrigo Lago Bello

26 ago 2014

Carlos Luna

26 ago 2014

1

Ejercicio 2.3

Juan Pablo Sierra Ansuas

28 ago 2014

Juan Pablo Sierra Ansuas

29 ago 2014

2

Practico 2 - Ejercicio 9 - segundo lemma

Valentina Parula Reschutzegger

2 sept 2014

Carlos Luna

2 sept 2014

1

Ejercicio 2.7 y Estructuradores de Tacticas

Juan Pablo Sierra Ansuas

2 sept 2014

Carlos Luna

4 sept 2014

3

[Práctico 2] Ejercicio 8

Romina Diana Romero Riva

5 sept 2014

Carlos Luna

5 sept 2014

1

Ejercicio 10.5, practico 2

Danilo Alberto Garcia Lallanes

5 sept 2014

Carlos Luna

5 sept 2014

1

Ejercicio 10.1 practico 2

Andres Veiro Diaz

4 sept 2014

Andres Veiro Diaz

6 sept 2014

2

[Práctico 3] Ejercicio 4

Juan Pablo Garcia Garland

9 sept 2014

Carlos Luna

9 sept 2014

1

Practico 3 - Ejercicio 5

Juan Pablo Sierra Ansuas

10 sept 2014

Carlos Luna

10 sept 2014

1

[Práctico 3] Ejercicio 1

Leticia Soledad Almeida Segura

11 sept 2014

Leticia Soledad Almeida Segura

12 sept 2014

2

[Practico 3] Ejercicio 6. Definición de operadores infijos

Juan Pablo Garcia Garland

12 sept 2014

Carlos Luna

12 sept 2014

1

[Práctico 3] -Reducción Delta y Beta

Jairo Yamil Bonanata Silva

18 sept 2014

Carlos Luna

19 sept 2014

1

Practico 3: Ejercicio 5.1

Andres Veiro Diaz

17 sept 2014

Carlos Luna

21 sept 2014

6

[Práctico 3] Ejercicios 6 y 7

Diego Ricardo Perez Bernardi

16 sept 2014

Juan Pablo Sierra Ansuas

21 sept 2014

9

[Practico 3] Ejercicio 14_5

Daniel Filgueiras Di Lorenzo

25 sept 2014

Juan Pablo Garcia Garland

26 sept 2014

1

Practico 3. Ej 8.1

Andres Veiro Diaz

27 sept 2014

Carlos Luna

27 sept 2014

1

[Práctico 3] Ejercicio 8.3

Juan Pablo Garcia Garland

26 sept 2014

Carlos Luna

27 sept 2014

1

[Práctico 3] Ejercicio 7.4. Segundo AND

Guillermo Urrutia Pereira

25 sept 2014

Carlos Luna

27 sept 2014

3

[Practico 3] Ejercicio 11.2

Gonzalo Daniel Melgar Abalde

18 sept 2014

Carlos Luna

27 sept 2014

5

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

Romina Diana Romero Riva

29 sept 2014

Carlos Luna

29 sept 2014

1

Duda General

Daniel Filgueiras Di Lorenzo

19 sept 2014

Carlos Luna

29 sept 2014

5

Consulta corrección entregas

Diego Ricardo Perez Bernardi

4 oct 2014

Carlos Luna

4 oct 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

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 Eejercicio 14.2

Eduardo David Hernandez Muiño

19 oct 2014

Carlos Luna

19 oct 2014

5

Solicitud de prórroga

Juan Pablo Garcia Garland

20 oct 2014

Jairo Yamil Bonanata Silva

20 oct 2014

2

[Practico 4] Ej 10

Danilo Alberto Garcia Lallanes

20 oct 2014

Carlos Luna

20 oct 2014

1

[Práctico 4] Ejercicio 18

Jairo Yamil Bonanata Silva

20 oct 2014

Jairo Yamil Bonanata Silva

24 oct 2014

10

[Práctico 1] Ej 16

Juan Pablo Garcia Garland

25 oct 2014

Carlos Luna

25 oct 2014

3

[Práctico 4] ej 20

Juan Pablo Garcia Garland

26 oct 2014

Carlos Luna

26 oct 2014

1

[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

[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

[Práctico 6] - Ejercicio 6

Juan Pablo Garcia Garland

23 nov 2014

Carlos Luna

24 nov 2014

3

Práctico 6 - Subsets con {}

Juan Pablo Sierra Ansuas

26 nov 2014

Carlos Luna

26 nov 2014

1

Táctica refine

Juan Pablo Sierra Ansuas

27 nov 2014

Carlos Luna

27 nov 2014

2

[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

Entrega Práctico 6

Leticia Soledad Almeida Segura

29 nov 2014

Carlos Luna

29 nov 2014

1

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

Romina Diana Romero Riva

30 nov 2014

Carlos Luna

30 nov 2014

1

[Práctico 4] - Ejercicio 4.16.2

Jairo Yamil Bonanata Silva

30 nov 2014

Carlos Luna

1 dic 2014

4

[Práctico 4] - Ejercicio 1.8

Jairo Yamil Bonanata Silva

30 nov 2014

Carlos Luna

1 dic 2014

1

[Practico 4] Ejercicio 20

Daniel Filgueiras Di Lorenzo

30 nov 2014

Carlos Luna

1 dic 2014

1

Ejercicio 6.11 Libro de Coq

Jairo Yamil Bonanata Silva

23 nov 2014

Ignacio Ismael Decia Cairo

1 dic 2014

3

Biblioteca Estándar de Coq Parcial

Jairo Yamil Bonanata Silva

2 dic 2014

Carlos Luna

3 dic 2014

1

[Práctico 5] Ejercicio 2.3

Jairo Yamil Bonanata Silva

2 dic 2014

Jairo Yamil Bonanata Silva

3 dic 2014

2

[Práctico 7] Require Export Maps.

Jairo Yamil Bonanata Silva

9 dic 2014

Carlos Luna

9 dic 2014

2

[Caso de estudio] - Ejercicio 1

Juan Pablo Garcia Garland

5 dic 2014

Carlos Luna

9 dic 2014

4

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

Carlos Luna

9 dic 2014

Carlos Luna

9 dic 2014

0

[Práctico 7] Uso de mappings

Jairo Yamil Bonanata Silva

9 dic 2014

Carlos Luna

10 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] 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] Post-Condición chmod

Jairo Yamil Bonanata Silva

12 dic 2014

Carlos Luna

15 dic 2014

5

[Práctico 7] Ejercicio 7

Jairo Yamil Bonanata Silva

15 dic 2014

Carlos Luna

15 dic 2014

3

[Practico 7] va_mapped_to_ma

Eduardo David Hernandez Muiño

14 dic 2014

Carlos Luna

18 dic 2014

7

Formato Entrega 7

Jairo Yamil Bonanata Silva

18 dic 2014

Carlos Luna

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

Bernardo Larrosa

20 dic 2014

Carlos Luna

20 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

Version de Coq

Luciano Dante Alvarez Bibbo

4 ago 2015

Carlos Luna

4 ago 2015

1

Link a practicos

Carlos Augusto Rodriguez Gonzalez

10 ago 2015

Carlos Luna

10 ago 2015

1

Grupos

Luciano Jesus Montero Videla

15 ago 2015

Carlos Luna

15 ago 2015

1

Ejercicio 11 Práctico 1

Camila Moscatelli Bulmini

17 ago 2015

Carlos Luna

17 ago 2015

1

Error en Coq

Luciano Dante Alvarez Bibbo

16 ago 2015

Luciano Dante Alvarez Bibbo

17 ago 2015

2

[Practico 1 - Ej 1.7]

Luciano Dante Alvarez Bibbo

16 ago 2015

Luciano Dante Alvarez Bibbo

18 ago 2015

4

Solución de practicos

Luciano Dante Alvarez Bibbo

24 ago 2015

Carlos Luna

25 ago 2015

3

Practico 2, Ejercicio 5.1

Mathias Federico Castro Ferrand

2 sept 2015

Mathias Federico Castro Ferrand

3 sept 2015

3

Practico 2, ejercicio 8.1

Mathias Federico Castro Ferrand

4 sept 2015

Mathias Federico Castro Ferrand

4 sept 2015

2

Practico 2 - Ejercicio 11.

Luciano Dante Alvarez Bibbo

4 sept 2015

Luciano Dante Alvarez Bibbo

5 sept 2015

2

Practico 2, Ejercicio 10, Lema 2

Joaquin Velazquez Camacho

6 sept 2015

Carlos Luna

6 sept 2015

1

Práctico 2 - Ejercicio 5.4

Hernan Winter Cereza

6 sept 2015

Carlos Luna

6 sept 2015

2

Práctico 2 - Ejercicio 7

Alvaro Gabriel Señorale Perez

6 sept 2015

Alvaro Gabriel Señorale Perez

6 sept 2015

2

Ejercicios a entregar

Sebastian Juan Rodriguez Leopold

8 sept 2015

Carlos Luna

8 sept 2015

1

Practico 3 - Ej 4

Daniel Eduardo Erguiz Cartelle

9 sept 2015

Carlos Luna

9 sept 2015

3

Práctico 3-Ejercicio 3

Camila Moscatelli Bulmini

14 sept 2015

Camila Moscatelli Bulmini

14 sept 2015

2

Practico 3 - Ejercicio 8.6

Alvaro Gabriel Señorale Perez

14 sept 2015

Carlos Luna

15 sept 2015

3

Busco alguien para formar grupo

Mathias Federico Castro Ferrand

16 sept 2015

Mathias Federico Castro Ferrand

16 sept 2015

0