Diferencia entre revisiones de «Razonamiento automático»
De Razonamiento automático (2010-11)
(→Relaciones de ejercicios) |
(→Ejemplos) |
||
| Línea 4: | Línea 4: | ||
* [[Deducción natural en lógica proposicional con Isabelle/Isar]]. | * [[Deducción natural en lógica proposicional con Isabelle/Isar]]. | ||
* [[Deducción natural en lógica de primer orden con Isabelle/Isar]]. | * [[Deducción natural en lógica de primer orden con Isabelle/Isar]]. | ||
| + | * [[Misceláneas]]. | ||
=== Relaciones de ejercicios === | === Relaciones de ejercicios === | ||
Revisión del 09:48 21 feb 2011
Sumario
Razonamiento automático (2010-11)
Ejemplos
- Deducción natural en lógica proposicional con Isabelle/Isar.
- Deducción natural en lógica de primer orden con Isabelle/Isar.
- Misceláneas.
Relaciones de ejercicios
Ejercicios de deducción natural
- Relación 1: Deducción natural en lógica proposicional. (Enunciado y Solución).
- Relación 2: Deducción natural en lógica de primer orden. (Enunciado y Solución).