Esta obra tiene su origen en los cursos de Matematicas Discretas y Logica Matematica ofrecidos por el autor en los programas de Ingenieria de Sistemas y Matematicas de la Universidad del Norte (Colombia). La primera parte trata sobre el calculo proposicional y presenta una introduccion a la logica de primer orden. La segunda parte del texto esta dedicada al sistema axiomatico de Zermelo - Frankel para la teoria de conjuntos. Un aspecto relevante de esta obra es la elaboracion del software educativo MaXI, que se anexa como un producto del proyecto de investigacion "e;Dos topicos en matematicas discretas"e;, financiado por la Universidad del Norte.
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.