Razonamiento automático (2010-11)
Razonamiento automático (2010-11)
Navegación
Inicial
Cambios recientes
Herramientas
Lo que enlaza aquí
Cambios relacionados
Páginas especiales
Enlace permanente
Información de la página
Acciones
Página principal
Discusión
Ver código
Historial
Razonamiento automático
De Razonamiento automático (2010-11)
Revisión del 10:47 1 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)
Relaciones de ejercicios
Relación 1
: lógica proposicional.
Relación 2
: lógica de primer orden.
Relación 3
: Inducción sobre listas.
