Elements of the theory of computation /
Guardado en:
| Autor Principal: | |
|---|---|
| Otros Autores: | |
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
Englewood Cliffs, N.J. :
Prentice-Hall,
c1981.
|
| Series: | Prentice-Hall software series
|
| Materias: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Tabla de Contenidos:
- 1. Sets, relations, and languages
- 2. Finite automata
- 3. Context-free languages
- 4. Turing machines
- 5. Church's thesis
- 6. Uncomputability
- 7. Computational complexity
- 8. The propositional calculus
- 9. The predicate calculus.