Introduction to the theory of computation / Michael Sipser
Detalles de publicación: Boston, USA : Cengage Learning, 2013Edición: Third editionDescripción: xxii, 458 pages : illustrationsTipo de contenido:- texto
- unmediated
- volume
- 9781133187790
- 9788131525296
- 511.35
Contenidos:
Introduction -- 0.1 Automata, Computability, and Complexity -- 0.2 Mathematical Notions and Terminology -- 0.3 Definitions, Theorems, and Proofs -- 0.4 Types of Proof -- Exercises -- Problems -- Selected Solutions -- Automata and Languages -- 1: Regular Languages -- 2: Context-Free Languages -- Computability Theory -- The Church–Turing Thesis -- Decidability -- Reducibility -- 6: Advanced Topics in Computability Theory -- Complexity Theory -- 7: Time Complexity -- 8: Space Complexity -- 9: Intractability -- 10: Advanced Topics in Complexity Theory.
| Tipo de ítem | Biblioteca | Colección | Clasificación | Copia | Estado | Código de barras | |
|---|---|---|---|---|---|---|---|
| Libro | Biblioteca Rancagua | Colección General | 511.35 S618i 2013 | 4 | Disponible | 35672011232 | |
| Libro | Biblioteca Rancagua | Colección General | 511.35 S618i 2013 | 5 | Disponible | 35672011233 | |
| Libro | Biblioteca Rancagua | Colección General | 511.35 S618i 2013 | 6 | Disponible | 35672011234 | |
| Libro | Biblioteca Rancagua | Colección General | 511.35 S618i 2013 | 3 | Disponible | 004362 | |
| Libro | Biblioteca Rancagua | Colección General | 511.35 S618i 2013 | 1 | Disponible | 003254 | |
| Libro | Biblioteca Rancagua | Colección General | 511.35 S618i 2013 | 2 | Disponible | 003253 |
Includes bibliographical references and index.
Introduction -- 0.1 Automata, Computability, and Complexity -- 0.2 Mathematical Notions and Terminology -- 0.3 Definitions, Theorems, and Proofs -- 0.4 Types of Proof -- Exercises -- Problems -- Selected Solutions -- Automata and Languages -- 1: Regular Languages -- 2: Context-Free Languages -- Computability Theory -- The Church–Turing Thesis -- Decidability -- Reducibility -- 6: Advanced Topics in Computability Theory -- Complexity Theory -- 7: Time Complexity -- 8: Space Complexity -- 9: Intractability -- 10: Advanced Topics in Complexity Theory.