Introduction to computability /
Guardado en:
| Autor Principal: | |
|---|---|
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
Reading, Mass. :
Addison-Wesley,
c1977.
|
| Series: | Addison-Wesley series in computer science and information processing
|
| Materias: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Tabla de Contenidos:
- Capítulos: 1. Properties of algorithmic computation
- 2. Turing machines
- 3. Turing computability
- 4. Primitive recursive functions
- 5. Recursive functions
- 6. Computability and decidability.