Logica Matematica para Informaticos

the long version

Fundamentalmente, el libro esta orientado al temario de logica tradicionalmente impartido a los alumnos de primer curso de la Facultad de Informatica de la Universidad Complutense de Madrid(UCM). Su redaccion se ha basado en la experiencia docente de los autores como profesores de la UCM; en el material didactico generado a lo largo de un buen numero de cursos academicos para la docencia de cursos de logica dirigidos a alumnos de las tres titulaciones de la Facultad de Informatica de dicha Universidad, incluyendo ejercicios propuestos en examenes y hojas de problemas; y en el trabajo realizado en un proyecto de innovacion pedagogica financiado por la Complutense, en el que participaron algunos de los autores durante el curso academico 2005-2006. El texto de logica de Alfredo De ano citado en la bibliografia merece una mencion muy especial en este lugar, pues se trata de una obra instructiva y de amena lectura que ha servido de inspiracion para la formulacion de ejemplos y ejercicios didacticos, desde los inicios de la ensenanza de la logica en titulaciones de informatica de la UCM.