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-2
- 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 topográfica | 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.