Temas de "Razonamiento automático (2005-06)"

• Tema 0: Introducción al razonamiento automático.
• Tema 1: Lógica de primer orden.
• Tema 2: Razonamiento proposicional con OTTER y MACE.
• Tema 3: Razonamiento de primer orden con OTTER y MACE.
• Tema 4: Razonamiento ecuacional con OTTER.
• Tema 5: Cálculo proposicional en PVS.
• Tema 6: Lógica de primer orden en PVS.
• Tema 7: Teorías de primer orden en PVS.
• Tema 8: Aritmética e inducción en PVS.
• Tema 9: Lógica de orden superior en PVS.
• Tema 10: Tipos abstractos de datos en PVS.

[ Inicial | Temas | Ejercicios | Documentación | Sistemas ]