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.
Matemáticas para informática
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
Elaboración de documentos web mediante lenguajes de marcas. IFCD0210
Ramón Guerrero Pérez
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
Derecho de la publicidad
Javier Pazos Hayashida
book
Disrupción tecnológica, transformación y sociedad : Derecho, innovación y tecnología: fundamentos para una lex informática
book
Retribuciones salariales, cotización y recaudación. ADGD0208
Almudena Carmona Ruiz
book
Desarrollo de componentes software para servicios de comunicaciones. IFCT0609
Federico Huércano Ruíz, José Villar Cueli
book
Desarrollo de aplicaciones web en el entorno servidor. IFCD0210
Rafael Luis Granados La Paz
book
Organización y operaciones con hojas de cálculo y técnicas de representación gráfica de documentos. ADGG0108
Jesús Francisco Camuña Rodríguez, Andrés Botín Rojas
book
Seal
Eva Mosegaard Amdisen
book
Seguridad e higiene y protección ambiental en hostelería. HOTR0509
María Nieves Jiménez Romero, Marta Pino Martín, Carmen María Solís Lara
book