Résumé
An introduction to important results in theoretical
computer science. The "gems" are central problems and their
solutions from the areas of computability, logic, circuit
theory, and complexity. The text presents complete proofs
in understandable form, as well as previously open problems
that have found a (perhaps unexpected) solution, complex
proofs from bottom drawers, probabilistic constructions,
and more. There are over 240 exercises.
Summary of contents
- The priority method
- Hilbert's tenth problem
- LOOP programs
- bottom drawers for resolution proofs
- the spectral problem
- Kolmogorov complexity
- circuits for the parity function
- PAC learning
- the Berman Hartmanis conjecture
- collaborating hierarchies
- equivalence of branching programs
- Craig interpolants
- probability amplification
- interactive proof systems
- zero knowledge
- graph isomorphism
- superconcentrations
- pebble game
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Springer |
| Auteur(s) | U. Schoning |
| Parution | 30/10/1998 |
| Nb. de pages | 300 |
| EAN13 | 9783540644255 |
Avantages Eyrolles.com
Livraison à partir de 0,01 € en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
