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 y 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 para la teoría de conjuntos. 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.
Programación y cálculo numérico (Colección de matemática aplicada e informática)
F. Michavila, L. Gavete
bookReparación y ampliación de equipos y componentes hardware microinformáticos. IFCT0309
Cristina Montoya Castillo
bookSeguridad de equipos informáticos Edición 2024 3ª. Edición
Arturo Mata
bookDesarrollo de aplicaciones web en el entorno servidor. IFCD0210
Rafael Luis Granados La Paz
bookTendencias de la investigación en ingeniería ambiental
Gladis Estela Morales Mira
bookEconometría
Carlos Arturo Meza Cavajalino
bookHacia la ciudad de umbrales
Stavros Stavrides
bookSimulación de circuitos lineales
Asunción Vicente Ripoll
bookEdición de audio y vídeo con software libre
María Méndez José Gómez
bookMúsica intrusa : La relación de la música con las matemáticas, la biología, la física y la percepción cerebral
José Manuel González
bookEstableciendo Límites entre el Trabajo y tu Vida
Mark Riley, Alexandro Mayer
bookCálculo simbólico y gráfico con MAPLE
Agustín Carrillo, Inmaculada Llamas
book