Razonamiento automático (2010-11)

Razonamiento automático

De Razonamiento automático (2010-11)

Revisión del 22:23 2 feb 2011 de Jalonso (discusión | contribuciones) (→‎Relaciones de ejercicios)

(dif) ← Revisión anterior | Revisión actual (dif) | Revisión siguiente → (dif)

Razonamiento automático (2010-11)

Ejemplos

Deducción natural en lógica proposicional con Isabelle/Isar.

Relaciones de ejercicios

Relación 1: lógica proposicional.
Relación 2: lógica de primer orden.
Relación 3: Inducción sobre listas.

Obtenido de «https://www.glc.us.es/~jalonso/RA2010/index.php?title=Razonamiento_automático&oldid=58»