Lógica: deducción como computación y la computación como deducción

Primera transparencia de la introducción a la lógica

He subido a Slideshare las transparencias que voy a usar para motivar a los alumnos en el curso Lógica y Computabilidad con una pequeña introducción a la lógica. Como no podemos avanzar mucho en su estudio, al menos pretendo que miren la disciplina desde la cima, para que vean las múltiples aplicaciones.

Anuncios