IIC2213 - Lógica para Ciencia de la Computación
Guías de Ejercicios

• Guía 1: Lógica proposicional



• Guía 2: Máquinas de Turing y problemas de decisión



• Guía 3: NP-completitud



• Guía 4: Lógica de primer orden



• Guía 5: Teorías