Presentación de la lógica para informáticos

PorJosé A. Alonso

Existen distintas presentaciones de la lógica para informáticos.Quizás la más conocida sea Logic as The Calculus of Computer Science de P.G. Kolaitis y M.Y. Vardi. En la que presntan el papel que juega la lógica en la informática de manera análoga al del cálculo en la física.

Ayer nuestro compañero Joaquín Borrego publicó Introducción a la lógica
Es nueva presentación de la lógica para informáticos; en este caso, par los estudiantes de la asignatura de Lógica y computabilidad de segundo curso de la Ineniería Técnica en Informática de Sistemas.