Computability : a mathematical sketchbook /
Guardado en:
| Autor Principal: | |
|---|---|
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
New York :
Springer-Verlag,
c1994.
|
| Series: | Graduate texts in mathematics ;
146 |
| Materias: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Tabla de Contenidos:
- 1. What is a Turing machine?
- 2. Computable partial functions
- 3. Effective enumerations
- 4. Computable numbers and functions
- 5. Rice's theorem and the recursion theorem
- 6. Abstract complexity theory.