Temas de "Razonamiento automático (2004-05)"

• 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 | Documentación | Sistemas ]