TY  - BOOK
AU  - Bohorquez Villamizar, Jaime Alejandro
TI  - Lógica y matemáticas discretas en la informatica: El estilo calculatorio
SN  - 978-958-8726-04-5
U1  - 511.3 - Lógica matemática (simbólica) 
PY  - 2012///
CY  - Bogotá:  
PB  - Escuela Colombiana de Ingeniería, 
KW  - ARITMÉTICA
KW  - MATEMATICAS
KW  - SUCESIONES
KW  - SISTEMAS
N1  - 2012
N2  - Lógica simbólica.-- Lógica matemática.-- Sucesiones.-- Teoría de conjuntos.-- Aritmética.-- Análisis combinatorio.-- Computadores.-- Modelos matemáticos
ER  -