01301cam a22002297a 4500 000011087 20220825155517.0 a|||||r|||| 00| 0 ta 220630t2012 ck ||||| |||| 00| 0 spa d 978-958-8726-05-2 519.4 Bohórquez Villamizar, Jaime Alejandro 271 autor 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. Lógica simbólica y matemática Estudio y enseñanza 5942 Combinaciones (Matemáticas) Estudio y enseñanza 5943 LIB 30/06/2022 jbv ddc CONTA B01 B01 2022-05-18 0 519.4 / B71 / ej.1 01L000001895 2022-05-18 00:00:00 1 LIB ddc CONTA B01 B01 2022-05-18 0 519.4 / B71 / ej.2 01L000001896 2022-05-18 00:00:00 2 LIB ddc CONTA B01 B01 2022-05-18 0 519.4 / B71 / ej.3 01L000001897 2022-05-18 00:00:00 3 LIB ddc BASIC B01 B01 2022-05-18 0 519.4 / B71 / ej.4 01L000001898 2023-01-27 00:00:00 4 LIB ddc BASIC B01 B01 2022-05-18 2 519.4 / B71 / ej.5 01L000001899 2024-05-03 00:00:00 2024-05-02 5 LIB 266 266