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
Práctico 2 - Ejercicio 8	Jairo Yamil Bonanata Silva 23 ago 2014	Carlos Luna 23 ago 2014	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 11.	Luciano Dante Alvarez Bibbo 4 sept 2015	Luciano Dante Alvarez Bibbo 5 sept 2015	2
Práctico 2 - Ejercicio 11	Lautaro Cardozo Ramirez 21 sept 2020	Lautaro Cardozo Ramirez 21 sept 2020	3
Practico 2 - Ejercicio 10 - Lemas 10_4 y 10_5	Geronimo Garcia Koch 22 sept 2020	Carlos Luna 22 sept 2020	1
Practico 1 Ej.7.3	Pablo Daniel Martinez Arevalo 25 ago 2017	Carlos Luna 25 ago 2017	2
Practico 1 Ej 12	Andres Fulloni Papaleo 26 ago 2017	Carlos Luna 27 ago 2017	1
Práctico 1 - Ejercicio 11.	Jairo Yamil Bonanata Silva 14 ago 2014	Carlos Luna 14 ago 2014	1
Práctica para el parcial	Danilo Nuñez Dalla Rosa 2 may 2024	Carlos Luna 2 may 2024	1
Postcondición de chmod	Julian Tricanico Gadea 28 nov 2022	Carlos Luna 28 nov 2022	1
Poner o no el tipo en constructores (depende de versión de Coq?)	Agustin Leonardo Lucas Millan 8 oct 2023	Agustin Leonardo Lucas Millan 9 oct 2023	2
Parciales para practicar	Pablo Daniel Martinez Arevalo 10 dic 2020	Carlos Luna 11 dic 2020	1
P7 - Sobre el rol de la memoria física	Juan Manuel Rivara De Leon 1 dic 2023	Carlos Luna 1 dic 2023	1
P7 - SO activo e hipervisor	Juan Manuel Rivara De Leon 1 dic 2023	Carlos Luna 1 dic 2023	1
P7 - Formato de entrega	Juan Manuel Rivara De Leon 15 dic 2023	Carlos Luna 15 dic 2023	1
P7 - Consulta por aclaración sobre interpretación de existencia en mapas parciales	Juan Manuel Rivara De Leon 2 dic 2023	Carlos Luna 10 dic 2023	8
P7 - Bibliotecas locales	Juan Manuel Rivara De Leon 16 nov 2023	Carlos Luna 16 nov 2023	1
P6 E3 - Extracción de Haskell y tipos por defecto	Juan Manuel Rivara De Leon 16 nov 2023	Carlos Luna 16 nov 2023	1
P6 E3 - Creación de Base	Juan Manuel Rivara De Leon 14 nov 2023	Carlos Luna 14 nov 2023	1
P4 E21 - Sobre la definición de AB y cómputo de camino	Juan Manuel Rivara De Leon 29 sept 2023	Carlos Luna 29 sept 2023	1
Notaciones infijas con variables de tipo explícitas	Marco Nicolas Rodriguez Alvariza 21 oct 2019	Marco Nicolas Rodriguez Alvariza 21 oct 2019	2
Nombres automáticos en pruebas	Marco Nicolas Rodriguez Alvariza 2 nov 2019	Carlos Luna 2 nov 2019	1
Nombre de hipótesis generadas por inversion_clear	Gabriel Mello 13 oct 2023	Carlos Luna 13 oct 2023	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
Formato Entrega 7	Jairo Yamil Bonanata Silva 18 dic 2014	Carlos Luna 18 dic 2014	1
Fecha resultados del primer parcial	Jairo Yamil Bonanata Silva 10 oct 2014	Jairo Yamil Bonanata Silva 10 oct 2014	0
Fecha de Segundo Parcial	Miguel Matias Langone Fusari 21 nov 2016	Miguel Matias Langone Fusari 21 nov 2016	0
Exportar código de pruebas	Juan Pablo Sierra Ansuas 27 nov 2014	Leonardo Martin Piñeyro Rodriguez 27 nov 2017	6
Error en Coq	Luciano Dante Alvarez Bibbo 16 ago 2015	Luciano Dante Alvarez Bibbo 17 ago 2015	2
Envío de tarea	Juan Manuel Rivara De Leon 29 sept 2023	Carlos Luna 29 sept 2023	1
Entrega tardia tarea 5	Miguel Matias Langone Fusari 12 nov 2016	Miguel Matias Langone Fusari 13 nov 2016	2
Entrega Práctico 6	Leticia Soledad Almeida Segura 29 nov 2014	Carlos Luna 29 nov 2014	1
Entrega Practico 4	Damian Augusto Langone Fusari 21 oct 2017	Carlos Luna 21 oct 2017	1
Entrega de practico en grupo	Juan Pablo Pascual Romero 26 ago 2016	Carlos Luna 27 ago 2016	1
Entrega	Camila Sanz Almada 23 ago 2014	Gustavo Betarte 23 ago 2014	1
Eliminación de un implica.	Jairo Yamil Bonanata Silva 14 ago 2014	Jairo Yamil Bonanata Silva 14 ago 2014	2
Ejercicios a entregar	Sebastian Juan Rodriguez Leopold 8 sept 2015	Carlos Luna 8 sept 2015	1
Ejercicio 8 parte 3	German Adolfo Faller Farias 2 sept 2018	Carlos Luna 2 sept 2018	1
Ejercicio 7	Pablo Palou Singlet 23 ago 2022	Carlos Luna 24 ago 2022	2
Ejercicio 6.3	Joaquin Lejtreger Chebi 11 nov 2018	Joaquin Lejtreger Chebi 11 nov 2018	2
Ejercicio 6.11 Libro de Coq	Jairo Yamil Bonanata Silva 23 nov 2014	Ignacio Ismael Decia Cairo 1 dic 2014	3
Ejercicio 3.3 - Warning	Luciano Dante Alvarez Bibbo 19 sept 2015	Carlos Luna 19 sept 2015	1
Ejercicio 2.7 y Estructuradores de Tacticas	Juan Pablo Sierra Ansuas 2 sept 2014	Carlos Luna 4 sept 2014	3
Ejercicio 2.3	Juan Pablo Sierra Ansuas 28 ago 2014	Juan Pablo Sierra Ansuas 29 ago 2014	2
Ejercicio 11 Práctico 1	Camila Moscatelli Bulmini 17 ago 2015	Carlos Luna 17 ago 2015	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
Ejercicio 10, práctico 2	Joaquin Lejtreger Chebi 28 ago 2018	Carlos Luna 12 sept 2018	7
Ejercicio 1.11	Juan Pablo Sierra Ansuas 21 ago 2014	Juan Pablo Sierra Ansuas 22 ago 2014	3
Dudas Practico 3	German Adolfo Faller Farias 25 sept 2018	Carlos Luna 25 sept 2018	1
Duda Práctico 3 ej 1	Damian Augusto Langone Fusari 15 sept 2017	Carlos Luna 16 sept 2017	1
Duda General	Daniel Filgueiras Di Lorenzo 19 sept 2014	Carlos Luna 29 sept 2014	5
Duda en va_mapped_to_ma	Miguel Matias Langone Fusari 8 dic 2016	Miguel Matias Langone Fusari 9 dic 2016	4
Diferencia de ejecucion de Coq en Maquinas de Facultad.	Miguel Matias Langone Fusari 21 oct 2016	Carlos Luna 23 oct 2016	4
Demora en la entrega del Práctico 5	Agustin Pomies Arias 31 oct 2022	Carlos Luna 1 nov 2022	3
Cronograma esta semana	German Adolfo Faller Farias 23 sept 2018	Carlos Luna 23 sept 2018	1
Corrección de los prácticos.	German Adolfo Faller Farias 18 nov 2018	German Adolfo Faller Farias 21 nov 2018	4
coqtop died badly.resetting	Pablo Daniel Martinez Arevalo 9 sept 2017	Pablo Daniel Martinez Arevalo 9 sept 2017	0
context, os_accesible y trusted_os	Guillermo Calderon - InCo 8 dic 2017	Carlos Luna 8 dic 2017	1
Consultas varias práctico 1	Gabriel Mello 7 ago 2023	Carlos Luna 7 ago 2023	1
Consulta, Practico 1 Ejercicio 3	Andres Veiro Diaz 18 ago 2014	Andres Veiro Diaz 18 ago 2014	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
Consulta uso de apply	Diego Ricardo Perez Bernardi 20 ago 2014	Carlos Luna 20 ago 2014	1
Consulta parcial	Rodrigo Javier Vazquez Machado 21 nov 2023	Carlos Luna 21 nov 2023	1
Consulta Ejercicios 1.8	Juan Pablo Sierra Ansuas 19 ago 2014	Carlos Luna 20 ago 2014	4
Consulta ejercicios 1.12, 2.9.2 y 3.7	Cristian Fabian Sottile 14 oct 2020	Carlos Luna 14 oct 2020	1
Consulta ej 4.1.5	Cristian Fabian Sottile 25 oct 2020	Cristian Fabian Sottile 25 oct 2020	2
Consulta ej 3.12	Cristian Fabian Sottile 26 oct 2020	Carlos Luna 26 oct 2020	1
Consulta corrección entregas	Diego Ricardo Perez Bernardi 4 oct 2014	Carlos Luna 4 oct 2014	1
Confirmación de asistencia a clase de consulta	Noelia Magali Lencina Alfonso 11 sept 2018	Noelia Magali Lencina Alfonso 11 sept 2018	0
Compilar archivo.	Juan Pablo Sierra Ansuas 22 ago 2014	Carlos Luna 22 ago 2014	1
Clase 11/09	German Adolfo Faller Farias 10 sept 2018	Carlos Luna 11 sept 2018	2
Certificado asistencia primer parcial	Carlos Augusto Rodriguez Gonzalez 5 oct 2015	Gustavo Betarte 5 oct 2015	1
Busco Grupo.	Christian Favian Nuñez Machado 16 ago 2014	Christian Favian Nuñez Machado 16 ago 2014	0
Busco grupo	Mariangeles Artola Silvera 17 ago 2016	Mariangeles Artola Silvera 17 ago 2016	0
Busco grupo	Daniel Filgueiras Di Lorenzo 14 ago 2014	Jairo Yamil Bonanata Silva 14 ago 2014	1
Busco compañero de equipo para el último práctico	Julian Tricanico Gadea 24 nov 2022	Julian Tricanico Gadea 24 nov 2022	0
Busco alguien para formar grupo	Mathias Federico Castro Ferrand 16 sept 2015	Mathias Federico Castro Ferrand 16 sept 2015	0
Biblioteca Estándar de Coq Parcial	Jairo Yamil Bonanata Silva 2 dic 2014	Carlos Luna 3 dic 2014	1
Argumentos implícitos	Juan Manuel Rivara De Leon 23 sept 2023	Carlos Luna 23 sept 2023	1
Añadir estudiante a la entrega	Danilo Alberto Garcia Lallanes 25 ago 2014	Carlos Luna 25 ago 2014	1
[Practico1][Ejercicios 7.1 en adelante]	Alejandro Sebastian Flocken Rodriguez 10 ago 2022	Carlos Luna 11 ago 2022	7
[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] va_mapped_to_ma	Julian Tricanico Gadea 23 nov 2022	Julian Tricanico Gadea 23 nov 2022	2
[Practico 7] va_mapped_to_ma	Eduardo David Hernandez Muiño 14 dic 2014	Carlos Luna 18 dic 2014	7
[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] Require Export Maps.	Jairo Yamil Bonanata Silva 9 dic 2014	Carlos Luna 9 dic 2014	2
[Práctico 7] Relación entre estados	Jairo Yamil Bonanata Silva 11 dic 2014	Carlos Luna 18 dic 2014	7
[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] Precondición de Read	Bernardo Larrosa 20 dic 2014	Carlos Luna 20 dic 2014	1
[Practico 7] Pre/Post condiciones con mapas parciales	Usuario eliminado 1 dic 2023	Carlos Luna 1 dic 2023	1
[Práctico 7] Post-Condición chmod	Jairo Yamil Bonanata Silva 12 dic 2014	Carlos Luna 15 dic 2014	5
[Práctico 7] Mapas parciales	Joaquin Lejtreger Chebi 7 dic 2018	Carlos Luna 7 dic 2018	1
[Practico 7] Entrega	Santiago Ingold Core 20 dic 2018	Santiago Ingold Core 20 dic 2018	3
[Práctico 7] Ejericio 7	Andres Fulloni Papaleo 4 dic 2017	Andres Fulloni Papaleo 5 dic 2017	4
[Práctico 7] Ejercicios 4 y 5	Jairo Yamil Bonanata Silva 9 dic 2014	Carlos Luna 9 dic 2014	1

Practico 2 - Ejercicio 9 - segundo lemma

Valentina Parula Reschutzegger

2 sept 2014

Carlos Luna

2 sept 2014

1

Práctico 2 - Ejercicio 8

Jairo Yamil Bonanata Silva

23 ago 2014

Carlos Luna

23 ago 2014

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 11.

Luciano Dante Alvarez Bibbo

4 sept 2015

Luciano Dante Alvarez Bibbo

5 sept 2015

2

Práctico 2 - Ejercicio 11

Lautaro Cardozo Ramirez

21 sept 2020

Lautaro Cardozo Ramirez

21 sept 2020

3

Practico 2 - Ejercicio 10 - Lemas 10_4 y 10_5

Geronimo Garcia Koch

22 sept 2020

Carlos Luna

22 sept 2020

1

Practico 1 Ej.7.3

Pablo Daniel Martinez Arevalo

25 ago 2017

Carlos Luna

25 ago 2017

2

Practico 1 Ej 12

Andres Fulloni Papaleo

26 ago 2017

Carlos Luna

27 ago 2017

1

Práctico 1 - Ejercicio 11.

Jairo Yamil Bonanata Silva

14 ago 2014

Carlos Luna

14 ago 2014

1

Práctica para el parcial

Danilo Nuñez Dalla Rosa

2 may 2024

Carlos Luna

2 may 2024

1

Postcondición de chmod

Julian Tricanico Gadea

28 nov 2022

Carlos Luna

28 nov 2022

1

Poner o no el tipo en constructores (depende de versión de Coq?)

Agustin Leonardo Lucas Millan

8 oct 2023

Agustin Leonardo Lucas Millan

9 oct 2023

2

Parciales para practicar

Pablo Daniel Martinez Arevalo

10 dic 2020

Carlos Luna

11 dic 2020

1

P7 - Sobre el rol de la memoria física

Juan Manuel Rivara De Leon

1 dic 2023

Carlos Luna

1 dic 2023

1

P7 - SO activo e hipervisor

Juan Manuel Rivara De Leon

1 dic 2023

Carlos Luna

1 dic 2023

1

P7 - Formato de entrega

Juan Manuel Rivara De Leon

15 dic 2023

Carlos Luna

15 dic 2023

1

P7 - Consulta por aclaración sobre interpretación de existencia en mapas parciales

Juan Manuel Rivara De Leon

2 dic 2023

Carlos Luna

10 dic 2023

8

P7 - Bibliotecas locales

Juan Manuel Rivara De Leon

16 nov 2023

Carlos Luna

16 nov 2023

1

P6 E3 - Extracción de Haskell y tipos por defecto

Juan Manuel Rivara De Leon

16 nov 2023

Carlos Luna

16 nov 2023

1

P6 E3 - Creación de Base

Juan Manuel Rivara De Leon

14 nov 2023

Carlos Luna

14 nov 2023

1

P4 E21 - Sobre la definición de AB y cómputo de camino

Juan Manuel Rivara De Leon

29 sept 2023

Carlos Luna

29 sept 2023

1

Notaciones infijas con variables de tipo explícitas

Marco Nicolas Rodriguez Alvariza

21 oct 2019

Marco Nicolas Rodriguez Alvariza

21 oct 2019

2

Nombres automáticos en pruebas

Marco Nicolas Rodriguez Alvariza

2 nov 2019

Carlos Luna

2 nov 2019

1

Nombre de hipótesis generadas por inversion_clear

Gabriel Mello

13 oct 2023

Carlos Luna

13 oct 2023

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

Formato Entrega 7

Jairo Yamil Bonanata Silva

18 dic 2014

Carlos Luna

18 dic 2014

1

Fecha resultados del primer parcial

Jairo Yamil Bonanata Silva

10 oct 2014

Jairo Yamil Bonanata Silva

10 oct 2014

0

Fecha de Segundo Parcial

Miguel Matias Langone Fusari

21 nov 2016

Miguel Matias Langone Fusari

21 nov 2016

0

Exportar código de pruebas

Juan Pablo Sierra Ansuas

27 nov 2014

Leonardo Martin Piñeyro Rodriguez

27 nov 2017

6

Error en Coq

Luciano Dante Alvarez Bibbo

16 ago 2015

Luciano Dante Alvarez Bibbo

17 ago 2015

2

Envío de tarea

Juan Manuel Rivara De Leon

29 sept 2023

Carlos Luna

29 sept 2023

1

Entrega tardia tarea 5

Miguel Matias Langone Fusari

12 nov 2016

Miguel Matias Langone Fusari

13 nov 2016

2

Entrega Práctico 6

Leticia Soledad Almeida Segura

29 nov 2014

Carlos Luna

29 nov 2014

1

Entrega Practico 4

Damian Augusto Langone Fusari

21 oct 2017

Carlos Luna

21 oct 2017

1

Entrega de practico en grupo

Juan Pablo Pascual Romero

26 ago 2016

Carlos Luna

27 ago 2016

1

Entrega

Camila Sanz Almada

23 ago 2014

Gustavo Betarte

23 ago 2014

1

Eliminación de un implica.

Jairo Yamil Bonanata Silva

14 ago 2014

Jairo Yamil Bonanata Silva

14 ago 2014

2

Ejercicios a entregar

Sebastian Juan Rodriguez Leopold

8 sept 2015

Carlos Luna

8 sept 2015

1

Ejercicio 8 parte 3

German Adolfo Faller Farias

2 sept 2018

Carlos Luna

2 sept 2018

1

Ejercicio 7

Pablo Palou Singlet

23 ago 2022

Carlos Luna

24 ago 2022

2

Ejercicio 6.3

Joaquin Lejtreger Chebi

11 nov 2018

Joaquin Lejtreger Chebi

11 nov 2018

2

Ejercicio 6.11 Libro de Coq

Jairo Yamil Bonanata Silva

23 nov 2014

Ignacio Ismael Decia Cairo

1 dic 2014

3

Ejercicio 3.3 - Warning

Luciano Dante Alvarez Bibbo

19 sept 2015

Carlos Luna

19 sept 2015

1

Ejercicio 2.7 y Estructuradores de Tacticas

Juan Pablo Sierra Ansuas

2 sept 2014

Carlos Luna

4 sept 2014

3

Ejercicio 2.3

Juan Pablo Sierra Ansuas

28 ago 2014

Juan Pablo Sierra Ansuas

29 ago 2014

2

Ejercicio 11 Práctico 1

Camila Moscatelli Bulmini

17 ago 2015

Carlos Luna

17 ago 2015

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

Ejercicio 10, práctico 2

Joaquin Lejtreger Chebi

28 ago 2018

Carlos Luna

12 sept 2018

7

Ejercicio 1.11

Juan Pablo Sierra Ansuas

21 ago 2014

Juan Pablo Sierra Ansuas

22 ago 2014

3

Dudas Practico 3

German Adolfo Faller Farias

25 sept 2018

Carlos Luna

25 sept 2018

1

Duda Práctico 3 ej 1

Damian Augusto Langone Fusari

15 sept 2017

Carlos Luna

16 sept 2017

1

Duda General

Daniel Filgueiras Di Lorenzo

19 sept 2014

Carlos Luna

29 sept 2014

5

Duda en va_mapped_to_ma

Miguel Matias Langone Fusari

8 dic 2016

Miguel Matias Langone Fusari

9 dic 2016

4

Diferencia de ejecucion de Coq en Maquinas de Facultad.

Miguel Matias Langone Fusari

21 oct 2016

Carlos Luna

23 oct 2016

4

Demora en la entrega del Práctico 5

Agustin Pomies Arias

31 oct 2022

Carlos Luna

1 nov 2022

3

Cronograma esta semana

German Adolfo Faller Farias

23 sept 2018

Carlos Luna

23 sept 2018

1

Corrección de los prácticos.

German Adolfo Faller Farias

18 nov 2018

German Adolfo Faller Farias

21 nov 2018

4

coqtop died badly.resetting

Pablo Daniel Martinez Arevalo

9 sept 2017

Pablo Daniel Martinez Arevalo

9 sept 2017

0

context, os_accesible y trusted_os

Guillermo Calderon - InCo

8 dic 2017

Carlos Luna

8 dic 2017

1

Consultas varias práctico 1

Gabriel Mello

7 ago 2023

Carlos Luna

7 ago 2023

1

Consulta, Practico 1 Ejercicio 3

Andres Veiro Diaz

18 ago 2014

Andres Veiro Diaz

18 ago 2014

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

Consulta uso de apply

Diego Ricardo Perez Bernardi

20 ago 2014

Carlos Luna

20 ago 2014

1

Consulta parcial

Rodrigo Javier Vazquez Machado

21 nov 2023

Carlos Luna

21 nov 2023

1

Consulta Ejercicios 1.8

Juan Pablo Sierra Ansuas

19 ago 2014

Carlos Luna

20 ago 2014

4

Consulta ejercicios 1.12, 2.9.2 y 3.7

Cristian Fabian Sottile

14 oct 2020

Carlos Luna

14 oct 2020

1

Consulta ej 4.1.5

Cristian Fabian Sottile

25 oct 2020

Cristian Fabian Sottile

25 oct 2020

2

Consulta ej 3.12

Cristian Fabian Sottile

26 oct 2020

Carlos Luna

26 oct 2020

1

Consulta corrección entregas

Diego Ricardo Perez Bernardi

4 oct 2014

Carlos Luna

4 oct 2014

1

Confirmación de asistencia a clase de consulta

Noelia Magali Lencina Alfonso

11 sept 2018

Noelia Magali Lencina Alfonso

11 sept 2018

0

Compilar archivo.

Juan Pablo Sierra Ansuas

22 ago 2014

Carlos Luna

22 ago 2014

1

Clase 11/09

German Adolfo Faller Farias

10 sept 2018

Carlos Luna

11 sept 2018

2

Certificado asistencia primer parcial

Carlos Augusto Rodriguez Gonzalez

5 oct 2015

Gustavo Betarte

5 oct 2015

1

Busco Grupo.

Christian Favian Nuñez Machado

16 ago 2014

Christian Favian Nuñez Machado

16 ago 2014

0

Busco grupo

Mariangeles Artola Silvera

17 ago 2016

Mariangeles Artola Silvera

17 ago 2016

0

Busco grupo

Daniel Filgueiras Di Lorenzo

14 ago 2014

Jairo Yamil Bonanata Silva

14 ago 2014

1

Busco compañero de equipo para el último práctico

Julian Tricanico Gadea

24 nov 2022

Julian Tricanico Gadea

24 nov 2022

0

Busco alguien para formar grupo

Mathias Federico Castro Ferrand

16 sept 2015

Mathias Federico Castro Ferrand

16 sept 2015

0

Biblioteca Estándar de Coq Parcial

Jairo Yamil Bonanata Silva

2 dic 2014

Carlos Luna

3 dic 2014

1

Argumentos implícitos

Juan Manuel Rivara De Leon

23 sept 2023

Carlos Luna

23 sept 2023

1

Añadir estudiante a la entrega

Danilo Alberto Garcia Lallanes

25 ago 2014

Carlos Luna

25 ago 2014

1

[Practico1][Ejercicios 7.1 en adelante]

Alejandro Sebastian Flocken Rodriguez

10 ago 2022

Carlos Luna

11 ago 2022

7

[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] va_mapped_to_ma

Julian Tricanico Gadea

23 nov 2022

Julian Tricanico Gadea

23 nov 2022

2

[Practico 7] va_mapped_to_ma

Eduardo David Hernandez Muiño

14 dic 2014

Carlos Luna

18 dic 2014

7

[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] Require Export Maps.

Jairo Yamil Bonanata Silva

9 dic 2014

Carlos Luna

9 dic 2014

2

[Práctico 7] Relación entre estados

Jairo Yamil Bonanata Silva

11 dic 2014

Carlos Luna

18 dic 2014

7

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

Bernardo Larrosa

20 dic 2014

Carlos Luna

20 dic 2014

1

[Practico 7] Pre/Post condiciones con mapas parciales

Usuario eliminado

1 dic 2023

Carlos Luna

1 dic 2023

1

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

Jairo Yamil Bonanata Silva

12 dic 2014

Carlos Luna

15 dic 2014

5

[Práctico 7] Mapas parciales

Joaquin Lejtreger Chebi

7 dic 2018

Carlos Luna

7 dic 2018

1

[Practico 7] Entrega

Santiago Ingold Core

20 dic 2018

Santiago Ingold Core

20 dic 2018

3

[Práctico 7] Ejericio 7

Andres Fulloni Papaleo

4 dic 2017

Andres Fulloni Papaleo

5 dic 2017

4

[Práctico 7] Ejercicios 4 y 5

Jairo Yamil Bonanata Silva

9 dic 2014

Carlos Luna

9 dic 2014

1