Diferencia entre revisiones de «Razonamiento automático»
De Razonamiento automático (2010-11)
(→Relaciones de ejercicios) |
(→Razonamiento automático (2010-11)) |
||
| Línea 1: | Línea 1: | ||
== Razonamiento automático (2010-11) == | == Razonamiento automático (2010-11) == | ||
| + | |||
| + | === Ejemplos === | ||
| + | * [[Deducción natural en lógica proposicional con Isabelle/Isar]]. | ||
=== Relaciones de ejercicios === | === Relaciones de ejercicios === | ||
Revisión del 22:21 2 feb 2011
Razonamiento automático (2010-11)
Ejemplos
Relaciones de ejercicios
- Relación 1a: ejemplos de deducción natural en lógica proposicional.
- Relación 1: lógica proposicional.
- Relación 2: lógica de primer orden.
- Relación 3: Inducción sobre listas.