Lógica y matemáticas discretas en la informática : el estilo calculatorio
Bohórquez Villamizar, Jaime Alejandro
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 .
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.
978-958-8726-05-2
Lógica simbólica y matemática--Estudio y enseñanza
Combinaciones (Matemáticas)--Estudio y enseñanza
519.4
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 .
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.
978-958-8726-05-2
Lógica simbólica y matemática--Estudio y enseñanza
Combinaciones (Matemáticas)--Estudio y enseñanza
519.4