Bohórquez Villamizar, Jaime Alejandro <br/><br/>
Lógica y matemáticas discretas en la informática :   el estilo calculatorio 

 - Bogotá :   Escuela Colombiana de Ingeniería ,   2012. 
 - x, 440 p. ;   24 cm. 
 - Colección de informática .
<br/><br/>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. 
<br/><br/><label>ISBN: </label>978-958-8726-05-2 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Lógica simbólica y matemática--Estudio y enseñanza<br/>Combinaciones (Matemáticas)--Estudio y enseñanza
<br/><br/><label>Dewey Class. No.: </label>519.4