https://www.glc.us.es/~jalonso/LMF2013/api.php?action=feedcontributions&feedformat=atom&user=Migtermor 2026-07-18T04:50:47Z Contribuciones del usuario MediaWiki 1.31.14 https://www.glc.us.es/~jalonso/LMF2013/index.php?title=Ejercicio_3&diff=481 2013-05-07T10:25:51Z

<p>Migtermor: /* Selección del ejercicio */</p> <hr /> <div>== Enunciado ==<br /> El tercer ejercicio evaluable consiste en la realización de un ejercicio de argumentación en lógica de primer orden, haciendo la demostración por deducción natural con Isabelle/HOL y por tableros semánticos.<br /> Para ello, <br /> * Cada alumno elegirá uno de los ejercicios propuestos en [[E3|E3]].<br /> * 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. <br /> * Se enviará a mjoseh@us.es antes del viernes 10 de mayo de 2013, dos ficheros: uno usuario_3a.thy con la prueba por deducción natural y otro con la prueba por tableros.<br /> * Los lemas que se usen en una demostración tendrán que ser probados de forma no automática.<br /> * En la valoración del ejercicio se tendrá en cuenta tanto el nivel de dificultad como la calidad de la demostración.<br /> <br /> <br /> == Selección del ejercicio ==<br /> <br /> <br /> * Ejercicio 1: Alejandro Alfaro Martínez<br /> * Ejercicio 2: Francisco Vilches Chacón<br /> * Ejercicio 3: Salvador Joaquín Franco Peña<br /> * Ejercicio 4: M Inmaculada Arjona Arjona<br /> * Ejercicio 5: <br /> * Ejercicio 6: Carmen Martinez Navarro<br /> * Ejercicio 7: <br /> * Ejercicio 8: <br /> * Ejercicio 9: <br /> * Ejercicio 10: Gonzalo José Muñoz González-Meneses<br /> * Ejercicio 11: José Antonio Jaime Sabín<br /> * Ejercicio 12: Erlinda Menéndez Pérez<br /> * Ejercicio 13: Concepción García Vidal<br /> * Ejercicio 14: Carmen Martínez Navarro <br /> * Ejercicio 15: Elena Villalba Calderón<br /> * Ejercicio 16: Miguel Ángel Terrón Morgado<br /> * Ejercicio 17: Jesús Horno Cobo<br /> * Ejercicio 18: Lourdes Díaz Mena<br /> * Ejercicio 19: Mª de los Remedios Sillero Denamiel<br /> * Ejercicio 20: Antonio Jesús Molero del Río<br /> * Ejercicio 21: Irene Araujo Guijo<br /> * Ejercicio 22: FºJavier Sanz Gil<br /> * Ejercicio 23: <br /> * Ejercicio 24: <br /> * Ejercicio 25: Pedro José Perea Rojo<br /> * Ejercicio 26: José María Contreras Beltrán<br /> * Ejercicio 27: Isabel Duarte Tosso<br /> * Ejercicio 28: Miriam Núñez-Romero Olmo</div>

Migtermor https://www.glc.us.es/~jalonso/LMF2013/index.php?title=Ejercicio_3&diff=479 2013-05-07T09:01:48Z

<p>Migtermor: /* Selección del ejercicio */</p> <hr /> <div>== Enunciado ==<br /> El tercer ejercicio evaluable consiste en la realización de un ejercicio de argumentación en lógica de primer orden, haciendo la demostración por deducción natural con Isabelle/HOL y por tableros semánticos.<br /> Para ello, <br /> * Cada alumno elegirá uno de los ejercicios propuestos en [[E3|E3]].<br /> * 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. <br /> * Se enviará a mjoseh@us.es antes del viernes 10 de mayo de 2013, dos ficheros: uno usuario_3a.thy con la prueba por deducción natural y otro con la prueba por tableros.<br /> * Los lemas que se usen en una demostración tendrán que ser probados de forma no automática.<br /> * En la valoración del ejercicio se tendrá en cuenta tanto el nivel de dificultad como la calidad de la demostración.<br /> <br /> <br /> == Selección del ejercicio ==<br /> <br /> <br /> * Ejercicio 1: Alejandro Alfaro Martínez<br /> * Ejercicio 2: Francisco Vilches Chacón<br /> * Ejercicio 3: Salvador Joaquín Franco Peña<br /> * Ejercicio 4: M Inmaculada Arjona Arjona<br /> * Ejercicio 5: <br /> * Ejercicio 6: <br /> * Ejercicio 7: <br /> * Ejercicio 8: Miguel Ángel Terrón Morgado<br /> * Ejercicio 9: <br /> * Ejercicio 10: Gonzalo José Muñoz González-Meneses<br /> * Ejercicio 11: José Antonio Jaime Sabín<br /> * Ejercicio 12: Erlinda Menéndez Pérez<br /> * Ejercicio 13: Concepción García Vidal<br /> * Ejercicio 14: Carmen Martínez Navarro <br /> * Ejercicio 15: Elena Villalba Calderón<br /> * Ejercicio 16: <br /> * Ejercicio 17: Jesús Horno Cobo<br /> * Ejercicio 18: Lourdes Díaz Mena<br /> * Ejercicio 19: Mª de los Remedios Sillero Denamiel<br /> * Ejercicio 20: Antonio Jesús Molero del Río<br /> * Ejercicio 21: Irene Araujo Guijo<br /> * Ejercicio 22: FºJavier Sanz Gil<br /> * Ejercicio 23: <br /> * Ejercicio 24: <br /> * Ejercicio 25: Pedro José Perea Rojo<br /> * Ejercicio 26: José María Contreras Beltrán<br /> * Ejercicio 27: Isabel Duarte Tosso<br /> * Ejercicio 28: Miriam Núñez-Romero Olmo</div>

Migtermor