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
book
Reparación y ampliación de equipos y componentes hardware microinformáticos. IFCT0309
Cristina Montoya Castillo
book
Disrupción tecnológica, transformación y sociedad : Derecho, innovación y tecnología: fundamentos para una lex informática
book
Simulación de circuitos lineales
Asunción Vicente Ripoll
book
Edición de audio y vídeo con software libre
María Méndez José Gómez
book
Aplicaciones informáticas de hojas de cálculo. ADGD0108
Julio Vílchez Beltrán
book
La justicia de paz: nuevos tiempos, ¿nuevas (infra) estructuras? : Disquisiciones ante la creación de las Oficinas de Justicia en los municipios en lugar de los Juzgados de Paz
Ixusko Ordeñana Gezuraga
book
Cálculo simbólico y gráfico con MAPLE
Agustín Carrillo, Inmaculada Llamas
book
THE YOSEMITE COLLECTION of John Muir (Illustrated)
John Muir
book
Aprender PHP, MySQL y JavaScript
Robin Nixon
book
You can do it
Vito Scandurra, Jaden Dennis-Marler, Tanya Dennis
book
Excel y SQL de la mano : Trabajo con bases de datos en Excel de forma eficiente
Joan Pallerola Comamala
book