Catálogo de publicaciones - libros
Theory of Computation
Dexter C. Kozen
Resumen/Descripción – provisto por la editorial
No disponible.
Palabras clave – provistas por la editorial
Theory of Computation; Computational Mathematics and Numerical Analysis; Computational Science and Engineering; Computation by Abstract Devices; Algorithm Analysis and Problem Complexity
Disponibilidad
| Institución detectada | Año de publicación | Navegá | Descargá | Solicitá |
|---|---|---|---|---|
| No detectada | 2006 | SpringerLink |
Información
Tipo de recurso:
libros
ISBN impreso
978-1-84628-297-3
ISBN electrónico
978-1-84628-477-9
Editor responsable
Springer Nature
País de edición
Reino Unido
Fecha de publicación
2006
Información sobre derechos de publicación
© Springer-Verlag London Limited 2006
Cobertura temática
Tabla de contenidos
Homework 7 Solutions
Palabras clave: Equivalence Class; Induction Hypothesis; Algorithm Analysis; Free Variable; Atomic Formula.
- Hints and Solutions | Pp. 337-342
Homework 12 Solutions
Palabras clave: Recursive Relation; Turing Machine; Computation Tree; Successor Function; Endurance Test.
- Hints and Solutions | Pp. 357-359
Hints for Selected Miscellaneous Exercises
Palabras clave: Complexity Measure; Maximum Clique; Truth Assignment; Boolean Formula; Board Position.
- Hints and Solutions | Pp. 361-366
Solutions to Selected Miscellaneous Exercises
Palabras clave: Polynomial Time; Computation Path; Input String; Partial Recursive Function; Promise Problem.
- Hints and Solutions | Pp. 367-389