Diferencia entre revisiones de «Ejercicio 2»
De Lógica matemática y fundamentos (2012-13)
(→Selección del ejercicio) |
|||
| (No se muestran 10 ediciones intermedias de 9 usuarios) | |||
| Línea 11: | Línea 11: | ||
* Ejercicio 1: Francisco Vilches Chacón | * Ejercicio 1: Francisco Vilches Chacón | ||
* Ejercicio 2: Ana Rocío del Valle Benavides | * Ejercicio 2: Ana Rocío del Valle Benavides | ||
| − | * Ejercicio 3: | + | * Ejercicio 3: Salvador Joaquín Franco Peña |
| − | * Ejercicio 4: | + | * Ejercicio 4: Alejandro Ballesteros Hernández |
* Ejercicio 5: Concepción García Vidal | * Ejercicio 5: Concepción García Vidal | ||
| − | * Ejercicio 6: | + | * Ejercicio 6: Mª Carmen Delgado Muñoz |
| − | * Ejercicio 7: | + | * Ejercicio 7: Jesús Horno Cobo |
* Ejercicio 8: Inmaculada Arjona Arjona | * Ejercicio 8: Inmaculada Arjona Arjona | ||
| − | * Ejercicio 9: | + | * Ejercicio 9: Francisco Nieto Rueda |
* Ejercicio 10: Carmen Martínez Navarro | * Ejercicio 10: Carmen Martínez Navarro | ||
* Ejercicio 11: Pedro José Perea Rojo | * Ejercicio 11: Pedro José Perea Rojo | ||
| − | * Ejercicio 12: | + | * Ejercicio 12: José Antonio Jaime Sabín |
| − | * Ejercicio 13: | + | * Ejercicio 13: Gonzalo José Muñoz González-Meneses |
| − | * Ejercicio 14: | + | * Ejercicio 14: Alejandro Alfaro Martínez |
| − | * Ejercicio 15: | + | * Ejercicio 15: Elena Villalba Calderón |
* Ejercicio 16: | * Ejercicio 16: | ||
| − | * Ejercicio 17: | + | * Ejercicio 17: Miriam Núñez-Romero Olmo |
* Ejercicio 18: | * Ejercicio 18: | ||
* Ejercicio 19: | * Ejercicio 19: | ||
| − | * Ejercicio 20: | + | * Ejercicio 20: Miguel Ángel Terrón Morgado |
| − | * Ejercicio 21: | + | * Ejercicio 21: Lourdes Díaz Mena |
* Ejercicio 22: Erlinda Menéndez Pérez | * Ejercicio 22: Erlinda Menéndez Pérez | ||
* Ejercicio 23: Irene Araujo Guijo | * Ejercicio 23: Irene Araujo Guijo | ||
Revisión actual del 16:24 25 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: Ana Rocío del Valle Benavides
- Ejercicio 3: Salvador Joaquín Franco Peña
- Ejercicio 4: Alejandro Ballesteros Hernández
- Ejercicio 5: Concepción García Vidal
- Ejercicio 6: Mª Carmen Delgado Muñoz
- Ejercicio 7: Jesús Horno Cobo
- Ejercicio 8: Inmaculada Arjona Arjona
- Ejercicio 9: Francisco Nieto Rueda
- Ejercicio 10: Carmen Martínez Navarro
- Ejercicio 11: Pedro José Perea Rojo
- Ejercicio 12: José Antonio Jaime Sabín
- Ejercicio 13: Gonzalo José Muñoz González-Meneses
- Ejercicio 14: Alejandro Alfaro Martínez
- Ejercicio 15: Elena Villalba Calderón
- Ejercicio 16:
- Ejercicio 17: Miriam Núñez-Romero Olmo
- Ejercicio 18:
- Ejercicio 19:
- Ejercicio 20: Miguel Ángel Terrón Morgado
- Ejercicio 21: Lourdes Díaz Mena
- 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: Antonio Jesús Molero del Río
- Ejercicio 32: Mª de los Remedios Sillero Denamiel
- Ejercicio 33: Pedro Ros Reina