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 - 1a ed. - Bogotá, Colombia Escuela Colombiana de Ingeniería Julio Garavito 2012 - 440 17 cm
Sintaxis -- Sistemas formales -- Lógica posicional -- Semántica de la lógica proposicional -- Extensiones y afinamiento de 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 combinatorio -- Relaciones MAtemáticas -- Inducción estructural
978-958-8726-04-5
511.3 / B677
Lógica y Matemáticas Discretas en la Informática El estilo calculatorio - 1a ed. - Bogotá, Colombia Escuela Colombiana de Ingeniería Julio Garavito 2012 - 440 17 cm
Sintaxis -- Sistemas formales -- Lógica posicional -- Semántica de la lógica proposicional -- Extensiones y afinamiento de 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 combinatorio -- Relaciones MAtemáticas -- Inducción estructural
978-958-8726-04-5
511.3 / B677