Imagen de Amazon.com
Imagen de Google Jackets
Lógica y Matemáticas Discretas en la Informática El estilo calculatorio
Tipo de material:
TextoDetalles de publicación: Bogotá, Colombia Escuela Colombiana de Ingeniería Julio Garavito 2012Edición: 1a edDescripción: 440 17 cmISBN: - 978-958-8726-04-5
- 511.3 B677
Contenidos:
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
| Tipo de ítem | Biblioteca actual | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
|---|---|---|---|---|---|---|
Libro
|
Ingenieria de Sistemas | 511.3 B70 (Navegar estantería(Abre debajo)) | ej. 1 | Disponible | IS001792 | |
|
Libro
|
Ingenieria de Sistemas | 511.3 B70 (Navegar estantería(Abre debajo)) | ej. 2 | Disponible | IS001793 |
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
No hay comentarios en este titulo.