Inicial
Temas
Temas de "Razonamiento automático (2003-04)"
Tema 1:
Introducción al razonamiento automático
.
Tema 2:
Cálculo semántico proposicional con MACE
.
Tema 3:
Resolución proposicional en OTTER
.
Tema 4:
Resolución de primer orden
.
Tema 5:
Razonamiento automático con igualdad.
Tema 6:
Deducción natural con Jape.
Tema 7:
Cálculo proposicional en PVS.
Tema 8:
Lógica de primer orden en PVS.
Tema 9:
Teorías de primer orden en PVS.
Tema 10:
Aritmética e inducción en PVS.
Tema 11:
Lógica de orden superior en PVS.
Tema 12:
Tipos abstractos de datos en PVS.
[
Inicial
|
Temas
]