Imagen de Amazon.com
Lógica y matemáticas discretas en la informática : el estilo calculatorio
Series Colección de informáticaDetalles de publicación: Bogotá : Escuela Colombiana de Ingeniería , 2012. Descripción: x, 440 p. ; 24 cmISBN: 978-958-8726-05-2Tema(s): Lógica simbólica y matemática -- Estudio y enseñanza | Combinaciones (Matemáticas) -- Estudio y enseñanzaClasificación CDD: 519.4
Contenidos:
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.
| Tipo de ítem | Biblioteca actual | Colección | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
|---|---|---|---|---|---|---|---|
Libros
|
UNAB | Contabilidad | 519.4 / B71 / ej.1 (Navegar estantería(Abre debajo)) | 1 | Disponible | 01L000001895 | |
|
Libros
|
UNAB | Contabilidad | 519.4 / B71 / ej.2 (Navegar estantería(Abre debajo)) | 2 | Disponible | 01L000001896 | |
|
Libros
|
UNAB | Contabilidad | 519.4 / B71 / ej.3 (Navegar estantería(Abre debajo)) | 3 | Disponible | 01L000001897 | |
|
Libros
|
UNAB | Ciencias Básicas | 519.4 / B71 / ej.4 (Navegar estantería(Abre debajo)) | 4 | Disponible | 01L000001898 | |
|
Libros
|
UNAB | Ciencias Básicas | 519.4 / B71 / ej.5 (Navegar estantería(Abre debajo)) | 5 | Disponible | 01L000001899 |
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.