Discrete structures, logic, and computability
Hein, James L.
Discrete structures, logic, and computability / James L. Hein. . -- 3a ed. . -- Sudbury, Massachusetts : Jones and Bartlett Publishers, 2010 . -- xiv, 1009 p. : il. ; 25 cm.
Nota general : Incluye índice .
Nota de contenido : 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
.
Reseña : 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.
9780763772062 0763772062
Informática-- Matemáticas
Programación lógica
Estructura de datos (Informática)
Lógica simbólica y matemática
Funciones calculables
004.0151 / H345d
Libro Colección General / Ej.1 / 0000000115001 / Central Bogotá / 004.0151 H345d
Discrete structures, logic, and computability / James L. Hein. . -- 3a ed. . -- Sudbury, Massachusetts : Jones and Bartlett Publishers, 2010 . -- xiv, 1009 p. : il. ; 25 cm.
Nota general : Incluye índice .
Nota de contenido : 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
.
Reseña : 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.
9780763772062 0763772062
Informática-- Matemáticas
Programación lógica
Estructura de datos (Informática)
Lógica simbólica y matemática
Funciones calculables
004.0151 / H345d
Libro Colección General / Ej.1 / 0000000115001 / Central Bogotá / 004.0151 H345d