Presentación de la lógica para informáticos
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.