Diferencia entre revisiones de «Razonamiento automático»
De Razonamiento automático (2010-11)
(→Relaciones de ejercicios) |
m (Protegió «Razonamiento automático (2010-11)» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) |
(Sin diferencias)
| |
Revisión del 11:40 1 feb 2011
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.