Razonamiento automático (2010-11) RA2010 https://www.glc.us.es/~jalonso/RA2010/index.php/Razonamiento_autom%C3%A1tico MediaWiki 1.31.14 first-letter Medio Especial Discusión Usuario Usuario discusión Razonamiento automático (2010-11) Razonamiento automático (2010-11) discusión Archivo Archivo discusión MediaWiki MediaWiki discusión Plantilla Plantilla discusión Ayuda Ayuda discusión Categoría Categoría discusión 0 8 295 294 2012-02-02T18:54:09Z Jalonso 2 [[Razonamiento automático (2010-11)]] trasladada a [[Razonamiento automático]] wikitext text/x-wiki __NOTOC__ == Ejercicios de "Razonamiento automático" == === Ejemplos === * [[Deducción natural en lógica proposicional con Isabelle/Isar]]. * [[Deducción natural en lógica de primer orden con Isabelle/Isar]]. === Relaciones de ejercicios === ==== Ejercicios de deducción natural ==== * '''Relación 1''': Deducción natural en lógica proposicional. ([[Rel_1|Enunciado]]). * '''Relación 2''': Deducción natural en lógica de primer orden. ([[Rel_2|Enunciado]]). ==== Razonamiento por inducción sobre listas ==== * '''Relación 3''': Cons inverso y cuantificadores sobre listas. ([[Rel_3|Enunciado]]). * '''Relación 4''': Sustitución, inversión y eliminación. ([[Rel_4|Enunciado]]). * '''Relación 5''': Menor posición válida. ([[Rel_5|Enunciado]]). * '''Relación 6''': Número de elementos válidos. ([[Rel_6|Enunciado]]). * '''Relación 7''': Contador de occurrencias. ([[Rel_7|Enunciado]]). * '''Relación 8''': Suma y aplanamiento de listas. ([[Rel_8|Enunciado]]). ==== Ejercicios complementarios ==== * '''Relación 9''': Deducción natural en lógica proposicional. ([[Rel_9|Enunciado]]). * '''Relación 10''': Deducción natural en lógica de primer orden. ([[Rel_10|Enunciado]]). * '''Relación 11''': Razonamiento sobre programas. ([[Rel_11|Enunciado]]).