Razonamiento automático (2010-11) Razonamiento automático (2010-11)

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. (Enunciado).
• Relación 2: Deducción natural en lógica de primer orden. (Enunciado).

Razonamiento por inducción sobre listas

• Relación 3: Cons inverso y cuantificadores sobre listas. (Enunciado).
• Relación 4: Sustitución, inversión y eliminación. (Enunciado).
• Relación 5: Menor posición válida. (Enunciado).
• Relación 6: Número de elementos válidos. (Enunciado).
• Relación 7: Contador de occurrencias. (Enunciado).
• Relación 8: Suma y aplanamiento de listas. (Enunciado).

Ejercicios complementarios

• Relación 9: Deducción natural en lógica proposicional. (Enunciado).
• Relación 10: Deducción natural en lógica de primer orden. (Enunciado).
• Relación 11: Razonamiento sobre programas. (Enunciado).