Consultas de Práctico

Mostrando 100 de 359 discusiones
Debate	Comenzado por	Último mensaje	Réplicas
[Práctico 3] Ejercicio 6	Julian Tricanico Gadea 31 ago 2022	Carlos Luna 31 ago 2022	1
[Práctico 2] Ejercicio 11	Julian Tricanico Gadea 17 ago 2022	Carlos Luna 17 ago 2022	1
[Práctico 2] Ejercicio 10.7	Julian Tricanico Gadea 7 ago 2022	Carlos Luna 29 ago 2022	6
Entrega de practico en grupo	Juan Pablo Pascual Romero 26 ago 2016	Carlos Luna 27 ago 2016	1
[Caso de estudio] - Ejercicio 1	Juan Pablo Garcia Garland 5 dic 2014	Carlos Luna 9 dic 2014	4
Exportar código de pruebas	Juan Pablo Sierra Ansuas 27 nov 2014	Leonardo Martin Piñeyro Rodriguez 27 nov 2017	6
Táctica refine	Juan Pablo Sierra Ansuas 27 nov 2014	Carlos Luna 27 nov 2014	2
Práctico 6 - Subsets con {}	Juan Pablo Sierra Ansuas 26 nov 2014	Carlos Luna 26 nov 2014	1
[Práctico 6] - Ejercicio 6	Juan Pablo Garcia Garland 23 nov 2014	Carlos Luna 24 nov 2014	3
[Práctico 4] ej 20	Juan Pablo Garcia Garland 26 oct 2014	Carlos Luna 26 oct 2014	1
[Práctico 1] Ej 16	Juan Pablo Garcia Garland 25 oct 2014	Carlos Luna 25 oct 2014	3
Solicitud de prórroga	Juan Pablo Garcia Garland 20 oct 2014	Jairo Yamil Bonanata Silva 20 oct 2014	2
[Práctico 3] Ejercicio 8.3	Juan Pablo Garcia Garland 26 sept 2014	Carlos Luna 27 sept 2014	1
[Practico 3] Ejercicio 6. Definición de operadores infijos	Juan Pablo Garcia Garland 12 sept 2014	Carlos Luna 12 sept 2014	1
Practico 3 - Ejercicio 5	Juan Pablo Sierra Ansuas 10 sept 2014	Carlos Luna 10 sept 2014	1
[Práctico 3] Ejercicio 4	Juan Pablo Garcia Garland 9 sept 2014	Carlos Luna 9 sept 2014	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
Compilar archivo.	Juan Pablo Sierra Ansuas 22 ago 2014	Carlos Luna 22 ago 2014	1
Ejercicio 1.11	Juan Pablo Sierra Ansuas 21 ago 2014	Juan Pablo Sierra Ansuas 22 ago 2014	3
Consulta Ejercicios 1.8	Juan Pablo Sierra Ansuas 19 ago 2014	Carlos Luna 20 ago 2014	4
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 - SO activo e hipervisor	Juan Manuel Rivara De Leon 1 dic 2023	Carlos Luna 1 dic 2023	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 - 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
Táctica omega removida en favor de lia	Juan Manuel Rivara De Leon 27 oct 2023	Carlos Luna 27 oct 2023	1
Envío de tarea	Juan Manuel Rivara De Leon 29 sept 2023	Carlos Luna 29 sept 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
Táctica inversion	Juan Manuel Rivara De Leon 28 sept 2023	Carlos Luna 29 sept 2023	5
Argumentos implícitos	Juan Manuel Rivara De Leon 23 sept 2023	Carlos Luna 23 sept 2023	1
[Práctico 4] Constructor de listas (4.1, 4.4, 4.11 y 4.17), argumentos implícitos, tácticas ...	Juan Manuel Rivara De Leon 13 oct 2019	Carlos Luna 13 oct 2019	1
[Práctico 3] Generalizaciones, indexado (3.12), exact (3.14 y 3.15)	Juan Manuel Rivara De Leon 24 sept 2019	Carlos Luna 24 sept 2019	1
[Práctico 2] Ejercicios para entregar	Juan Manuel Rivara De Leon 27 ago 2019	Carlos Luna 1 sept 2019	3
[Práctico 1] Ejercicios 1.11 y 1.12	Juan Manuel Rivara De Leon 10 ago 2019	Carlos Luna 11 ago 2019	1
[Practico 4] Igualdad de objetos como booleano	Jose Diego Suarez Hernandez 14 oct 2017	Carlos Luna 14 oct 2017	1
Práctico 2, Ejercicio 8	Jose Diego Suarez Hernandez 2 sept 2017	Carlos Luna 3 sept 2017	1
Practico 5 -ej5 -parte2	Joel Gabriel Vazquez Dos Santos 22 oct 2015	Carlos Luna 22 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
Practico3/ejercicio 10	Joel Gabriel Vazquez Dos Santos 17 sept 2015	Carlos Luna 17 sept 2015	1
[Práctico 7] chmod	Joaquin Lejtreger Chebi 10 dic 2018	Carlos Luna 10 dic 2018	1
[Práctico 7] Mapas parciales	Joaquin Lejtreger Chebi 7 dic 2018	Carlos Luna 7 dic 2018	1
Práctico 6 Ejercicio 6	Joaquin Lejtreger Chebi 20 nov 2018	Carlos Luna 21 nov 2018	1
Práctico 5 Ejercicio 7.1	Joaquin Lejtreger Chebi 11 nov 2018	Carlos Luna 11 nov 2018	1
Ejercicio 6.3	Joaquin Lejtreger Chebi 11 nov 2018	Joaquin Lejtreger Chebi 11 nov 2018	2
Práctico 5 - Ejercicio 5	Joaquin Lejtreger Chebi 6 nov 2018	Carlos Luna 6 nov 2018	1
Práctico 4 - Dudas ejercicio 17	Joaquin Lejtreger Chebi 18 oct 2018	Carlos Luna 29 oct 2018	14
Práctico 4 - Dudas	Joaquin Lejtreger Chebi 18 oct 2018	Carlos Luna 18 oct 2018	1
Práctico 3 Ej 12	Joaquin Lejtreger Chebi 1 oct 2018	Carlos Luna 1 oct 2018	3
Ejercicio 10, práctico 2	Joaquin Lejtreger Chebi 28 ago 2018	Carlos Luna 12 sept 2018	7
Problemas con la entrega.	Joaquin Lejtreger Chebi 26 ago 2018	Carlos Luna 26 ago 2018	1
Practico 3, Ejercicio 6, parte 2	Joaquin Velazquez Camacho 16 sept 2015	Carlos Luna 16 sept 2015	1
Practico 2, Ejercicio 10, Lema 2	Joaquin Velazquez Camacho 6 sept 2015	Carlos Luna 6 sept 2015	1
Formato Entrega 7	Jairo Yamil Bonanata Silva 18 dic 2014	Carlos Luna 18 dic 2014	1
[Práctico 7] Ejercicio 7	Jairo Yamil Bonanata Silva 15 dic 2014	Carlos Luna 15 dic 2014	3
[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 v - casos de error	Jairo Yamil Bonanata Silva 12 dic 2014	Romina Diana Romero Riva 21 dic 2014	6
[Práctico 7] Ej5 regla iii - Hipervisor corriendo	Jairo Yamil Bonanata Silva 12 dic 2014	Carlos Luna 13 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] Relación entre estados	Jairo Yamil Bonanata Silva 11 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] 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
[Práctico 7] Require Export Maps.	Jairo Yamil Bonanata Silva 9 dic 2014	Carlos Luna 9 dic 2014	2
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 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
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
Ejercicio 6.11 Libro de Coq	Jairo Yamil Bonanata Silva 23 nov 2014	Ignacio Ismael Decia Cairo 1 dic 2014	3
[Práctico 5] - Ejercicios 6.3 y 5.2	Jairo Yamil Bonanata Silva 30 oct 2014	Carlos Luna 30 oct 2014	3
[Práctico 5] Ejercicio 6.2	Jairo Yamil Bonanata Silva 30 oct 2014	Carlos Luna 30 oct 2014	1
[Práctico 5] Ejercicio 1.5.	Jairo Yamil Bonanata Silva 28 oct 2014	Carlos Luna 28 oct 2014	1
[Práctico 4] Ejercicio 18	Jairo Yamil Bonanata Silva 20 oct 2014	Jairo Yamil Bonanata Silva 24 oct 2014	10
Fecha resultados del primer parcial	Jairo Yamil Bonanata Silva 10 oct 2014	Jairo Yamil Bonanata Silva 10 oct 2014	0
¿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
Show Proof - Show Tree	Jairo Yamil Bonanata Silva 7 oct 2014	Carlos Luna 7 oct 2014	3
[Práctico 3] -Reducción Delta y Beta	Jairo Yamil Bonanata Silva 18 sept 2014	Carlos Luna 19 sept 2014	1
Práctico 2 - Ejercicio 8	Jairo Yamil Bonanata Silva 23 ago 2014	Carlos Luna 23 ago 2014	1
Práctico 2 - Táctica auto	Jairo Yamil Bonanata Silva 23 ago 2014	Carlos Luna 23 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 1 - Ejercicio 11.	Jairo Yamil Bonanata Silva 14 ago 2014	Carlos Luna 14 ago 2014	1
[Practico 6] Ejercicio 6.5	Idel Uriel Radzyminski Diaz 12 nov 2022	Carlos Luna 12 nov 2022	1
Práctico 2 - Ejercicio 5.4	Hernan Winter Cereza 6 sept 2015	Carlos Luna 6 sept 2015	2
Practico 7 os_accessible	Guillermo Martin Baez Baptista 2 dic 2015	Carlos Luna 2 dic 2015	3
Practico 6, ej 6	Guillermo Martin Baez Baptista 8 nov 2015	Carlos Luna 8 nov 2015	3
Practico 5, ej 7, parte 6	Guillermo Martin Baez Baptista 31 oct 2015	Carlos Luna 1 nov 2015	5
Practico 4- ejercicio 18	Guillermo Martin Baez Baptista 17 oct 2015	Carlos Luna 17 oct 2015	1
Practico 4, ej 16, parte2.2	Guillermo Martin Baez Baptista 15 oct 2015	Carlos Luna 15 oct 2015	1
Practico 3 ejercicio 11 parte 2	Guillermo Martin Baez Baptista 17 sept 2015	Carlos Luna 17 sept 2015	1
Primer parcial	Guillermo Angel Kuster Techera 1 oct 2016	Carlos Luna 1 oct 2016	1
va_mapped_to_ma	Guillermo Calderon - InCo 12 dic 2017	Guillermo Calderon - InCo 15 dic 2017	2
context, os_accesible y trusted_os	Guillermo Calderon - InCo 8 dic 2017	Carlos Luna 8 dic 2017	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 6

Julian Tricanico Gadea

31 ago 2022

Carlos Luna

31 ago 2022

1

[Práctico 2] Ejercicio 11

Julian Tricanico Gadea

17 ago 2022

Carlos Luna

17 ago 2022

1

[Práctico 2] Ejercicio 10.7

Julian Tricanico Gadea

7 ago 2022

Carlos Luna

29 ago 2022

6

Entrega de practico en grupo

Juan Pablo Pascual Romero

26 ago 2016

Carlos Luna

27 ago 2016

1

[Caso de estudio] - Ejercicio 1

Juan Pablo Garcia Garland

5 dic 2014

Carlos Luna

9 dic 2014

4

Exportar código de pruebas

Juan Pablo Sierra Ansuas

27 nov 2014

Leonardo Martin Piñeyro Rodriguez

27 nov 2017

6

Táctica refine

Juan Pablo Sierra Ansuas

27 nov 2014

Carlos Luna

27 nov 2014

2

Práctico 6 - Subsets con {}

Juan Pablo Sierra Ansuas

26 nov 2014

Carlos Luna

26 nov 2014

1

[Práctico 6] - Ejercicio 6

Juan Pablo Garcia Garland

23 nov 2014

Carlos Luna

24 nov 2014

3

[Práctico 4] ej 20

Juan Pablo Garcia Garland

26 oct 2014

Carlos Luna

26 oct 2014

1

[Práctico 1] Ej 16

Juan Pablo Garcia Garland

25 oct 2014

Carlos Luna

25 oct 2014

3

Solicitud de prórroga

Juan Pablo Garcia Garland

20 oct 2014

Jairo Yamil Bonanata Silva

20 oct 2014

2

[Práctico 3] Ejercicio 8.3

Juan Pablo Garcia Garland

26 sept 2014

Carlos Luna

27 sept 2014

1

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

Juan Pablo Garcia Garland

12 sept 2014

Carlos Luna

12 sept 2014

1

Practico 3 - Ejercicio 5

Juan Pablo Sierra Ansuas

10 sept 2014

Carlos Luna

10 sept 2014

1

[Práctico 3] Ejercicio 4

Juan Pablo Garcia Garland

9 sept 2014

Carlos Luna

9 sept 2014

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

Compilar archivo.

Juan Pablo Sierra Ansuas

22 ago 2014

Carlos Luna

22 ago 2014

1

Ejercicio 1.11

Juan Pablo Sierra Ansuas

21 ago 2014

Juan Pablo Sierra Ansuas

22 ago 2014

3

Consulta Ejercicios 1.8

Juan Pablo Sierra Ansuas

19 ago 2014

Carlos Luna

20 ago 2014

4

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 - SO activo e hipervisor

Juan Manuel Rivara De Leon

1 dic 2023

Carlos Luna

1 dic 2023

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

Táctica omega removida en favor de lia

Juan Manuel Rivara De Leon

27 oct 2023

Carlos Luna

27 oct 2023

1

Envío de tarea

Juan Manuel Rivara De Leon

29 sept 2023

Carlos Luna

29 sept 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

Táctica inversion

Juan Manuel Rivara De Leon

28 sept 2023

Carlos Luna

29 sept 2023

5

Argumentos implícitos

Juan Manuel Rivara De Leon

23 sept 2023

Carlos Luna

23 sept 2023

1

[Práctico 4] Constructor de listas (4.1, 4.4, 4.11 y 4.17), argumentos implícitos, tácticas ...

Juan Manuel Rivara De Leon

13 oct 2019

Carlos Luna

13 oct 2019

1

[Práctico 3] Generalizaciones, indexado (3.12), exact (3.14 y 3.15)

Juan Manuel Rivara De Leon

24 sept 2019

Carlos Luna

24 sept 2019

1

[Práctico 2] Ejercicios para entregar

Juan Manuel Rivara De Leon

27 ago 2019

Carlos Luna

1 sept 2019

3

[Práctico 1] Ejercicios 1.11 y 1.12

Juan Manuel Rivara De Leon

10 ago 2019

Carlos Luna

11 ago 2019

1

[Practico 4] Igualdad de objetos como booleano

Jose Diego Suarez Hernandez

14 oct 2017

Carlos Luna

14 oct 2017

1

Práctico 2, Ejercicio 8

Jose Diego Suarez Hernandez

2 sept 2017

Carlos Luna

3 sept 2017

1

Practico 5 -ej5 -parte2

Joel Gabriel Vazquez Dos Santos

22 oct 2015

Carlos Luna

22 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

Practico3/ejercicio 10

Joel Gabriel Vazquez Dos Santos

17 sept 2015

Carlos Luna

17 sept 2015

1

[Práctico 7] chmod

Joaquin Lejtreger Chebi

10 dic 2018

Carlos Luna

10 dic 2018

1

[Práctico 7] Mapas parciales

Joaquin Lejtreger Chebi

7 dic 2018

Carlos Luna

7 dic 2018

1

Práctico 6 Ejercicio 6

Joaquin Lejtreger Chebi

20 nov 2018

Carlos Luna

21 nov 2018

1

Práctico 5 Ejercicio 7.1

Joaquin Lejtreger Chebi

11 nov 2018

Carlos Luna

11 nov 2018

1

Ejercicio 6.3

Joaquin Lejtreger Chebi

11 nov 2018

Joaquin Lejtreger Chebi

11 nov 2018

2

Práctico 5 - Ejercicio 5

Joaquin Lejtreger Chebi

6 nov 2018

Carlos Luna

6 nov 2018

1

Práctico 4 - Dudas ejercicio 17

Joaquin Lejtreger Chebi

18 oct 2018

Carlos Luna

29 oct 2018

14

Práctico 4 - Dudas

Joaquin Lejtreger Chebi

18 oct 2018

Carlos Luna

18 oct 2018

1

Práctico 3 Ej 12

Joaquin Lejtreger Chebi

1 oct 2018

Carlos Luna

1 oct 2018

3

Ejercicio 10, práctico 2

Joaquin Lejtreger Chebi

28 ago 2018

Carlos Luna

12 sept 2018

7

Problemas con la entrega.

Joaquin Lejtreger Chebi

26 ago 2018

Carlos Luna

26 ago 2018

1

Practico 3, Ejercicio 6, parte 2

Joaquin Velazquez Camacho

16 sept 2015

Carlos Luna

16 sept 2015

1

Practico 2, Ejercicio 10, Lema 2

Joaquin Velazquez Camacho

6 sept 2015

Carlos Luna

6 sept 2015

1

Formato Entrega 7

Jairo Yamil Bonanata Silva

18 dic 2014

Carlos Luna

18 dic 2014

1

[Práctico 7] Ejercicio 7

Jairo Yamil Bonanata Silva

15 dic 2014

Carlos Luna

15 dic 2014

3

[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 v - casos de error

Jairo Yamil Bonanata Silva

12 dic 2014

Romina Diana Romero Riva

21 dic 2014

6

[Práctico 7] Ej5 regla iii - Hipervisor corriendo

Jairo Yamil Bonanata Silva

12 dic 2014

Carlos Luna

13 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] Relación entre estados

Jairo Yamil Bonanata Silva

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

[Práctico 7] Require Export Maps.

Jairo Yamil Bonanata Silva

9 dic 2014

Carlos Luna

9 dic 2014

2

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

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

Ejercicio 6.11 Libro de Coq

Jairo Yamil Bonanata Silva

23 nov 2014

Ignacio Ismael Decia Cairo

1 dic 2014

3

[Práctico 5] - Ejercicios 6.3 y 5.2

Jairo Yamil Bonanata Silva

30 oct 2014

Carlos Luna

30 oct 2014

3

[Práctico 5] Ejercicio 6.2

Jairo Yamil Bonanata Silva

30 oct 2014

Carlos Luna

30 oct 2014

1

[Práctico 5] Ejercicio 1.5.

Jairo Yamil Bonanata Silva

28 oct 2014

Carlos Luna

28 oct 2014

1

[Práctico 4] Ejercicio 18

Jairo Yamil Bonanata Silva

20 oct 2014

Jairo Yamil Bonanata Silva

24 oct 2014

10

Fecha resultados del primer parcial

Jairo Yamil Bonanata Silva

10 oct 2014

Jairo Yamil Bonanata Silva

10 oct 2014

0

¿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

Show Proof - Show Tree

Jairo Yamil Bonanata Silva

7 oct 2014

Carlos Luna

7 oct 2014

3

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

Jairo Yamil Bonanata Silva

18 sept 2014

Carlos Luna

19 sept 2014

1

Práctico 2 - Ejercicio 8

Jairo Yamil Bonanata Silva

23 ago 2014

Carlos Luna

23 ago 2014

1

Práctico 2 - Táctica auto

Jairo Yamil Bonanata Silva

23 ago 2014

Carlos Luna

23 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 1 - Ejercicio 11.

Jairo Yamil Bonanata Silva

14 ago 2014

Carlos Luna

14 ago 2014

1

[Practico 6] Ejercicio 6.5

Idel Uriel Radzyminski Diaz

12 nov 2022

Carlos Luna

12 nov 2022

1

Práctico 2 - Ejercicio 5.4

Hernan Winter Cereza

6 sept 2015

Carlos Luna

6 sept 2015

2

Practico 7 os_accessible