Lógica y matemática Para ciencias de la computación
Bárbosa Gutiérrez, Fidel
Lógica y matemática : Para ciencias de la computación / Fidel Bárbosa Gutiérrez . -- 2a edición . -- Bogotá : Universidad Piloto de Colombia, 2019 . -- xvii, 514 paginas : ilustraciones, tablas ; 24 cm
Nota de contenido : 1. Elementos de teoría de conjuntos ; 2. Relaciones y funciones ; 3. Cálculo de proposiciones ; 4. Inferencia lógica ; 5. Cálculo de predicados ; 6. Algebra de Boole ; 7. Matemáticas y algoritmos
.
Reseña : Este libro presenta un panorama introductorio de la lógica y de las matemáticas que aparecen regularmente en los primeros semestres que aparecen regularmente en los primeros semestres en los currículos universitarios para las carreras de Ingeniería de Sistemas y Ciencia de la Computación.
9789588957869
Logica matematica
Cálculo proposicional
Lógica simbólica y matemática
Álgebra
510 / B171l
Libro Colección General / Ej.2 / 0000000139432 / Central Bogotá / 510 B171l
Libro Colección General / Ej.1 / 0000000139431 / Ingeniería Bogotá / 510 B171l
Lógica y matemática : Para ciencias de la computación / Fidel Bárbosa Gutiérrez . -- 2a edición . -- Bogotá : Universidad Piloto de Colombia, 2019 . -- xvii, 514 paginas : ilustraciones, tablas ; 24 cm
Nota de contenido : 1. Elementos de teoría de conjuntos ; 2. Relaciones y funciones ; 3. Cálculo de proposiciones ; 4. Inferencia lógica ; 5. Cálculo de predicados ; 6. Algebra de Boole ; 7. Matemáticas y algoritmos
.
Reseña : Este libro presenta un panorama introductorio de la lógica y de las matemáticas que aparecen regularmente en los primeros semestres que aparecen regularmente en los primeros semestres en los currículos universitarios para las carreras de Ingeniería de Sistemas y Ciencia de la Computación.
9789588957869
Logica matematica
Cálculo proposicional
Lógica simbólica y matemática
Álgebra
510 / B171l
Libro Colección General / Ej.2 / 0000000139432 / Central Bogotá / 510 B171l
Libro Colección General / Ej.1 / 0000000139431 / Ingeniería Bogotá / 510 B171l