Complexité et décidabilité.
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Lenguaje: | Español |
| Publicado: |
Paris :
Springer-Verlag,
1993.
|
| Colección: | Mathématiques & applications
12 |
| Materias: | |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
Tabla de Contenidos:
- Contenido: Algorithmes et machines de turing
- Simulation d'algorithmes
- Changement de représentation
- Fronctions récursives
- machines universelles
- Machines non déterministes
- Complexité du calcul booléen
- Complexité des logiques du premier ordre
- Complexité d'arithmétique
- Complexité de l'addition des entiers.