TEXTOS GUÍA

Se dispone de unas Notas de Clase que empezaron a desarrollarse en 2012-1. Una versión 3 de las notas estará disponible en la presente wiki. Durante el semestre se espera poder criticar y revisar esta versión.

Textos complementarios

[1] Discrete Mathematics and its applications 6th Edition; K.H. Rosen; McGraw Hill Higher Ed.; 2007.

[2] Mathematics for Computer Science; Prof. A. R. Meyer; Massachusetts Institute of Technology; Notas de clase curso Mathematics for Computer Science – Fall 2010; URL: http://courses.csail.mit.edu/6.042/fall10/, http://courses.csail.mit.edu/6.042/fall10/mcs-ftl.pdf.

[3] Curso: Matemática estructural y Matemáticas discretas de Open Courseware (MIT): http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-042j-mathematics-for-computer-science-spring-2010/.

Charlas: http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-042j-mathematics-for-computer-science-spring-2010/readings/.

[4] How to prove it, 2nd Ed., D. J. Velleman, Cambridge University Press, 2006.

[5] A logical approach to discrete Math. D. Gries, F. B. Schneider; Springer-Verlag, 1993.