Mathematical Structures for Computer Science : Discrete Mathematics and Its Applications /
Contenido: 1. Lógica formal; 2. Pruebas, inducción y teoría de números; 3. Recursión, relaciones de recurrencia y análisis de algoritmos; 4. Conjuntos, combinatoria y probabilidad; 5. Relaciones, funciones y matrices; 6. Grafos y árboles; 7. Algoritmos de grafos; 8. Algebra booleana y lógica computa...
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Idioma: | Inglés |
| Publicado: |
Nueva York, EUA :
W.H. Freeman and Company,
2014, c2014
|
| Edición: | 7a edición, 2a reimpresión |
| Temas: | |
| Etiquetas: |
Sin etiquetas, Sé el primero en etiquetar este registro!
|
| Resumen: | Contenido: 1. Lógica formal; 2. Pruebas, inducción y teoría de números; 3. Recursión, relaciones de recurrencia y análisis de algoritmos; 4. Conjuntos, combinatoria y probabilidad; 5. Relaciones, funciones y matrices; 6. Grafos y árboles; 7. Algoritmos de grafos; 8. Algebra booleana y lógica computacional; 9. Aritmética de modelado, computación y lenguajes. Apéndices: A. Reglas de derivación para la lógica proposicional y predicativa; B. Notación de suma y productos; C. La función del logaritmo. |
|---|---|
| Descripción física: | XVI, 969 p. |
| Público: | 2016 BO Licenciatura en Ingeniería en Redes y Seguridad 2016 BO Licenciatura en Ingeniería en Sistemas Computacionales |
| ISBN: | 978-1-4292-1510-7 |