Matemáticas para informática

Ismael Gutierrez

ECOE Ediciones ·Colombia

Licencia de minería de texto y datos

Sin declaración

Esta publicación no tiene una declaración de licencia TDM (minería de texto y datos) registrada. La editorial titular puede declararla desde su cuenta en SIMEH; quedará publicada aquí con fecha y hora certificadas.

Sobre esta obra

Esta obra tiene su origen en los cursos de matemáticas discretas y lógica matemática ofrecidos por el autor en los programas de ingeniería de sistemas matemáticas de la Universidad del Norte (Colombia). La primera parte trata sobre el cálculo proposicional y presenta una introducción a la lógica de primer orden.

La segunda parte del texto está dedicada al sistema axiomático de Zermelo - Fränkel par a la teoría de conjunto. Un aspecto relevante de esta obra es la elaboración del software educativo MaXI, que se anexa como un producto del proyecto de investigación "Dos tópicos en matemáticas discretas", financiado por la Universidad del Norte

Editorial

ECOE Ediciones · Colombia

Metamática Informática Software Ingeniería