TY  - BOOK
AU  - Bohórquez Villamizar, Jaime Alejandro
TI  - Lógica y matemáticas discretas en la informática : : el estilo calculatorio
T2  - Colección de informática
SN  - 978-958-8726-05-2
U1  - 519.4 
PY  - 2012///
CY  - Bogotá : 
PB  - Escuela Colombiana de Ingeniería , 
KW  - Lógica simbólica y matemática
KW  - Estudio y enseñanza
KW  - Combinaciones (Matemáticas)
N1  - Sintaxis -- Sistemas formales -- Lógica proposicional  -- Semántica de la lógica proposicional -- Extensiones y afinamiento del cálculo -- Cálculo de predicados -- La lógica como lenguaje para modelar -- Operatorias -- Teoría de sucesiones -- Una teoría de la programación -- Teoría de conjuntos -- Conceptos de relación y función -- Cardinalidad e Inducción sobre conjuntos -- Aritmética aditiva -- Aritmética multiplicativa -- Análisis Combinatorios -- Relaciones matemáticas -- Inducción estructural
ER  -