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...
Bewaard in:
| Hoofdauteur: | |
|---|---|
| Formaat: | Boek |
| Taal: | Engels |
| Gepubliceerd in: |
Nueva York, EUA :
W.H. Freeman and Company,
2014, c2014
|
| Editie: | 7a edición, 2a reimpresión |
| Onderwerpen: | |
| Tags: |
Geen labels, Wees de eerste die dit record labelt!
|
| Samenvatting: | 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. |
|---|---|
| Fysieke beschrijving: | XVI, 969 p. |
| publiek: | 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 |