TY  - BOOK
AU  - Bárbosa Gutiérrez,Fidel
TI  - Lógica y matemática : Para ciencias de la computación
SN  - 9789588957869
U1  - 510 21
PY  - 2019///
CY  - Bogotá 
PB  - Universidad Piloto de Colombia
KW  - Logica matematica
KW  - LEMB
KW  - Cálculo proposicional
KW  - ARMARC
KW  - Lógica simbólica y matemática
KW  - Álgebra
N1  - 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
N2  - 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
ER  -