Diferencia entre revisiones de «Ejercicio 2»
De Lógica matemática y fundamentos (2012-13)
(→Selección del ejercicio) |
(→Selección del ejercicio) |
||
| Línea 18: | Línea 18: | ||
* Ejercicio 8: Inmaculada Arjona Arjona | * Ejercicio 8: Inmaculada Arjona Arjona | ||
* Ejercicio 9: | * Ejercicio 9: | ||
| − | * Ejercicio 10: | + | * Ejercicio 10: Carmen Martínez Navarro |
* Ejercicio 11: | * Ejercicio 11: | ||
* Ejercicio 12: | * Ejercicio 12: | ||
Revisión del 16:55 12 abr 2013
Enunciado
El segundo ejercicio evaluable consiste en la realización de una demostración por deducción natural en la Lógica de primer orden, con Isabelle/HOL. Para ello,
- Cada alumno elegirá uno de los ejercicios propuestos en T2.
- Una vez elegido, lo anotará en la lista que se muestra a continuación, no pudiendo un mismo ejercicio ser elegido por más de un alumno.
- El ejercicio resuelto se enviará a mjoseh@us.es en un fichero usuario_2.thy antes del viernes 26 de abril de 2013.
- En la valoración del ejercicio se tendrá en cuenta tanto el nivel de dificultad como la calidad de la demostración.
Selección del ejercicio
- Ejercicio 1: Francisco Vilches Chacón
- Ejercicio 2:
- Ejercicio 3:
- Ejercicio 4:
- Ejercicio 5:
- Ejercicio 6:
- Ejercicio 7:
- Ejercicio 8: Inmaculada Arjona Arjona
- Ejercicio 9:
- Ejercicio 10: Carmen Martínez Navarro
- Ejercicio 11:
- Ejercicio 12:
- Ejercicio 13:
- Ejercicio 14:
- Ejercicio 15:
- Ejercicio 16:
- Ejercicio 17:
- Ejercicio 18:
- Ejercicio 19:
- Ejercicio 20:
- Ejercicio 21:
- Ejercicio 22: Erlinda Menéndez Pérez
- Ejercicio 23: Irene Araujo Guijo
- Ejercicio 24:
- Ejercicio 25:
- Ejercicio 26: José Mª Contreras Beltrán
- Ejercicio 27: FºJavier Sanz Gil
- Ejercicio 28: Isabel Duarte Tosso
- Ejercicio 29:
- Ejercicio 30:
- Ejercicio 31:
- Ejercicio 32:
- Ejercicio 33: Pedro Ros Reina