Discrete structures, logic, and computability James L. Hein.
Tipo de material:
TextoIdioma: Español Detalles de publicación: Sudbury, Massachusetts Jones and Bartlett Publishers 2010Edición: 3a edDescripción: xiv, 1009 p. il. 25 cmISBN: 9780763772062; 0763772062Tema(s): Informática -- Matemáticas | Programación lógica | Estructura de datos (Informática) | Lógica simbólica y matemática | Funciones calculablesClasificación CDD: 004.0151 | Tipo de ítem | Biblioteca actual | Colección | Signatura | Copia número | Estado | Notas | Fecha de vencimiento | Código de barras |
|---|---|---|---|---|---|---|---|---|
| Libro Colección General | Central Bogotá Sala General | Colección General | 004.0151 H345d (Navegar estantería (Abre debajo)) | 1 | Disponible | 0000000115001 |
Incluye índice
1. Elementary notions and notations ; 2. Facts about functions ; 3. Construcion techniques ; 4. Equivalence, order, and inductive proof ; 5. Analysis techniques ; 6. Elementary logic ; 7. Predicate logic ; 8. Applied logic ; 9. Computational logic ; 10. Algebraic structures and techniques ; 11. REgular languages and finite automata ; 12. Context-Free languages and pushdown automata ; 13. Turing machines and equivalent models ; 14. Computational notions
Completamente actualizada, la tercera edición de Estructuras Discretas, Lógica y computabilidad introduce a partir de la informática y los estudiantes de ingeniería informática a las técnicas fundamentales y las ideas utilizadas por científicos de la computación hoy en día, centrándose en los temas de los campos de las matemáticas, la lógica y la informática en sí . Dr. Hein ofrece introducciones elementales a las ideas y técnicas que son necesarias para entender y practicar el arte y la ciencia de la computación. El texto contiene todos los temas de estructuras discretas en los informes del Grupo de Trabajo IEEE / ACM Computing Curricula conjunta sobre los programas informáticos y los programas de ingeniería informática