SINOPSIS DEL LIBRO

Esta obra tiene su origen en los cursos de Matemticas Discretas y Lgica Matemtica ofrecidos por el autor en los programas de Ingeniera de Sistemas y Matemticas de la Universidad del Norte (Colombia). La primera parte trata sobre el clculo proposicional y presenta una introduccin a la lgica de primer orden. La segunda parte del texto est dedicada al sistema axiomtico de Zermelo - Frnkel para la teora de conjuntos. Un aspecto relevante de esta obra...Seguir leyendo