Catálogo de publicaciones - libros

Compartir en
redes sociales

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

Información sobre derechos de publicación

© Springer-Verlag London Limited 2006

Cobertura temática

computacion

Ciencias de la computación e información

Tabla de contenidos

doi: 10.1007/1-84628-477-5_41

The Gap Theorem and Other Pathology

- Lectures | Pp. 215-219

doi: 10.1007/1-84628-477-5_42

Partial Recursive Functions and Gödel Numberings

- Lectures | Pp. 220-225

doi: 10.1007/1-84628-477-5_43

Applications of the Recursion Theorem

Palabras clave: Turing Machine; Recursive Function; Isomorphism Theorem; Minimal Index; Partial Recursive Function.

- Lectures | Pp. 226-230

doi: 10.1007/1-84628-477-5_44

Abstract Complexity

- Lectures | Pp. 231-235

doi: 10.1007/1-84628-477-5_45

The Arithmetic Hierarchy

- Lectures | Pp. 236-241

doi: 10.1007/1-84628-477-5_46

Complete Problems in the Arithmetic Hierarchy

- Lectures | Pp. 242-246

doi: 10.1007/1-84628-477-5_47

Post’s Problem

- Lectures | Pp. 247-252

doi: 10.1007/1-84628-477-5_48

The Friedberg-Muchnik Theorem

- Lectures | Pp. 253-256

doi: 10.1007/1-84628-477-5_49

The Analytic Hierarchy

Palabras clave: Turing Machine; Transitive Closure; Atomic Formula; Computation Tree; Inductive Relation.

- Lectures | Pp. 257-262

doi: 10.1007/1-84628-477-5_50

Kleene’s Theorem

- Lectures | Pp. 263-266