Sala general / a domicilio

Esta obra tiene su origen en los cursos de matemática discreta y lógica matemática ofrecidos por el autor en los programas de ingeniería de sistemas y matemáticas la primera parte trata sobre el calculo proporcional y presenta una introducción a lógica de primer orden la segunda parte del texto esta dedicada al sistema axiomático para la teoría de conjuntos, un aspecto relevante de esta obra es la la elaboración del software que se anexa como un producto del proyecto de investigación.

Texto en español